- From: pat hayes <phayes@ihmc.us>
- Date: Wed, 12 Nov 2003 09:30:22 -0600
- 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 UTC