- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Tue, 26 Aug 2003 20:23:19 -0400
- To: Bijan Parsia <bparsia@isr.umd.edu>, public-webont-comments@w3.org
- Message-Id: <p05200f0cbb71a9bd2b39@[68.27.191.174]>
Mike/Bijan - thanks for the mail - I've taken the liberty of sending it to the webont WG mailing list [1] and asking the WG to make sure we get an answer. I'll let you know here if we come to a conclusion and, of course, our archive is open to the public if you want to track it -JH [1] http://lists.w3.org/Archives/Public/www-webont-wg/2003Aug/0120.html At 2:53 PM -0400 8/26/03, Bijan Parsia wrote: >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 >> -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 *** 240-277-3388 (Cell) http://www.cs.umd.edu/users/hendler *** NOTE CHANGED CELL NUMBER ***
Received on Tuesday, 26 August 2003 20:23:26 UTC