A formal framework for description logics with uncertainty

DOI10.1016/J.IJAR.2009.04.009MaRDI QIDQ962955zbMATH OpenOpenAlexFDO

Authors Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri

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

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
• Probabilistic description logics for subjective uncertainty
• Expressive probabilistic description logics
• Extending description logics with uncertainty reasoning in possibilistic logic
• Probabilistic description logic programs under inheritance with overriding for the semantic Web

Cites work

• scientific article; zbMATH DE number 5356404 (Why is no real title available?)
• scientific article; zbMATH DE number 5547901 (Why is no real title available?)
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1931651 (Why is no real title available?)
• scientific article; zbMATH DE number 788044 (Why is no real title available?)
• Attributive concept descriptions with complements
• DESCRIPTION LOGICS OVER LATTICES
• Fuzzy sets
• Fuzzy sets as a basis for a theory of possibility
• Logics in Artificial Intelligence
• Probabilistic description logic programs
• Probabilistic description logic programs under inheritance with overriding for the semantic Web
• Reasoning within fuzzy description logics

Cited in

(12)

• Extending description logics with uncertainty reasoning in possibilistic logic
• Semantic reasoning with uncertain information from unreliable sources
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• A framework for reasoning under uncertainty based on non-deterministic distance semantics
• Reasoning in fuzzy description logics using automata
• scientific article; zbMATH DE number 6402305 (Why is no real title available?)
• Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
• The limits of decidability in fuzzy description logics with general concept inclusions
• Generalized fuzzy rough description logics
• Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
• Consistency reasoning in lattice-based fuzzy description logics
• Analyzing Natural-Language Knowledge Under Uncertainty on the Basis of Description Logics

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

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