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

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