>.>> > >>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/phayesReceived on Wednesday, 12 November 2003 10:30:24 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Tuesday, 25 October 2005 18:07:30 GMT