Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics

In this paper we propose a mapping between inconsistent ontological knowledge bases and semi-monotonic, prerequisite-free closed normal default theories. As a proof of concept of the new results obtained by the proposed mapping we introduce an any-time algorithm for query answering that starts off by a small set of facts and incrementally adds to this set.

[1]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[2]  Marie-Laure Mugnier.  Ontological Query Answering with Existential Rules , 2011, RR.

[3]  Miroslaw Truszczynski.  The Modal Logic S4F, the Default Logic, and the Logic Here-and-There , 2007, AAAI.

[4]  Torsten Schaub,et al.  The XRay system: An implementation platform for local query-answering in default logics , 1998, Applications of Uncertainty Formalisms.

[5]  Frédéric Saubion,et al.  GADEL: a Genetic Algorithm to Compute Default Logic Extensions , 2000, ECAI.

[6]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[7]  Victor W. Marek,et al.  Stable Semantics for Logic Programs and Default Theories , 1989, NACLP.

[8]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[9]  Meghyn Bienvenu,et al.  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies , 2012, AAAI.

[10]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[11]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[12]  Georg Gottlob,et al.  Translating default logic into standard autoepistemic logic , 1995, JACM.

[13]  Yufeng Wang,et al.  On securing open networks through trust and reputation-architecture, challenges and solutions , 2006 .

[14]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[15]  Victor W. Marek,et al.  Computing with Default Logic , 1999, Artif. Intell..

[16]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[17]  Riccardo Rosati,et al.  Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access , 2013, IJCAI.

[18]  Tomasz Imielinski,et al.  Results on Translating Defaults to Circumscription , 1985, IJCAI.

[19]  Cees Witteveen,et al.  Prolog technology for default reasoning: proof theory and compilation techniques , 1998 .

[20]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[21]  Torsten Schaub,et al.  An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation , 1997, ICLP 1997.

[22]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[23]  Jan Treur,et al.  An Interpretation of Default Logic in Minimal Temporal Epistemic Logic , 1998, J. Log. Lang. Inf..