G-Hybrid Knowledge Bases

Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define g-hybrid knowledge basesas knowledge bases that consist of a Description Logic knowl edge base and aguardedlogic program, similarly to theDL+log knowledge bases from [25]. G-hybrid knowledge bases enable an integration of Des cription Logics and Logic Programming where, unlike in other approaches, varia bles in the rules of a guarded program do not need to appear in positive non-DL ato ms of the body: DL atoms can act as guardsas well. Decidability of satisfiability checking of g-hybrid knowledge bases is shown for the particular DLRO, which is close to, and in some respects more expressive than, OWL DL , by a reduction to guarded programs under an open answer set semantics. Moreover, we show 2-EXPTIME-completeness for satisfiability checking of those DLRO g-hybrid knowledge bases. Finally, we discuss advantages a nd disadvantages of our approach compared with DL+log knowledge bases.

[1]  V. Lifschitz,et al.  The Stable Model Semantics for Logic Programming , 1988, ICLP/SLP.

[2]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

[3]  Diego Calvanese,et al.  Conjunctive Query Containment in Description Logics with n-ary Relations , 1997, Description Logics.

[4]  Igor Walukiewicz,et al.  Guarded fixed point logic , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[5]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[6]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[7]  Martin Otto,et al.  Back and forth between guarded and modal logics , 2002, TOCL.

[8]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

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

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

[11]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[12]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[13]  Hans Tompits,et al.  Well-Founded Semantics for Description Logic Programs in the Semantic Web , 2004, RuleML.

[14]  Terrance Swift.  Deduction in Ontologies via Answer Set Programming , 2004 .

[15]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[16]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[17]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[18]  Stijn Heymans,et al.  Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs , 2005, ESWC.

[19]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[20]  Riccardo Rosati,et al.  On the decidability and complexity of integrating ontologies and rules , 2005, J. Web Semant..

[21]  Riccardo Rosati,et al.  Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules , 2005, PPSWR.

[22]  Stijn Heymans,et al.  Guarded Open Answer Set Programming , 2005, LPNMR.