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

Fwd: OWL Test Cases and Species Validation

From: Jim Hendler <hendler@cs.umd.edu>
Date: Tue, 26 Aug 2003 20:20:03 -0400
Message-Id: <p05200f0bbb71a8d8f5ac@[68.27.191.174]>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT