Re: RDF Semantics: partial review

>.>>
>  >>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 UTC