From classical Description Logic to n-graded Fuzzy Description Logic

Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Following the ideas of Hájek in [17] and García-Cerdaña et al. in [15] we develop a family of FDLs whose underlying logic is the fuzzy logic of a finite linearly ordered residuated lattice, that is, an n-graded fuzzy logic defined by a divisible finite t-norm over a finite chain. Moreover, the role of the constructor of implication in the languages for FDLs is discussed, and a hierarchy of AL-languages adapted to the behavior of the connectives in the fuzzy logics underlying these description languages is proposed. Finally, we deal with reasoning tasks within the framework of finitely valued DLs.

[1]  Petr Hájek,et al.  On theories and models in fuzzy predicate logics , 2006, Journal of Symbolic Logic.

[2]  Joan Torrens,et al.  On a class of operators for expert systems , 1993, Int. J. Intell. Syst..

[3]  Lluis Godo,et al.  Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results , 2007, Fuzzy Sets Syst..

[4]  G. Mayor,et al.  Triangular norms on discrete settings , 2005 .

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

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

[7]  Lluis Godo,et al.  On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice , 2008, J. Log. Comput..

[8]  M. Baaz.  Infinite-valued Gödel logics with $0$-$1$-projections and relativizations , 1996 .

[9]  Petr Hájek.  Computational complexity of t-norm based propositional fuzzy logics with rational truth constants , 2006, Fuzzy Sets Syst..

[10]  Daniel Sánchez,et al.  Fuzzy quantification in fuzzy description logics , 2006, Fuzzy Logic and the Semantic Web.

[11]  Fernando Bobillo,et al.  A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions , 2006, URSW.

[12]  G. Stamou,et al.  Reasoning with Very Expressive Fuzzy Description Logics , 2007, J. Artif. Intell. Res..

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

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

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

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

[17]  Christian G. Fermüller,et al.  Systematic construction of natural deduction systems for many-valued logics , 1993, [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.

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

[19]  Petr Hájek,et al.  Fss 5598 Modc+(sc) Triangular Norm Based Predicate Fuzzy Logics , 2022 .

[20]  Christian G. Fermüller,et al.  MUltlog 1.0: Towards an Expert System for Many-Valued Logics , 1996, CADE.

[21]  Franco Montagna,et al.  Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras , 2004, Stud Logica.

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

[23]  Diego Calvanese,et al.  Relationships with other Formalisms , 2003, Description Logic Handbook.

[24]  P. Aglianò,et al.  Varieties of BL- algebras I: General properties. , 2003 .

[25]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[26]  A. Monteiro.  Sur les algèbres de Heyting symétriques , 1980 .

[27]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[28]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[29]  Marco Cerami,et al.  Decidability of a Description Logic over Infinite-Valued Product Logic , 2010, KR.

[30]  Franco Montagna,et al.  Varieties of BL-algebras , 2005, Soft Comput..