- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Wed, 27 Aug 2003 08:58:15 -0400
- To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Cc: webont <www-webont-wg@w3.org>
It is not clear to me we need to be as careful with responses as we were during LC -- Dan,what is status of comments received during CR? Meanwhile, I think what Jeremy has written is correct, I hope Guus and Mike will add the note about blank notes to reference -- I think this is important. - JH At 10:27 AM +0100 8/27/03, Jeremy Carroll wrote: >Jim note I am finishing early today, and will next be working on >Monday, you may wish to send this response yourself. > > >The draft responses promises a further response from Guus or Mike Dean. > >Draft response: >[[ > >1) >The test file >http://www.w3.org/2002/03owlt/imports/premises001 > >is in OWL Full because the URIref node >http://www.w3.org/2002/03owlt/imports/premises001 > >is the subject of a triple (the owl:imports triple), but has not >been given a type. > >2) >http://www.w3.org/2002/03owlt/miscellaneous/consistent102 > >The file is in OWL DL not OWL Lite. > >An analysis of sections 2 and 4 of S&AS shows that in OWL Lite there >are no blank nodes of type owl:Class. > >The OWL Reference editors will respond further as to whether changes >are needed to better align it with S&AS. > > >Thanks very much for this feedback, please send more. > >]] > >Jim Hendler wrote: > >> 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 >>>> -- 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 Wednesday, 27 August 2003 10:57:47 UTC