W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

[Fwd: [jena-dev] Repost: Question on Species Validator]

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 01 Oct 2003 11:45:37 +0100
Message-ID: <3F7AB051.8080605@hplb.hpl.hp.com>
To: www-webont-wg@w3.org
Cc: holger_knublauch <yahoo@knublauch.com>


I had this support question concerning the jena species validator (which I 
missed at least once :( ).

I suggest we should add a new test to capture this exact case, where Holger 
notes that two mostly conforming validators (mine and Sean's) give 
different answers.

My analysis is that the imported ontology is missing a type triple. This 
case is not covered in our test cases.

Jeremy

Holger's msg:
http://groups.yahoo.com/group/jena-dev/message/4191
My reply:
http://groups.yahoo.com/group/jena-dev/message/4197



-------- Original Message --------
From: "holger_knublauch" <yahoo@knublauch.com>
Subject: [jena-dev] Repost: Question on Species Validator

Hi group,

I already posted the same question at least once and still did not
get a response.  So here it is again... I appreciate your help.


We have integrated the Jena validator into Protege's OWL editor.
Unfortunately, it is not terribly useful in the moment, because it
always returns OWL Full :(

This is because every Protege/OWL ontology by default imports a
system ontology which resides on our server. This defines a couple
of annotation properties. An empty ontology looks like:

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

<owl:Ontology rdf:about="">

<owl:imports
rdf:resource="http://protege.stanford.edu/plugins/owl/protege"/>

</owl:Ontology>

</rdf:RDF>

I can't see any reason why this results in the ontology being
classified as OWL Full. Manchester's OWL Validator [1] states that
it's in OWL Lite, and I would assume they are right.

So why does Jena claim it's OWL full, and why do both groups claim
they pass most of the OWL test cases ;) ?

Cheers,
Holger


[1] http://phoebus.cs.man.ac.uk:9999/OWL/Validator?url=http%3A%2F%
2Fprotege.stanford.edu%2Fplugins%2Fowl%
2Fneo.owl&level=DL&abstract=yes

--- imported ontology ---

<rdf:RDF
     xmlns="http://protege.stanford.edu/plugins/owl/protege#"
     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:AnnotationProperty rdf:ID="subClassOf"/>

   <owl:AnnotationProperty rdf:ID="directType"/>

   <owl:AnnotationProperty rdf:ID="abstract"/>

   <owl:Class rdf:ID="PAL-Constraint"/>
   <owl:DatatypeProperty rdf:ID="pal-statement">
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
     <rdfs:domain rdf:resource="#PAL-Constraint"/>
   </owl:DatatypeProperty>
   <owl:DatatypeProperty rdf:ID="pal-description">
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
     <rdfs:domain rdf:resource="#PAL-Constraint"/>
   </owl:DatatypeProperty>
   <owl:DatatypeProperty rdf:ID="pal-range">
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
     <rdfs:domain rdf:resource="#PAL-Constraint"/>
   </owl:DatatypeProperty>
   <owl:DatatypeProperty rdf:ID="pal-name">
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
     <rdfs:domain rdf:resource="#PAL-Constraint"/>
   </owl:DatatypeProperty>

   <owl:Class rdf:ID="DIRECTED-BINARY-RELATION"/>
   <owl:ObjectProperty rdf:ID="from">
     <rdfs:domain rdf:resource="#DIRECTED-BINARY-RELATION"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="to">
     <rdfs:domain rdf:resource="#DIRECTED-BINARY-RELATION"/>
   </owl:ObjectProperty>

   <owl:AnnotationProperty rdf:ID="constraints" />

</rdf:RDF>
Received on Wednesday, 1 October 2003 06:46:44 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT