Re: [TEST] Vocabulary usage in Tests

Excellent detail work...

On Wed, 2003-02-12 at 11:08, Sean Bechhofer wrote:
> While trying to write a species validator, I've come across the following,
> which I think may be errors in the test suite.
> 
> http://www.w3.org/2002/03owlt/miscellaneous/example001.rdf
> 
> uses owl:InverseOf rather than owl:inverseOf.
> 
> http://www.w3.org/2002/03owlt/miscellaneous/example002.rdf
> 
> has an OWL namespace declaration of:
> 
> http://www.w3.org/2002/7/owl
> 
> i.e. "7" rather than "07".

OK, I fixed both of those.

$Id: example001.rdf,v 1.3 2003/02/12 20:00:39 connolly Exp $
$Id: example002.rdf,v 1.3 2003/02/12 20:01:49 connolly Exp $

Jos, those come from the guide, no?

Is there any mechanism for checking that they stay
in sync?

>  In addition, within that file, there are
> occurrences of non-OWL vocabulary usage, such as hasClass on a
> Restriction.

I haven't fixed these... no time just now.

>  Of course there's nothing wrong with that as it's not in the
> OWL namespace :-)).

Oh, but there is; those are not OWL Full documents:

"An OWL Full document is an RDF/XML document [RDF/XML Syntax], for which
the corresponding RDF graph [RDF Concepts] does not use any URI
references starting with the prefix http://www.w3.org/2002/07/owl#
except those found in the [RDF Schema for OWL]."
 -- http://www.w3.org/2002/03owlt/editors-draft/snapshot#docConformance


> http://www.w3.org/2002/03owlt/maxCardinality/example001.rdf
> http://www.w3.org/2002/03owlt/miscellaneous/example001.rdf
> http://www.w3.org/2002/03owlt/maxCardinality/example002.rdf
> 
> all use owl:differentIndividalFrom rather than owl:differentFrom.
> 
> Cheers,
> 
> 	Sean
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Wednesday, 12 February 2003 16:52:05 UTC