Making ODRL2.2 to be OWL DL

[vroddon]

PROBLEM

If you check the current complexity of the ontology, you will see it is not OWL DL.
You might want to test at the most famous OWL validator: Manchester
Because it is sometimes down, I created my own wrapper around OWL-API.
My OWL profiler
We may want to claim that the ODRL Ontology is OWL DL. We are near but a few technicalities prevent us from being compliant.

POSSIBLE SOLUTION

The possible solution consists of:
1. Declaring annotation properties as such. Adding the type of class to a few URIs.

skos:broader rdf:type owl:AnnotationProperty .
skos:member rdf:type owl:AnnotationProperty .
skos:note rdf:type owl:AnnotationProperty .
skos:scopeNote rdf:type owl:AnnotationProperty .
skos:prefLabel rdf:type owl:AnnotationProperty .
skos:definition rdf:type owl:AnnotationProperty .
skos:broaderTransitive rdf:type owl:AnnotationProperty .
skos:hasTopConcept rdf:type owl:AnnotationProperty .
dct:contributor rdf:type owl:AnnotationProperty .
dct:license rdf:type owl:AnnotationProperty .
dct:issued rdf:type owl:AnnotationProperty .
dct:subject rdf:type owl:AnnotationProperty .
dct:creator rdf:type owl:AnnotationProperty .
dct:description rdf:type owl:AnnotationProperty .
dct:isVersionOf rdf:type owl:AnnotationProperty .
dct:format rdf:type owl:AnnotationProperty .
dcmit:Text a owl:Class .	
skos:Collection a owl:Class .	
skos:Concept a owl:Class .	
skos:ConceptScheme a owl:Class .	
voaf:Vocabulary a owl:Class .	

2. Removing rdfs:Resource as range of properties
See #106
Act similarly with xsd:any.

I have tested myself introducing these changes, and the ontology validates then happily as OWL DL in the Manchester validator. Indeed, this is an important change and I think approval is needed before applying this.

[riannella]

I think these changes seem sensible (and nothing is lost).

[vroddon]

These changes have been implemented in the git branch issue107. To be merged as soon as they are approved in the call.

As you see, the 21 statements above have been added, and half a dozen have been removed (as described above). With these changes, the ontology becomes OWL DL. Checked, for example, with (http://mowl-power.cs.man.ac.uk:8080/validator)

[riannella]

@vroddon I think we can make a call on this issue (it's an obvious improvement). So lets just make the merge....

[riannella]

Completed