Semantic Authoring of Ontologies by Exploration and Elimination of Possible WorldsReport as inadecuate




Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds - Download this document for free, or read online. Document in PDF available to download.

1 LIS - Logical Information Systems IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE 2 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires 3 UR1 - Université de Rennes 1

Abstract : We propose a novel approach to ontology authoring that is centered on semantics rather than on syntax. Instead of writing axioms formalizing a domain, the expert is invited to explore the possible worlds of her ontology, and to eliminate those that do not conform to her knowledge. Each elimination generates an axiom that is automatically derived from the explored situation. We have implemented the approach in prototype PEW Possible World Explorer, and conducted a user study comparing it to Protégé. The results show that more axioms are produced with PEW, without making more errors. More importantly, the produced ontologies are more complete, and hence more deductively powerful, because more negative constraints are expressed.

Keywords : ontology authoring semantic web description logics OWL possible world explorer





Author: Sébastien Ferré -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents