Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics

DOI10.1016/j.ijar.2016.12.014zbMath1404.68150OpenAlexW2562814173MaRDI QIDQ518606

Stefan Borgwardt, Rafael Peñaloza

Publication date: 29 March 2017

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

Full work available at URL: http://hdl.handle.net/10281/258938

zbMATH Keywords

mathematical fuzzy logictableau algorithmfuzzy description logicsfuzzy OWL 2Gödel fuzzy logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations, The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm, Multiple multidimensional linguistic reasoning algorithm based on property-oriented linguistic concept lattice

Uses Software

• HermiT
• Konclude
• DeLorean

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Decidability of SHIQ with complex role inclusion axioms
• Handbook of weighted automata
• Fuzzy description logics under Gödel semantics
• A formal framework for description logics with uncertainty
• Fuzzy description logics with general t-norms and datatypes
• Metamathematics of fuzzy logic
• Triangular norms
• Reasoning in fuzzy description logics using automata
• HermiT: an OWL 2 reasoner
• Making fuzzy description logic more general
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• The limits of decidability in fuzzy description logics with general concept inclusions
• Extended Caching, Backjumping and Merging for Expressive Description Logics
• 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
• 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