Re: on media types for OWL (5.13)

At 6:09 PM -0500 10/30/02, Peter F. Patel-Schneider wrote:
>From: Dan Connolly <connolly@w3.org>
>Subject: Re: on media types for OWL (5.13)
>Date: 30 Oct 2002 16:58:30 -0600
>
>>  On Wed, 2002-10-30 at 08:07, Peter F. Patel-Schneider wrote:
>
>[...]
>
>>  Hmm... the above example makes an interesting point in
>>  that there's no path to "follow your nose" from the
>>  premise to the owl spec; you could follow your nose
>>  from the conjectured conclusion back to the owl spec,
>>  if you were asked to prove the latter from the former.
>>
>>  So even in that case, I'm satisfied with just labelling the premise
>>  and the conclusion app/rdf.
>
>What about the following then?
>
>Is an agent that is validly reading the following OWL document
>
>   <rdf:RDF xmlns:rdf="...the usual...">
>    <rdf:Description rdf:about="http://foo.ex/bar#john">
>      <rdf:type>
>         <rdf:Description rdf:about="http://foo.ex/bar#Student">
>      </rdf:type>
>    </rdf:Description>
>   </rdf:RDF>
>
>allowed to respond that it does *not* entail
>
>   <rdf:RDF xmlns:rdf="...the usual..."
>    <rdf:list>
>     <rdf:first rdf:resource="http://foo.ex/bar#john" />
>     <rdf:rest rdf:resource="...the usual...#nil />
>    </rdf:list>
>   </rdf:RDF>
>
>
>[...]
>
>My belief is that there needs to be several media types to keep things like
>this straight.


Peter -
  Sorry, but this one went right over my head.  Why does the first one 
entail the second one?  I don't understand why it entails the list 
(john)? This makes it hard for me to figure out where the problem is 
that needs a special Mimetype.
  Also, if the first one was not an OWL document (i.e. was app/RDF) 
how would it change the point you're trying to make?
  Afraid I need this is words of one syllable - this conversation has 
gotten above my limited level of competence on mime types
  thanks
  JH
-- 
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-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Wednesday, 30 October 2002 20:22:14 UTC