A formal framework for description logics with uncertainty

DOI10.1016/j.ijar.2009.04.009zbMath1191.68649OpenAlexW1971937407MaRDI QIDQ962955

Nematollaah Shiri, Volker Haarslev, Hsueh-Ieng Pai

Publication date: 7 April 2010

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

Full work available at URL: https://doi.org/10.1016/j.ijar.2009.04.009

zbMATH Keywords

uncertaintyknowledge basedescription logicsconstraint solvingtableau procedure

Mathematics Subject Classification ID

Related Items (5)

Reasoning in fuzzy description logics using automata ⋮ Generalized fuzzy rough description logics ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ The limits of decidability in fuzzy description logics with general concept inclusions

Cites Work

• Attributive concept descriptions with complements
• Probabilistic description logic programs
• Fuzzy sets as a basis for a theory of possibility
• Probabilistic description logic programs under inheritance with overriding for the semantic Web
• DESCRIPTION LOGICS OVER LATTICES
• Logics in Artificial Intelligence
• Fuzzy sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal framework for description logics with uncertainty