OntoStudio Validation

The OntoStudio component for validation has been originally implemented to have simple checks for the ontologies and rules. Within ONTORULE the set of checking rules has been extended in order to cover ontoprises development for consistency maintenance. The full description of the development and implementation within ONTORULE is described in the ONTORULE deliverable D2.6 Consistency Maintenance.

The approach is implemented based on ObjectLogic itself. The general idea is to write rules that define the circumstances under which an inconsistency or some other anomaly might occur in the ontologies and rules. Using ObjectLogic as language to define these anomalies allows the user to use the same language as for defining the ontologies and rules. This enables business users to not just implement the business knowledge but also checking rules for checking the consistency in just one language.

The implementation within OntoStudio is extendible. Within ONTORULE we provide some rule set for checking several anomalies described in D2.6 Consistency Maintenance.

OntoStudio consistency checking - selection of anomalies to be checked

All found anomalies can be investigated. The description shows the type of anomaly found, the violated element within the ontology as well as a description of the found anomaly.

OntoStudio consistency checking - results of the checking and rule inspection

The media player is loading...

A short video demonstrating consistency checking within OntoStudio.
The demo is based on the ontology of parts of the AUDI use-case.