Published: 2012 Dezember
Type: Technical Report
Institution: Institut AIFB, KIT.
Erscheinungsort / Ort: Karlsruhe
Extending ontology querying facilities with the epistemic operator provides practically useful additional functionalities for ontology management tasks. In this paper, we motivate the benefits of this formalism for expressing integrity constraints on Ontologies.
We present a practical system called EQuIKa capable of epistemic inferencing on OWL-2-DL ontologies. It implements our recently developed reduction to standard reasoning along with several novel performance optimizations. First experiments demonstrate practical feasibility of our system. For convenience of use, we developed querying and constraint checking front-ends for Prote'ge' and the NeOn Toolkit.