A Fuzzy Description Logic with Product T-norm

Fuzzy description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operators may determine some logical properties. However, up to date the study of fuzzy DLs has been restricted to the Lukasiewicz logic and the "Zadeh semantics". In this work, we propose a novel semantics combining the common product t-norm with the standard negation. We show some interesting properties of the logic and propose a reasoning algorithm based on a mixture of tableaux rules and the reduction to mixed integer quadratically constrained programming.

[1]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

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

[3]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[4]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[5]  Reiner Hähnle,et al.  Advanced Many-Valued Logics , 2001 .

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

[7]  Carsten Lutz,et al.  Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.

[8]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

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

[10]  Umberto Straccia,et al.  Description Logics with Fuzzy Concrete Domains , 2005, UAI.

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

[12]  Jeff Z. Pan,et al.  A Fuzzy Description Logic for Multimedia Knowledge Representation , 2005 .

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

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

[15]  Petr Hájek.  What does mathematical fuzzy logic offer to description logic? , 2006, Fuzzy Logic and the Semantic Web.

[16]  Thomas Lukasiewicz,et al.  An Overview of Uncertainty and Vagueness in Description Logics for the Semantic Web an Overview of Uncertainty and Vagueness in Description Logics for the Semantic Web , 2006 .

[17]  Umberto Straccia,et al.  A fuzzy description logic for the semantic web , 2006, Fuzzy Logic and the Semantic Web.

[18]  Thomas Lukasiewicz.  Probabilistic Description Logics for the Semantic Web Probabilistic Description Logics for the Semantic Web , 2007 .