Epistemic Queries for OWL

PublikationenPublications

• Nach AutorBy Author
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Epistemic Queries for OWL

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

Epistemic Queries for OWL

• 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.
• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@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}
}