Re: About Manchester OWL validator

Hi Antoine,

I'll forward your remarks to Matthew Horridge, who has written the  
validator, but who is currently on holidays.

Cheers

Thomas

On 31 Aug 2009, at 17:58, Antoine Zimmermann wrote:

> 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/
>

+----------------------------------------------------------------------+
|  Dr Thomas Schneider                    schneider (at) cs.man.ac.uk  |
|  School of Computer Science       http://www.cs.man.ac.uk/~schneidt  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |
+-----------------------------------------------------oOOO--(_)--OOOo--+

Golant (adj.)
   Blank, sly and faintly embarrassed. Pertaining to the expression seen
   on the face of someone who has clearly forgotten your name.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff

Received on Monday, 31 August 2009 18:47:13 UTC