W3C home > Mailing lists > Public > public-webont-comments@w3.org > August 2003

Re: Fwd: OWL Test Cases and Species Validation

From: Jim Hendler <hendler@cs.umd.edu>
Date: Tue, 26 Aug 2003 20:23:19 -0400
Message-Id: <p05200f0cbb71a9bd2b39@[68.27.191.174]>
To: Bijan Parsia <bparsia@isr.umd.edu>, public-webont-comments@w3.org
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 GMT

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