The limits of decidability in fuzzy description logics with general concept inclusions

DOI10.1016/j.artint.2014.09.001zbMath1319.68211OpenAlexW2093797880MaRDI QIDQ2512986

Rafael Peñaloza, Felix Distel, Stefan Borgwardt

Publication date: 2 February 2015

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

Full work available at URL: https://doi.org/10.1016/j.artint.2014.09.001

zbMATH Keywords

decidabilitytriangular normsfuzzy description logicsontology consistency

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25)

Related Items

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, On the KLM properties of a fuzzy DL with typicality, Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics, Reasoning in fuzzy description logics using automata, The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm, One-variable fragments of intermediate logics over linear frames, Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures, Optimising fuzzy description logic reasoners with general concept inclusion absorption, Adding Threshold Concepts to the Description Logic $\mathcal{EL}$, Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics, On the relationship between fuzzy description logics and many-valued modal logics, Expressivity in chain-based modal logics, Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics, On transitive modal many-valued logics, Reasoning within fuzzy OWL 2 EL revisited, Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model

Uses Software

• Fuzzydl
• DeLorean

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consistency reasoning in lattice-based fuzzy description logics
• On the failure of the finite model property in some fuzzy description logics
• On the structure of semi-groups on a compact manifold with boundary
• Fuzzy description logics under Gödel semantics
• A formal framework for description logics with uncertainty
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Fuzzy description logics with general t-norms and datatypes
• Triangular norms
• Residuated fuzzy logics with an involutive negation
• Making fuzzy description logic more general
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• How Fuzzy Is My Fuzzy Description Logic?
• Extended Caching, Backjumping and Merging for Expressive Description Logics
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
• Hypertableau Reasoning for Description Logics
• JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
• DESCRIPTION LOGICS OVER LATTICES
• The Description Logic Handbook
• Logics in Artificial Intelligence
• Finite Fuzzy Description Logics and Crisp Representations
• Fuzzy sets
• A variant of a recursively unsolvable problem