W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2003

Re: Fwd: OWL Test Cases and Species Validation

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 27 Aug 2003 08:58:15 -0400
Message-Id: <p05200f26bb725a2e0528@[]>
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:
>The test file
>is in OWL Full because the URIref node
>is the subject of a triple (the owl:imports triple), but has not 
>been given a type.
>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: 
>>>  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: 
>>>  X-Spam-Status: No, hits=-16.0 required=5.0
>>>            X_MAILING_LIST
>>>      autolearn=ham version=2.53
>>>  X-Spam-Level:
>>>  X-Spam-Checker-Version: SpamAssassin 2.53 (
>>>  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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:55 UTC