Combining Description Logic and Defeasible Logic for the Semantic Web

The importance of integrating rules and ontologies for the Semantic Web has been well addressed by many researchers. Defeasible Logic is a simple but efficient nonmonotonic language which can handle both defeasibility and priority. In this paper we propose a novel approach to combining Defeasible Logic with Description Logics by introducing the Description Defeasible Logic (DDL). DDL is similar to Defeasible Logic but it also contains queries to the Description Logic knowledge base. DDL allows nonmonotonic reasoning to be built on top of ontologies, and to a certain degree, allows ontologies to be built on top of nonmonotonic reasoning. We give some basic properties of DDL, one of which shows that DDL is a tractable language provided that the underlying Description Logic is tractable.

[1]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[2]  Marco Schaerf,et al.  A Survey of Complexity Results for Nonmonotonic Logics , 1993, J. Log. Program..

[3]  Danny De Schreye,et al.  A Strong Correspondence between Description Logics and Open Logic Programming , 1997, ICLP.

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

[5]  Riccardo Rosati,et al.  Towards expressive KR systems integrating datalog and description logics: preliminary report , 1999, Description Logics.

[6]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[7]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[8]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[9]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[10]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[11]  Stijn Heymans,et al.  Integrating Description Logics and Answer Set Programming , 2003, PPSWR.

[12]  Stijn Heymans,et al.  Integrating Semantic Web Reasoning and Answer Set Programming , 2003, Answer Set Programming.

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

[14]  Gerd Wagner,et al.  Rules and Defeasible Reasoning on the Semantic Web , 2003, RuleML.

[15]  Theresa Swift,et al.  Deduction in Ontologies via ASP , 2004, LPNMR.

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

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

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