Why-provenance information for RDF, rules, and negation

DOI10.1007/S10472-013-9396-0MaRDI QIDQ2248547zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Anastasia Analyti, Carlos V. Damásio, Ioannis Pachoulakis, Grigoris Antoniou

Publication date 26 June 2014

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-013-9396-0

zbMATH Keywords

complexitynegationprogram rulesquery answeringRDF graphswhy-provenance

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Relationalization of provenance data in complex RDF reification nodes
• Provenance analysis: a perspective for description logics?
• Using rule-based reasoning for RDF validation

Cites work

• A framework for modular ERDF ontologies
• Algebraic Structures for Capturing the Provenance of SPARQL Queries
• Complexity results for answer set programming with bounded predicate arities and implications
• Conflict-Driven Answer Set Enumeration
• Extended RDF as a semantic foundation of rule markup languages
• Extended RDF: computability and complexity issues
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 2080480 (Why is no real title available?)
• scientific article; zbMATH DE number 2088362 (Why is no real title available?)
• Justifications for logic programming
• Logic programs with abstract constraint atoms: the role of computations
• Logical foundations of object-oriented and frame-based languages
• Making prolog more expressive
• On database query languages for K-relations
• On negation in Hilog
• Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
• Reconcilable differences
• Tabled evaluation with delaying for general logic programs
• The DLV system for knowledge representation and reasoning
• The well-founded semantics for general logic programs
• XSB: extending Prolog with tabled logic programming

Cited in

(4)

• Towards provenance in heterogeneous knowledge bases
• Annotated RDF
• The Evolution of Context-Aware RDF Knowledge Graphs
• Relationalization of provenance data in complex RDF reification nodes

Describes a project that uses

Uses Software

• Smodels
• SPARQL
• XSB
• TRIPLE

This page was built for publication: Why-provenance information for RDF, rules, and negation

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