Merging and Aligning Ontologies in dl-Programs

The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top of description logic and thus some attractive features of ASP can be employed in the design of the Semantic Web architecture. In this paper we first generalize dl-programs by allowing multiple knowledge bases and then accordingly, define the answer set semantics for the dl-programs. A novel technique called forgetting is developed in the setting of dl-programs and applied to ontology merging and aligning.

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

[2]  Ilkka Niemelä,et al.  Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.

[3]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[4]  Norman Y. Foo,et al.  Solving Logic Program Conflict through Strong and Weak Forgettings , 2005, IJCAI.

[5]  Richard Fikes,et al.  Distributed repositories of highly expressive reusable ontologies , 1999, IEEE Intell. Syst..

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

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

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

[9]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

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

[11]  Mark A. Musen,et al.  An Algorithm for Merging and Aligning Ontologies: Automation and Tool Support , 1999 .

[12]  B. Parsia,et al.  Combining OWL Ontologies Using E-Connections , 2005 .

[13]  Richard Fikes,et al.  Large-Scale Repositories of Highly Expressive Reusable Knowledge , 1999 .

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

[15]  Abdul Sattar,et al.  A Theory of Forgetting in Logic Programming , 2005, AAAI.

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

[17]  Gerald Pfeifer,et al.  The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.