The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics

DOI10.1007/978-3-319-11558-0_5zbMath1432.68429OpenAlexW82525747MaRDI QIDQ2938484

José A. Leyva Galano, Rafael Peñaloza, Stefan Borgwardt

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_5

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fuzzy description logics with general t-norms and datatypes
• Using automata theory for characterizing the semantics of terminological cycles
• Triangular norms
• Making fuzzy description logic more general
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• Terminological reasoning is inherently intractable
• A lattice-theoretical fixpoint theorem and its applications
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
• DESCRIPTION LOGICS OVER LATTICES
• The Description Logic Handbook
• Fuzzy sets

This page was built for publication: The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics