Description logic programs under probabilistic uncertainty and fuzzy vagueness

DOI10.1016/j.ijar.2009.03.004zbMath1191.68691OpenAlexW1965181251WikidataQ58049257 ScholiaQ58049257MaRDI QIDQ962902

Umberto Straccia, Thomas Lukasiewicz

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.03.004

zbMATH Keywords

algorithmssemantic webprobabilistic uncertaintyprobabilistic logic programsfuzzy description logicsdata tractabilityfuzzy logic programsfuzzy vagueness

Mathematics Subject Classification ID

Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17) Internet topics (68M11)

Related Items (15)

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ Uncertain lightweight ontologies in a product-based possibility theory framework ⋮ Generalized Bayesian inference in a fuzzy context: from theory to a virtual reality application ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ All About Fuzzy Description Logics and Applications ⋮ Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ On finitely-valued fuzzy description logics ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ A top-\(k\) query answering procedure for fuzzy logic programming ⋮ Top-\(k\) retrieval for ontology mediated access to relational databases ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Reasoning over Vague Concepts ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model

Cites Work

• A logic for reasoning about the probability of fuzzy events
• Probabilistic description logic programs
• Metamathematics of fuzzy logic
• The independent choice logic for modelling multiple agents under uncertainty
• Probabilistic description logic programs under inheritance with overriding for the semantic Web
• Combining answer set programming with description logics for the semantic web
• Ontology Matching
• Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Description logic programs under probabilistic uncertainty and fuzzy vagueness