Forgetting in Managing Rules and Ontologies

The language of HEX-programs under the answer-set semantics is designed for interoperating with heterogeneous sources via external atoms and for meta-reasoning via higher-order literals in the context of the semantic Web. As an important technique in managing knowledge bases, the notion of forgetting has received increasing interest in the knowledge-representation area. In this paper, we introduce a semantics-based theory of forgetting for HEX-programs and, in turn, for a class of OWL/RDF(S) ontologies which allows to fully employ semantic information in managing ontologies like editing, merging, aligning, and redundancy removal

[1]  Heiner Stuckenschmidt,et al.  Ontology Alignment: An annotated Bibliography , 2005, Semantic Interoperability and Integration.

[2]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[3]  Kewen Wang,et al.  Forgetting and Conflict Resolving in Disjunctive Logic Programming , 2006, AAAI.

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

[5]  Natalya F. Noy,et al.  Semantic integration: a survey of ontology-based approaches , 2004, SGMD.

[6]  Wolfgang Faber,et al.  Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity , 2004, JELIA.

[7]  Carsten Lutz,et al.  Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.

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

[9]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[10]  Kenneth A. Ross.  On Negation in HiLog , 1994, J. Log. Program..

[11]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

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

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

[14]  Ian Horrocks,et al.  Will my Ontologies Fit Together? , 2006, Description Logics.

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

[16]  Alan L. Rector,et al.  Web ontology segmentation: analysis, classification and use , 2006, WWW '06.

[17]  R. Reiter,et al.  Forget It ! , 1994 .

[18]  Boris Motik,et al.  Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases , 2003, KRDB.

[19]  Hans Tompits,et al.  A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming , 2005, IJCAI.

[20]  Bijan Parsia,et al.  Modularity and Web Ontologies , 2006, KR.