Epistemic Queries for OWL Knowledge Bases

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Epistemic Queries for OWL Knowledge Bases

Anees ul MehdiAnees ul Mehdi,  Sebastian RudolphSebastian Rudolph,  Stephan GrimmStephan Grimm
Anees ul Mehdi, Sebastian Rudolph, Stephan Grimm
Epistemic Queries for OWL Knowledge Bases
Proceedings of the 8th Extended Semantic Web Conference, May 2011. 8th Extended Semantic Web Conference (ESWC11), ESWC 2011
  • KurzfassungAbstract
    Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL2 reasoning steps thereby enabling the deployment of off-the-shelf OWL2 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
@inproceedings{MRG2011,
  author    = {Anees ul Mehdi and Sebastian Rudolph and Stephan Grimm},
  title     = {Epistemic Queries for {OWL} Knowledge Bases},
  booktitle = {Proceedings of the 8th Extended Semantic Web Conference},
  publisher = {ESWC 2011},
  year      = {2011},
  month     = {May}
}