Datalog^ ontology consolidation

DOI10.1613/JAIR.5131MaRDI QIDQ2818237zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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\)?

Describes a project that uses

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)