Reasoning on Datalog± Ontologies with Abductive Logic Programming

DOI10.3233/FI-2018-1658zbMath1390.68621OpenAlexW2792614959WikidataQ58063505 ScholiaQ58063505MaRDI QIDQ4637880

Giuseppe Cota, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese, Marco Gavanelli, Evelina Lamma

Publication date: 3 May 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2018-1658

Mathematics Subject Classification ID

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

Related Items (2)

Tableau reasoning for description logics and its extension to probabilities ⋮ Dischargeable Obligations in the 𝒮CIFF Framework

Uses Software

• Datalog

This page was built for publication: Reasoning on Datalog± Ontologies with Abductive Logic Programming