Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds

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.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01405502
Contributor : Sébastien Ferré <>
Submitted on : Wednesday, November 30, 2016 - 10:00:06 AM
Last modification on : Thursday, February 7, 2019 - 4:16:52 PM
Long-term archiving on : Monday, March 27, 2017 - 8:45:26 AM

File

paper-pew.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01405502, version 1

Citation

Sébastien Ferré. Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds. International Conference on Knowledge Engineering and Knowledge Management (EKAW), Nov 2016, Bologna, Italy. ⟨hal-01405502⟩

Share

Metrics

Record views

538

Files downloads

116