About Manchester OWL validator

Dear all,

I've tried to validate an ontology with [1] and found some intriguing 
results (wrt the OWL 2 *DL* validator):

1) apparently, [1] does not tolerate the use of DeprecatedProperty in 
any form (but DeprecatedClass is OK).

Example:
============================================
<?xml version="1.0" encoding="UTF-8"?>

<rdf:RDF
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
   xmlns:owl="http://www.w3.org/2002/07/owl#"
 >

<owl:Ontology rdf:about="" />

<!-- Deprecated -->
<owl:DeprecatedClass rdf:about="http://example.com#className">
   <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
</owl:DeprecatedClass>

<owl:DatatypeProperty rdf:about="http://example.com#datatypeProperty">
   <rdf:type 
rdf:resource="http://www.w3.org/2002/07/owl#DeprecatedProperty"/>
</owl:DatatypeProperty>

<owl:DeprecatedProperty rdf:about="http://example.com#objectProperty">
   <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
</owl:DeprecatedProperty>

</rdf:RDF>
============================================

2) I'm not completely sure if it is a bug, but I thought that the set of 
ontologies was disjoint from the set of individuals. I thought that only 
AnnotationProperties could be applied to ontologies. Yet, according to 
[1], this is not true. Therefore, it is possible to say that an ontology 
has friends ;-)

============================================
<?xml version="1.0" encoding="UTF-8"?>

<rdf:RDF
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
   xmlns:owl="http://www.w3.org/2002/07/owl#"
   xmlns:foaf="http://xmlns.com/foaf/0.1/"
 >

<owl:Ontology rdf:about="">
   <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
   <foaf:knows rdf:resource="http://xmlns.com/foaf/0.1/" />
</owl:Ontology>

<owl:ObjectProperty rdf:resource="http://xmlns.com/foaf/0.1/knows" />

</rdf:RDF>
============================================

[1] http://owl.cs.manchester.ac.uk/validator/


Regards,
-- 
Antoine Zimmermann
Post-doctoral researcher at:
Digital Enterprise Research Institute
National University of Ireland, Galway
IDA Business Park
Lower Dangan
Galway, Ireland
antoine.zimmermann@deri.org
http://vmgal34.deri.ie/~antzim/

Received on Monday, 31 August 2009 16:58:51 UTC