W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2003

Re: RDF Semantics: partial review

From: pat hayes <phayes@ihmc.us>
Date: Wed, 12 Nov 2003 09:30:22 -0600
Message-Id: <p06001f01bbd8025f9471@[10.1.31.1]>
To: herman.ter.horst@philips.com
Cc: www-rdf-comments@w3.org

>.>>
>  >>You cannot speak of A(E) unless it is defined.
>>
>>Oh, come. A is a mapping: A(E) is the result of applying that mapping
>>to E.  Do I really need to *define* what is meant by applying a
>>mapping to an argument? You will want me to be defining the meaning
>>of the word "and" next.
>>
>
>No: you do not need to define what is meant by applying a mapping
>to an argument.  And I will not want you to be defining the meaning of
>the word "and" next.
>The point is that A(E) can be undefined, since the text
>specifies A to be only a mapping from "*some* set of blank nodes to
>the universe IR of I".
>On further reflection, I can give a suggestion for a much shorter
>correction than the one I gave above:
>    If E is a blank node and A(E) is defined then I+A(E)=A(E)

Ah, I see your point. OK, change made.

Pat
-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Wednesday, 12 November 2003 10:30:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:33 GMT