[closed] Re: Problem with PET of sections 7.1.5 and 7.1.6 of OWL test cases

Thanks for your comment.

At 4:04 PM -0400 6/19/03, - Fabien Gandon - wrote:
>Dan Connolly wrote:
>>>  I have a problem with PET
>>  Umm... I don't think I'm familiar with PET. What is it?
>
>Sorry this is an acronym for "Positive Entailment Test".
>
>>>  besides the fact that the namespace 'second' is not used, you have
>>>  "premises001#" in the IDs and "premises001" in the base therefore  my
>>>  implementation fails on this test because "first:path" is expanded as
>>>  "http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path"
>>>  while "rdf:about='premises001#path'" is expanded as
>>> 
>>>"http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#premises001#path". 
>>>
>>>  Any comments ?
>>  They should both expand to
>>  "http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path"
>>
>>  The use of rdf:about in OWL comes from lower level specifications: RDF,
>>  XML, URI.
>>  In particular:
>
><SNIP />
>
>>  Please let us know if this clarifies the situation to your satisfaction.
>
>Ok, I understand that 
>"http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#premises001#path"
>is not a valid URI, and if I read the "RDF/XML Syntax Specification" 
>correctly, the fact that "a fragment identifier is transformed into 
>a RDF URI Reference by appending the fragment identifier to the 
>in-scope base URI" means I have to extract the fragment identifier 
>"#path" from the identifier before concatenating it with the base 
>URI.
>
>Thanks.
>
>Fab.
>
>--
>  ____________
>|__ _ |_  http://www-2.cs.cmu.edu/People/fgandon/
>|  (_||_) Carnegie Mellon Univ. - ph# (1) 412-268-1357

-- 
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 Thursday, 19 June 2003 17:00:28 UTC