Towards Practical Defeasible Reasoning for Description Logics

26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013. Published in Centre for Artificial Intelligence Research

[1]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[2]  Daniel Lehmann,et al.  Another perspective on default reasoning , 1995, Annals of Mathematics and Artificial Intelligence.

[3]  Riccardo Rosati,et al.  Autoepistemic Description Logics , 1997, IJCAI.

[4]  Robert Stevens,et al.  Using OWL to model biological knowledge , 2007, Int. J. Hum. Comput. Stud..

[5]  Carsten Lutz,et al.  Description Logics with Circumscription , 2006, KR.

[6]  Didier Dubois,et al.  Representing Default Rules in Possibilistic Logic , 1992, KR.

[7]  Umberto Straccia,et al.  Lexicographic Closure for Defeasible Description Logics , 2012 .

[8]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[9]  Thomas Andreas Meyer,et al.  Semantic Foundation for Preferential Description Logics , 2011, Australasian Conference on Artificial Intelligence.

[10]  Piero A. Bonatti,et al.  On the Complexity of EL with Defeasible Inclusions , 2011, IJCAI.

[11]  Thomas Andreas Meyer,et al.  A defeasible reasoning approach for description logic ontologies , 2012, SAICSIT '12.

[12]  Piero A. Bonatti,et al.  Defeasible Inclusions in Low-Complexity DLs , 2011, J. Artif. Intell. Res..

[13]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..

[14]  Ulrike Sattler,et al.  Next Steps for Description Logics of Minimal Knowledge and Negation as Failure , 2008, Description Logics.

[15]  Laura Giordano,et al.  ALC + T: a Preferential Extension of Description Logics , 2009, Fundam. Informaticae.

[16]  Jochen Heinsohn,et al.  Probabilistic Description Logics , 1994, UAI.

[17]  Carsten Lutz,et al.  The Complexity of Circumscription in DLs , 2009, J. Artif. Intell. Res..

[18]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[19]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[20]  Umberto Straccia,et al.  Rational Closure for Defeasible Description Logics , 2010, JELIA.

[21]  Thomas Lukasiewicz,et al.  Expressive probabilistic description logics , 2008, Artif. Intell..

[22]  Laura Giordano,et al.  Preferential Description Logics , 2007, LPAR.

[23]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

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

[25]  Laura Giordano,et al.  A non-monotonic Description Logic for reasoning about typicality , 2013, Artif. Intell..

[26]  Kodylan Moodley,et al.  Ordered Interpretations and Entailment for Defeasible Description Logics , 2014 .

[27]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[28]  Joachim Quantz,et al.  Preferential Default Description Logics , 1993 .

[29]  Pascal Hitzler,et al.  Local Closed World Semantics: Grounded Circumscription for OWL , 2011, SEMWEB.