EL\mathcal{EL} with Default Attributes and Overriding

Biomedical ontologies and semantic web policy languages based on description logics (DLs) provide fresh motivations for extending DLs with nonmonotonic inferences—a topic that has attracted a significant amount of attention along the years. Despite this, nonmonotonic inferences are not yet supported by the existing DL engines. One reason is the high computational complexity of the existing decidable fragments of nonmonotonic DLs. In this paper we identify a fragment of circumscribed \(\mathcal{EL}^\bot\) that supports attribute inheritance with specificity-based overriding (much like an object-oriented language), and such that reasoning about default attributes is in P.

[1]  Pierangela Samarati,et al.  Logics for Authorization and Security , 2003, Logics for Emerging Applications of Databases.

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

[3]  Umberto Straccia.  Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics , 1993, IJCAI.

[4]  Franz Baader.  The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics , 2003, KI.

[5]  Marco Schaerf,et al.  Closed world reasoning in Hybrid systems , 1990 .

[6]  Bhavani M. Thuraisingham,et al.  ROWLBAC: representing role based access control in OWL , 2008, SACMAT '08.

[7]  Piero A. Bonatti,et al.  Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes , 2009, IJCAI.

[8]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[9]  Laura Giordano,et al.  Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results , 2009, LPNMR.

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

[11]  Fausto Giunchiglia,et al.  Using Description Logics in Relation Based Access Control , 2009, Description Logics.

[12]  Franz Baader,et al.  Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic , 1995, Journal of Automated Reasoning.

[13]  Franz Baader,et al.  Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.

[14]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[15]  Laura Giordano,et al.  Reasoning About Typicality in ALC and EL , 2009, Description Logics.

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

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

[18]  Alan L. Rector.  Defaults, Context, and Knowledge: Alternatives for OWL-Indexed Knowledge Bases , 2004, Pacific Symposium on Biocomputing.

[19]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[20]  Jeffrey M. Bradshaw,et al.  KAoS policy and domain services: toward a description-logic approach to policy representation, deconfliction, and enforcement , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[21]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[22]  James A. Hendler,et al.  Analyzing web access control policies , 2007, WWW '07.

[23]  Gunter Saake,et al.  Logics for Emerging Applications of Databases , 2003, Springer Berlin Heidelberg.

[24]  Rudolf Kruse,et al.  KI 2003: Advances in Artificial Intelligence , 2003, Lecture Notes in Computer Science.

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