Datalog^ ontology consolidation

DOI10.1613/JAIR.5131zbMATH Open1371.68266OpenAlexW2518417683MaRDI QIDQ2818237FDOQ2818237

Authors: Cristhian Ariel D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo R. Simari 

Publication date: 7 September 2016

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.5131

Recommendations

• Inconsistency handling in Datalog\(+/-\) ontologies
• Consolidating modal knowledge bases
• Consolidation of probabilistic knowledge bases by inconsistency minimization
• Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
• Towards practical deletion repair of inconsistent DL-programs

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Cited In (6)

• Merging existential rules programs in multi-agent contexts through credibility accrual
• Integrating Datalog with OWL: Exploring the AL-log Approach
• Inconsistency handling in Datalog\(+/-\) ontologies
• Consolidating modal knowledge bases
• Belief base contraction by belief accrual
• How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?

Uses Software

• Datalog

This page was built for publication: Datalog\(^\pm\) ontology consolidation

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