How Fuzzy Is My Fuzzy Description Logic?

Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp reasoning, and thus has its same complexity. Surprisingly, in these same logics crisp models are insufficient for deciding fuzzy subsumption.

[1]  Ian Horrocks,et al.  The Fuzzy Description Logic f-SHIN , 2005, ISWC-URSW.

[2]  Àngel García-Cerdaña,et al.  Fuzzy Description Logics and t-norm based fuzzy logics , 2010, Int. J. Approx. Reason..

[3]  Christian Eitzinger,et al.  Triangular Norms , 2001, Künstliche Intell..

[4]  P. Mostert,et al.  On the Structure of Semigroups on a Compact Manifold With Boundary , 1957 .

[5]  Rafael Peñaloza,et al.  Undecidability of Fuzzy Description Logics , 2012, KR.

[6]  Umberto Straccia,et al.  Managing uncertainty and vagueness in description logics for the Semantic Web , 2008, J. Web Semant..

[7]  Rafael Peñaloza,et al.  GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable , 2011, Description Logics.

[8]  Christopher Tresp,et al.  A Description Logic for Vague Knowledge , 1998, ECAI.

[9]  Ian Horrocks,et al.  Keys, Nominals, and Concrete Domains , 2003, IJCAI.

[10]  Umberto Straccia,et al.  A Fuzzy Description Logic with Product T-norm , 2007, 2007 IEEE International Fuzzy Systems Conference.

[11]  Umberto Straccia,et al.  On Qualified Cardinality Restrictions in Fuzzy Description Logics under Ëukasiewicz semantics , 2008 .

[12]  Giorgos Stoilos,et al.  A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics , 2009, Description Logics.

[13]  Umberto Straccia,et al.  Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics , 2007, EUSFLAT Conf..

[14]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[15]  R. Mesiar,et al.  Triangular norms: Basic notions and properties , 2005 .

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

[17]  Rafael Peñaloza,et al.  On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm , 2011, FroCoS.

[18]  Rafael Peñaloza,et al.  Are fuzzy description logics with general concept inclusion axioms decidable? , 2011, 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011).

[19]  Umberto Straccia,et al.  Fuzzy description logics with general t-norms and datatypes , 2009, Fuzzy Sets Syst..

[20]  Umberto Straccia,et al.  On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm , 2011, ArXiv.

[21]  Umberto Straccia,et al.  General Concept Inclusions inFluzzy Description Logics , 2006, ECAI.

[22]  Paulo J. G. Lisboa,et al.  Fuzzy systems in medicine , 2000 .

[23]  Umberto Straccia,et al.  Fuzzy description logics under Gödel semantics , 2009, Int. J. Approx. Reason..

[24]  Jan Hladik.  A Tableau System for the Description Logic SHIO , 2004, IJCAR Doctoral Programme.

[25]  Rafael Peñaloza,et al.  Gödel Negation Makes Unwitnessed Consistency Crisp , 2012, Description Logics.

[26]  Umberto Straccia,et al.  On the Failure of the Finite Model Property in some Fuzzy Description Logics , 2010, Fuzzy Sets Syst..

[27]  I. Horrocks,et al.  A PSPACE-algorithm for deciding ALCNIR+-satisfiability , 1998 .

[28]  C. Tresp,et al.  Extending Description Logics to Vague Knowledge in Medicine , 2000 .

[29]  Petr Hájek,et al.  Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..