How to reason with OWL in a logic programming system

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 fragment 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

[1]  John S. Schlipf,et al.  The Expressive Powers of the Logic Programming Semantics , 1995, J. Comput. Syst. Sci..

[2]  Sebastian Rudolph,et al.  On the Complexity of Horn Description Logics , 2006, OWLED.

[3]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[4]  Peter Haase,et al.  DLP isn't so bad after all , 2005 .

[5]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[6]  James A. Hendler,et al.  Semantic Web Architecture: Stack or Two Towers? , 2005, PPSWR.

[7]  Raphael Volz,et al.  Web ontology reasoning with logic databases , 2004 .

[8]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[9]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[10]  Ian Horrocks,et al.  Combining logic programs with description logics , 2003, The Web Conference.

[11]  Boris Motik,et al.  DLPconvert: Converting OWL DLP Statements to Logic Programs , 2005 .

[12]  Boris Motik,et al.  Data Complexity of Reasoning in Very Expressive Description Logics , 2005, IJCAI.

[13]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[14]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[15]  Jeff Z. Pan,et al.  Rules and Rule Markup Languages for the Semantic Web , 2003, Lecture Notes in Computer Science.

[16]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[17]  Boris Motik,et al.  Reasoning in description logics using resolution and deductive databases , 2006 .

[18]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[19]  James A. Hendler,et al.  DAML+OIL: An Ontology Language for the Semantic Web , 2002, IEEE Intell. Syst..

[20]  Stefan Decker,et al.  TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.

[21]  York Sure-Vetter,et al.  Description Logic Programs: A Practical Choice For the Modelling of Ontologies , 2005, Principles and Practices of Semantic Web Reasoning.

[22]  Hans Tompits,et al.  Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning , 2006, ESWC.