European Knowledge Acquisition Workshop

EKAW 2016: Knowledge Engineering and Knowledge Management pp 180-195

Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds

Conference paper

DOI: 10.1007/978-3-319-49004-5_12

Volume 10024 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Ferré S. (2016) Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds. In: Blomqvist E., Ciancarini P., Poggi F., Vitali F. (eds) Knowledge Engineering and Knowledge Management. EKAW 2016. Lecture Notes in Computer Science, vol 10024. Springer, Cham

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.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.IRISA, Université de Rennes 1RennesFrance