Datalog+- Ontology Consolidation

DOI10.1613/jair.5131zbMath1371.68266OpenAlexW2518417683MaRDI QIDQ2818237

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

Publication date: 7 September 2016

Published in: Journal of Artificial Intelligence Research (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)

Related Items (3)

Merging existential rules programs in multi-agent contexts through credibility accrual ⋮ How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? ⋮ Belief base contraction by belief accrual

Uses Software

• Datalog

This page was built for publication: Datalog+- Ontology Consolidation