Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
From MaRDI portal
Publication:2964452
DOI10.1007/978-3-319-24246-0_4zbMath1471.68268OpenAlexW2295403433MaRDI QIDQ2964452
Stefan Borgwardt, Rafael Peñaloza
Publication date: 27 February 2017
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-24246-0_4
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (3)
The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Attributive concept descriptions with complements
- Decidability of SHIQ with complex role inclusion axioms
- Handbook of weighted automata
- Fuzzy description logics under Gödel semantics
- Fuzzy description logics with general t-norms and datatypes
- 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
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
- Practical reasoning for very expressive description logics
- Reasoning and Query Answering in Description Logics
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
- The Description Logic Handbook
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Finite Fuzzy Description Logics and Crisp Representations
- An overview of tableau algorithms for description logics
This page was built for publication: Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics