The fuzzy description logic G-FL₀ with greatest fixed-point semantics

DOI10.1007/978-3-319-11558-0_5MaRDI QIDQ2938484zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Some Complexity Results on Fuzzy Description Logics
• How fuzzy is my fuzzy description logic?
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• Reasoning in expressive description logics under infinitely valued Gödel semantics
• Making fuzzy description logic more general

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 5488086 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• DESCRIPTION LOGICS OVER LATTICES
• Fuzzy description logics with general t-norms and datatypes
• Fuzzy sets
• Handbook of mathematical fuzzy logic. Volume 1
• Making fuzzy description logic more general
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• On the undecidability of fuzzy description logics with GCIs and product t-norm
• Reasoning within fuzzy description logics
• Terminological reasoning is inherently intractable
• The Description Logic Handbook
• Triangular norms
• Using automata theory for characterizing the semantics of terminological cycles

Cited in

(4)

• Reasoning in fuzzy description logics using automata
• Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner
• Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm

This page was built for publication: The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938484)