Describing reasoning results with RVO, the reasoning violations ontology

This paper presents a new OWL RL ontology, the Reasoning Violations Ontology (RVO), which describes both ABox and TBox reasoning errors produced by DL reasoners. This is to facilitate the integration of reasoners into data engineering tool-chains. The ontology covers violations of OWL 2 direct semantics and syntax detected on both the schema and instance level over the full range of OWL 2 and RDFS language constructs. Thus it is useful for reporting results to other tools when a reasoner is applied to linked data, RDFS vocabularies or OWL ontologies, for example for quality evaluations such as consistency, completeness or integrity. RVO supports supervised or semi-supervised error localisation and repair by defining properties that both identify the statement or triple where a violation is detected, and by providing context information on the violation which may help the repair process. In a case study we show how the ontology can be used by a reasoner and a supervised repair process to accelerate high quality ontology development and provide automated constraint checking feedback on instance data. RVO is also being used to enable integration of reasoning results into multi-vendor data quality tool chains within the ALIGNED H2020 project.