Ontology Consistency and Instance Checking for Real World Linked Data

Abstract

Many large ontologies have been created which make use of OWL's expressiveness for speci cation. However, tools to ensure that in- stance data is in compliance with the schema are often not well integrated with triple-stores and cannot detect certain classes of schema-instance inconsistency due to the assumptions of the OWL axioms. This can lead to lower quality, inconsistent data. We have developed a simple ontol- ogy consistency and instance checking service, SimpleConsist[8]. We also de ne a number of ontology design best practice constraints on OWL or RDFS schemas. Our implementation allows the user to specify which constraints should be applied to schema and instance data