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

DOI10.1007/978-3-319-11558-0_5zbMATH Open1432.68429OpenAlexW82525747MaRDI QIDQ2938484FDOQ2938484

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

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

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)

Cites Work

• Fuzzy sets
• Triangular norms
• Title not available (Why is that?)
• Title not available (Why is that?)
• A lattice-theoretical fixpoint theorem and its applications
• The Description Logic Handbook
• Handbook of mathematical fuzzy logic. Volume 1
• Fuzzy description logics with general t-norms and datatypes
• Making fuzzy description logic more general
• Terminological reasoning is inherently intractable
• Reasoning within fuzzy description logics
• Using automata theory for characterizing the semantics of terminological cycles
• Title not available (Why is that?)
• DESCRIPTION LOGICS OVER LATTICES
• 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

Cited In (4)

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

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)