Abstract | ||
---|---|---|
Recent analyses of ontology engineering efforts showed that it is not only novices which are commonly faced with com- prehension problems or misconceptions of modeling conse- quences. A better understanding can be fundamentally sup- ported by on-demand explanations of subsumption, the core inference service of ontology reasoning systems. In this pa- per we describe ongoing work towards a systems for explain- ing subsumption for a significant fraction of the Description Logic underlying OWL Lite. Our explainer uses a tableau- based approach to generate step by step quasi-natural lan- guage explanations. We also comment on related work and discuss future explaining features. |
Year | Venue | Keywords |
---|---|---|
2005 | ExaCt | description logic |
Field | DocType | Citations |
Ontology (information science),Ontology engineering,Data mining,Process ontology,Inference,Computer science,Description logic,Ontology Inference Layer,OWL-S,Artificial intelligence,Natural language processing,Ontology language | Conference | 1 |
PageRank | References | Authors |
0.36 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thorsten Liebig | 1 | 257 | 30.56 |
Friedrich W. Von Henke | 2 | 425 | 49.05 |
Olaf Noppens | 3 | 160 | 19.56 |