KIT | KIT-Bibliothek | Impressum | Datenschutz

Epistemic Queries for OWL

Mehdi, Anees ul; Rudolph, Sebastian; Grimm, Stephen

Abstract:

Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, justify the omission of nominals and universal role, and provide an implementation as well as evaluation results.


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2010
Sprache Englisch
Identifikator KITopen-ID: 1000091494
Verlag Karlsruher Institut für Technologie (KIT)
Serie Technical Report / AIFB
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page