Reasoning in expressive description logics under infinitely valued Gödel semantics

DOI10.1007/978-3-319-24246-0_4MaRDI QIDQ2964452zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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

Recommendations

• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Fuzzy description logics under Gödel semantics
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• How fuzzy is my fuzzy description logic?
• The limits of decidability in fuzzy description logics with general concept inclusions

Cites work

• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 1448975 (Why is no real title available?)
• An overview of tableau algorithms for description logics
• Attributive concept descriptions with complements
• Decidability of SHIQ with complex role inclusion axioms
• Finite fuzzy description logics and crisp representations
• Fuzzy description logics under Gödel semantics
• Fuzzy description logics with general t-norms and datatypes
• Handbook of weighted automata
• Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• 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
• Practical reasoning for very expressive description logics
• Reasoning and query answering in description logics
• Reasoning in expressive description logics under infinitely valued Gödel semantics
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• The Description Logic Handbook
• The limits of decidability in fuzzy description logics with general concept inclusions

Cited in

(10)

• Verifying Properties of Infinite Sequences of Description Logic Actions
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Reasoning in fuzzy description logics using automata
• An extension of Gödel logic for reasoning under both vagueness and possibilistic uncertainty
• Reasoning in expressive description logics under infinitely valued Gödel semantics
• Fuzzy description logics under Gödel semantics
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
• Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
• Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices

Describes a project that uses

Uses Software

• KL-ONE

This page was built for publication: Reasoning in expressive description logics under infinitely valued Gödel semantics

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