Combining Safe Rules and Ontologies by Interfacing of Reasoners

The paper presents a framework for hybrid combination of rule languages with constraint languages including but not restricted to Description-Logic-based ontology languages. It shows how reasoning in a combined language can be done by interfacing reasoners of the component languages. A prototype system based on the presented principle integrates Datalog with OWL by interfacing XSB Prolog [2] with a DIG-compliant [1] DL reasoner (e.g. Racer[17] ).

[1]  Kewen Wang,et al.  Combining Description Logic and Defeasible Logic for the Semantic Web , 2004, RuleML.

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

[3]  François Fages,et al.  Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings , 2005, PPSWR.

[4]  Erhard Rahm,et al.  Web, Web-Services, and Database Systems , 2003, Lecture Notes in Computer Science.

[5]  Grigoris Antoniou.  A Nonmonotonic Rule System using Ontologies , 2002, RuleML.

[6]  Gerd Wagner,et al.  Where Are the Rules , 2003 .

[7]  Krzysztof R. Apt,et al.  Logic Programming and Negation: A Survey , 1994, The Journal of Logic Programming.

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

[9]  Artur Wilk,et al.  XML Querying Using Ontological Information , 2006, PPSWR.

[10]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

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

[12]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[13]  François Bry,et al.  The XML Query Language Xcerpt: Design Principles, Examples, and Semantics , 2002, Web, Web-Services, and Database Systems.

[14]  Guido Governatori,et al.  Defeasible Description Logics , 2004, RuleML.

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

[16]  Grigoris Antoniou,et al.  Nonmonotonic Rule Systems on Top of Ontology Layers , 2002, SEMWEB.

[17]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[18]  Diego Calvanese,et al.  DL-Lite: Practical Reasoning for Rich Dls , 2004, Description Logics.

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

[20]  Anthony G. Cohn,et al.  Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning , 1991, AI Mag..

[21]  Gerd Wagner,et al.  Trends & controversies - Where are the rules? , 2003, IEEE Intelligent Systems.

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

[23]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[24]  Ian Horrocks,et al.  A Conjunctive Query Language for Description Logic Aboxes , 2000, AAAI/IAAI.

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

[26]  F. Baader,et al.  Concept Logics , 1990 .

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

[28]  Abdul Sattar,et al.  Merging and Aligning Ontologies in dl-Programs , 2005, RuleML.

[29]  Horace M DeLisser.  The rules. , 2007, Journal of the National Medical Association.