Query answering under probabilistic uncertainty in Datalog+/- ontologies

DOI10.1007/S10472-013-9342-1MaRDI QIDQ2248518zbMATH OpenOpenAlexWikidataFDO

Authors Georg Gottlob, Thomas Lukasiewicz, Gerardo Simari, Maria Vanina Martinez

Publication date 26 June 2014

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-013-9342-1

zbMATH Keywords

Datalog\(+/-\) ontologiesinconsistency managementinformation extractionknowledge representation languageMarkov logic networksprobabilistic reasoningquery processingreasoning under uncertaintySemantic Webthreshold queries

Mathematics Subject Classification ID

Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Inconsistency handling in Datalog\(+/-\) ontologies
• Complexity Results for Probabilistic Datalog
• Probabilistic description logic programs
• Expressive probabilistic description logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Cites work

• A theory of diagnosis from first principles
• Answer sets for consistent query answering in inconsistent databases
• Data exchange: semantics and query answering
• Expressive probabilistic description logics
• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Kernel contraction
• Logic Programming and Nonmonotonic Reasoning
• Markov logic networks
• Probabilistic databases
• Semi-revision
• Taming the infinite chase: query answering under expressive relational constraints
• Testing containment of conjunctive queries under functional and inclusion dependencies
• The independent choice logic for modelling multiple agents under uncertainty

Cited in

(19)

• Tableau reasoning for description logics and its extension to probabilities
• Analyzing real-world SPARQL queries and ontology-based data access in the context of probabilistic data
• Using ontologies to query probabilistic numerical data
• Ontological query answering under many-valued group preferences in Datalog\(+/-\)
• Open-world probabilistic databases: semantics, algorithms, complexity
• Consistency checking and querying in probabilistic databases under integrity constraints
• Datalog^ ontology consolidation
• A quantitative approach to belief revision in structured probabilistic argumentation
• Inconsistency handling in Datalog\(+/-\) ontologies
• Complexity of threshold query answering in probabilistic ontological data exchange
• MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
• Belief revision in structured probabilistic argumentation, model and application to cyber security
• ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
• The Probabilistic Description Logic
• A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
• Explanation-friendly query answering under uncertainty
• Generative Datalog with continuous distributions
• Swift Markov logic for probabilistic reasoning on knowledge graphs
• Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)

Describes a project that uses

Uses Software

• Datalog
• MayBMS

This page was built for publication: Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies

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