Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds
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 g...
Saved in:
Published in | Knowledge Engineering and Knowledge Management Vol. 10024; pp. 180 - 195 |
---|---|
Main Author | |
Format | Book Chapter |
Language | English |
Published |
Switzerland
Springer International Publishing AG
2016
Springer International Publishing |
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | 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. |
---|---|
Bibliography: | This research is supported by ANR project IDFRAud (ANR-14-CE28-0012-02). |
ISBN: | 9783319490038 3319490036 |
ISSN: | 0302-9743 1611-3349 |
DOI: | 10.1007/978-3-319-49004-5_12 |