RDF graph validation using rule-based reasoning

  title={RDF graph validation using rule-based reasoning},
  author={Ben De Meester and Pieter Heyvaert and D{\"o}rthe Arndt and Anastasia Dimou and Ruben Verborgh},
  journal={Semantic Web},
The correct functioning of SemanticWeb applications requires that given RDF graphs adhere to an expected shape. This shape depends on the RDF graph and the application’s supported entailments of that graph. During validation, RDF graphs are assessed against sets of constraints, and found violations help refining the RDF graphs. However, existing validation approaches cannot always explain the root causes of violations (inhibiting refinement), and cannot fully match the entailments supported… Expand

Figures and Tables from this paper

R2RML and RML Comparison for RDF Generation, their Rules Validation and Inconsistency Resolution
In this paper, an overview of the state of the art on knowledge graph generation is provided, with focus on the two prevalent mapping languages: the W3C recommended R2RML and its generalisation RML.Expand
Can an ontology really support the development of more accurate data quality assessment models? : A survey
Data is considered to be of high quality if it satisfies the requirements of intended use. There is a colossal amount of linked data available on the web. However, it is difficult to know how wellExpand
Ontology-Based Map Data Quality Assurance
This work proposes an ontology-based workflow for HD map data quality assurance, including semantic enrichment, violation detection, and violation handling, and suggests that violation handling is even feasible on-the-fly in the car (on-board), avoiding the autonomous driving mode’s deactivation. Expand
WIP: Smart Knowledge Capture for Industrial Applications
Knowledge Graphs are critical for delivering semantic technical documentation and product information supporting Industry 4.0 processes. Creation and editing of Knowledge Graphs is slow, costly, andExpand


Using Rule-Based Reasoning for RDF Validation
This paper proposes using Rule-Based Web Logics for RDF validation focusing on the concepts needed to support the most common validation constraints, such as Scoped Negation As Failure (SNAF), and the predicates defined in the Rule Interchange Format (RIF). Expand
The role of reasoning for RDF validation
For data practitioners embracing the world of RDF and Linked Data, the openness and flexibility is a mixed blessing. For them, data validation according to predefined constraints is a muchExpand
RDF Validation Requirements - Evaluation and Logical Underpinning
This paper evaluates to which extend each requirement is satisfied by each constraint languages and maps constraints to DL in order to show that each constraint can be mapped to an ontology describing RDF constraints generically. Expand
Shape expressions: an RDF validation and transformation language
A Shape Expression definition language which enables RDF validation through the declaration of constraints on the RDF model and two extensions are implemented that leverage the predictability of the graph traversal and create ordered, closed content, XML/Json documents. Expand
Requirements on RDF Constraint Formulation and Validation
A database of requirements obtained from various sources is presented, including the use cases presented at the RDF Validation Workshop as well as in theRDF-AP WG, and it is shown that none of the approaches satisfy all requirements. Expand
Describing Reasoning Results with RVO, the Reasoning Violations Ontology
A new OWL RL ontology, the Reasoning Violations Ontology (RVO), which describes both ABox and TBox reasoning errors produced by DL reasoners to facilitate the integration of reasoners into data engineering tool-chains is presented. Expand
Rule-driven inconsistency resolution for knowledge graph generation rules
Resglass is described, which includes a ranking to determine the order with which rules and ontology elements should be inspected, and its implementation, and the evaluation shows that the automatic ranking achieves an overlap of 80% with experts ranking, reducing this way the effort required during the resolution of inconsistencies. Expand
Validating RDF Data Quality Using Constraints to Direct the Development of Constraint Languages
This paper formulate 115 constraints on three different vocabularies (DDI-RDF, QB, and SKOS) and classify them according to (1) the severity of an occurring violation and (2) the complexity of the constraint expression in common constraint languages. Expand
RDF Constraint Checking
This paper introduces the formal semantics and describes how RDD constraints can be translated into SPARQL for constraint checking, and evaluates the feasibility and eciency of this checking process using two popular, state-of-the-art RDF triple stores. Expand
Comparison of reasoners for large ontologies in the OWL 2 EL profile
The main conclusion from this study is that reasoners vary significantly with regard to all included characteristics, and therefore a critical assessment and evaluation of requirements is needed before selecting a reasoner for a real-life application. Expand