Fwd: OWL Test Cases and Species Validation

I'm forwarding this for Michael Grove, who is having trouble getting 
acknowledged by the W3C thingy.

Cheers,
Bijan Parsia.

Begin forwarded message:

-----Original Message-----
> From: Michael Grove [mailto:michael@lightninground.com]
> Sent: Thursday, August 21, 2003 5:14 PM
> To: 'public-webont-comments@w3.org'
> Cc: 'jjc@hplb.hpl.hp.com'
> Subject: OWL Test Cases and Species Validation
>
>
> All,
>
> I’m one of the developers for the MINDSWAP Pellet 
> project(http://www.mindswap.org/2003/pellet/index.shtml) working on 
> the species validation portion of the program.  I’m currently going 
> through the OWL test cases one by one and making sure that Pellet can 
> correctly find the species of an OWL document.  I’ve found two test 
> cases I believe contain errors in the species declaration of one of 
> their constituent documents.
>
> 1)
>
> Test case:                              
> http://www.w3.org/2002/03owlt/imports/Manifest001
> Premise document:               
> http://www.w3.org/2002/03owlt/imports/premises001
>
>
> In the manifest, the premise document is declared an OWL Full 
> document.  When I first looked at the premise document, that seemed to 
> be the correct species because ont:Man is used, but not defined, 
> making it an OWL Full document.  But when you take into consideration 
> the owl:imports statement in the file, you would merge the graph for 
> that document with the imported document and the resulting graph would 
> have the definition for ont:Man present making the premises001 file an 
> OWL Lite document and not an OWL Full document.  Thus, I believe the 
> species on the test case is incorrect and needs to be changed.
>
> 2)
>
> Test case:                              
> http://www.w3.org/2002/03owlt/miscellaneous/Manifest102
> Input document:                   
> http://www.w3.org/2002/03owlt/miscellaneous/consistent102
>
> The manifest declares the input as an OWL DL document.  In section 8.3 
> of the OWL Web Ontology Language Reference (regarding use of 
> owl:intersectionOf in OWL Lite documents) it says:
>
> “owl:intersectionOf be used only on lists of length greater than one 
> that contain only named classes and restrictions”
>
> This would appear to be the case for the input document, the object of 
> the owl:intersectionOf triple is a list of length greater than one 
> containing only restrictions.  I think the input document is an OWL 
> Lite document and the test case should be changed accordingly.
>
> Thank you for your time.
>
> Regards,
>
> Michael Grove
>
> -------------
> Vice President / COO
> Lightning Round Entertainment, LLC
> michael@LightningRound.com
> http://www.lightninground.com
>
> _________________________________________________________________
> MSN 8: Get 6 months for $9.95/month 
> http://join.msn.com/?page=dept/dialup
>

Received on Tuesday, 26 August 2003 14:51:07 UTC