You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ARGO – Guidelines for Automatically recognising and Repairing OWL 2 profile violations
Working draft 29 March 2017
Editors:
Nicolas Matentzoglu, Manchester University
Edit history:
Version
Date
Contributors
Changes
0.0.1
29.03.2017
Nicolas Matentzoglu
First version: reflecting the state of the OWL API 4.3.1.
Summary
This document contains the guidelines for recognising and repairing OWL 2 profile violations. The goal is to determine through community discussion what constitutes a profile violation (definition), how to recognise it (recognition) and whether there should be an automated repair strategy (repair). The main purpose of the guidelines is to agree on a standard way on how to (automatically) repair ontologies in a safe way
for consistent counting in ontology surveys
for improved tool testing for example when benchmarking reasoners
to discuss the various ambiguities around profile checking and resolve them
The basic grouping, using the four main OWL 2 profiles (DL, EL, RL, QL) and general OWL 2 violations, is taken from the current OWL API version and serves to better localise the violations for those interested in one particular profile. It should be noted that, in order to be valid EL, RL and QL, the ontology needs to be valid OWL 2 DL. In order to be valid OWL 2 DL, the ontology needs to be valid OWL 2. We are working closely with the developers of the OWL API in order to provide a consistent and community-accredited implementation of the guidelines.
Basic definitions
Specification
O
The ontology under consideration excluding its imports.
O'
The ontology under consideration including its full imports closure.
S(O):
The signature of O, i.e. the set of all class names, object property names, data property names and individual names occuring across any logical axiom in O (including declarations).
SA(O):
The signature of O, i.e. the set of all class names, object property names, data property names, annotation property names and individual names occuring across any axiom in O.
General points of discussions
Profile checking against O vs O'
Signature of interest includes annotations (class names in annotations, non OWL data types)
An annotation property name P from S(O') has been used as part of an OWL axiom in O' but is neither built-in vocabulary nor has been declared.
Recognition:
Given an annotation property P in S(O'), P is considered undeclared if it is not built-in vocabulary and there exists no declaration axiom Declaration(P).
Repair:
Inject an annotation property declaration axiom into the ontology.
A datatype has been used as part of an OWL axiom in O' but is neither built-in vocabulary, nor the top datatype, nor has been declared.
Recognition:
Given a datatype DT used in an axiom in O, DT is considered undeclared if it is not built-in vocabulary, not the top datatype, and there exists no declaration axiom Declaration(P).
Repair:
Inject an annotation property declaration axiom into the ontology.