Epistemic Queries for OWL

Anees ul MehdiAnees ul Mehdi, Sebastian RudolphSebastian Rudolph, Stephen GrimmStephen Grimm

Download

Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Technical Report, Institut AIFB, KIT, December 2010

Details
Bibtex

KurzfassungAbstract
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.
Projekt:Project: ExpresST
Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems

@techreport{MRG2010,
  author      = {Anees ul Mehdi and Sebastian Rudolph and Stephen Grimm},
  title       = {Epistemic Queries for {OWL}},
  institution = {Institut {AIFB,} {KIT}},
  year        = {2010},
  month       = {December}
}