Supporting the Creation of Some Class of Well-founded OWL-DL Ontologies

Abstract

We present the method for creating semantically rich OWL-DL ontologies. Such ontologies contain a top part consisting of the most general concepts that are linked by carefully designed basic formal relations, which is why the ontologies are called well-founded. As the top part we apply the foundational paradigm of constructive descriptions and situations c.DnS known from literature, using it to obtain the method of a layered ontology creation. Every layer may contain ontological capsules, i.e. modules that are defined according to an expressive content pattern (formed on the basis of c.DnS), which makes the whole ontology well-founded. The method is equipped with the semantically strong computational tool that effectively supports a user in the process of creation and population of the considered well-founded ontologies.