Abstract | ||
---|---|---|
In this paper we demonstrate how to benefit from structured argumentation frameworks and their implementations to provide for reasoning capabilities of Ontology Based Data Access systems under inconsistency tolerant semantics. More precisely, given an inconsistent Datalog(+/-) knowledge base we instantiate it using the ASPIC(+) framework and show that the reasoning provided by ASPIC+ is equivalent to the main inconsistent tolerant semantics in the literature. We provide a workflow that shows the practical interoperability of the logic based frameworks handling Datalog(+/-) and ASPIC(+). |
Year | DOI | Venue |
---|---|---|
2016 | 10.3233/978-1-61499-686-6-61 | Frontiers in Artificial Intelligence and Applications |
Keywords | Field | DocType |
Applications and Structured Argumentation and Datalog plus /- | Ontology,Computer science,Interoperability,Argumentation theory,Knowledge management,Knowledge base,Workflow,Datalog,Data access,Semantics | Conference |
Volume | ISSN | Citations |
287 | 0922-6389 | 2 |
PageRank | References | Authors |
0.37 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruno Yun | 1 | 10 | 5.31 |
Madalina Croitoru | 2 | 90 | 19.70 |