The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm

DOI10.1016/j.ijar.2017.09.005zbMath1420.68200OpenAlexW2755398125MaRDI QIDQ1679661

Marco Cerami, Rafael Peñaloza, Stefan Borgwardt

Publication date: 21 November 2017

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2017.09.005

zbMATH Keywords

mathematical fuzzy logicfuzzy description logicsŁukasiewicz t-normfuzzy OWL 2 EL

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (4)

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations ⋮ Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting ⋮ Editorial. Special issue on ``Uncertainty reasoning for the web ⋮ Reasoning within fuzzy OWL 2 EL revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consistency reasoning in lattice-based fuzzy description logics
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• On the structure of semi-groups on a compact manifold with boundary
• Decidability of SHIQ with complex role inclusion axioms
• Fuzzy description logics under Gödel semantics
• Fuzzy description logics with general t-norms and datatypes
• Metamathematics of fuzzy logic
• Triangular norms
• Optimising fuzzy description logic reasoners with general concept inclusion absorption
• Making fuzzy description logic more general
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• The limits of decidability in fuzzy description logics with general concept inclusions
• How Fuzzy Is My Fuzzy Description Logic?
• The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics
• Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
• On a class of operators for expert systems
• The Description Logic Handbook
• Logics in Artificial Intelligence
• A variant of a recursively unsolvable problem

This page was built for publication: The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm