- From: Bijan Parsia <bparsia@isr.umd.edu>
- Date: Tue, 26 Aug 2003 14:53:26 -0400
- To: public-webont-comments@w3.org
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