How to reason with OWL in a logic programming system

From International Center for Computational Logic

Toggle side column

How to reason with OWL in a logic programming system

Markus KrötzschMarkus Krötzsch,  Pascal HitzlerPascal Hitzler,  Denny VrandečićDenny Vrandečić,  Michael SintekMichael Sintek
How to reason with OWL in a logic programming system


Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, Michael Sintek
How to reason with OWL in a logic programming system
In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds., Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, 17--26, November 2006. IEEE Computer Society
  • KurzfassungAbstract
    Logic programming has always been a major ontology

    modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker or the TRIPLE query, inference, and transformation language and system. At the same time, the Web Ontology Language OWL has been recommended by the W3C for modeling ontologies for the web. Naturally, it is desirable to investigate the interoperability between both paradigms. In this paper, we do so by studying an expressive fragement of OWL DL for which reasoning can be reduced to the evaluation of Horn logic programs. Building on the KAON2 algorithms for transforming OWL DL into disjunctive Datalog, we give a detailed account of how and to what extent OWL DL can be employed in standard logic programming systems. En route, we derive a novel, simplified characterization of the supported

    fragment of OWL DL.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KHVS2006,
  author    = {Markus Kr{\"{o}}tzsch and Pascal Hitzler and Denny
               Vrande{\v{c}}i{\'{c}} and Michael Sintek},
  title     = {How to reason with {OWL} in a logic programming system},
  editor    = {Thomas Eiter and Enrico Franconi and Ralph Hodgson and Susie
               Stephens},
  booktitle = {Proceedings of the Second International Conference on Rules and
               Rule Markup Languages for the Semantic Web, {RuleML2006}},
  publisher = {IEEE Computer Society},
  year      = {2006},
  month     = {November},
  pages     = {17--26}
}