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

DOI10.1007/978-3-319-24246-0_4zbMATH Open1471.68268OpenAlexW2295403433MaRDI QIDQ2964452FDOQ2964452

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

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

Mathematics Subject Classification ID

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

Cites Work

• The Description Logic Handbook
• Handbook of weighted automata
• Practical reasoning for very expressive description logics
• Decidability of SHIQ with complex role inclusion axioms
• Attributive concept descriptions with complements
• Fuzzy description logics with general t-norms and datatypes
• Making fuzzy description logic more general
• Title not available (Why is that?)
• An overview of tableau algorithms for description logics
• Title not available (Why is that?)
• Logics in Artificial Intelligence
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Fuzzy description logics under Gödel semantics
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
• 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
• Finite fuzzy description logics and crisp representations
• Reasoning and query answering in description logics
• Logics in Artificial Intelligence

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

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)