- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Tue, 26 Aug 2003 20:20:03 -0400
- To: webont <www-webont-wg@w3.org>
I'm taking the liberty of forwarding this from the public-webont-comments list because it impacts CR exit criteria. In particular, his first issue is an owl:imports case - and if he's wrong, we should make sure it is clear why in one of our documents (if one person gets it wrong, others might, and owl:imports was called out by the Director as something we need to pay attention to). Second one is Lite/DL issue. Sean - can you check output of your species checker on these and let us know? thanks JH Resent-Date: Tue, 26 Aug 2003 14:52:29 -0400 (EDT) >X-Original-To: public-webont-comments@frink.w3.org >Delivered-To: public-webont-comments@frink.w3.org >Delivered-To: public-webont-comments@w3.org >Date: Tue, 26 Aug 2003 14:53:26 -0400 >From: Bijan Parsia <bparsia@isr.umd.edu> >To: public-webont-comments@w3.org >Subject: Fwd: OWL Test Cases and Species Validation >X-Archived-At: >http://www.w3.org/mid/937CE435-D7F6-11D7-A6DA-0003939E0B44@isr.umd.edu >Resent-From: public-webont-comments@w3.org >X-Mailing-List: <public-webont-comments@w3.org> archive/latest/502 >X-Loop: public-webont-comments@w3.org >Sender: public-webont-comments-request@w3.org >Resent-Sender: public-webont-comments-request@w3.org >List-Id: <public-webont-comments.w3.org> >List-Help: <http://www.w3.org/Mail/> >List-Unsubscribe: ><mailto:public-webont-comments-request@w3.org?subject=unsubscribe> >X-Spam-Status: No, hits=-16.0 required=5.0 > tests=BAYES_01,QUOTED_EMAIL_TEXT,USER_AGENT_APPLEMAIL,X_LOOP, > X_MAILING_LIST > autolearn=ham version=2.53 >X-Spam-Level: >X-Spam-Checker-Version: SpamAssassin 2.53 (1.174.2.15-2003-03-30-exp) > > >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:20:08 UTC