Re: Questions About The List Argument of Properties Like "unionOf"

> > Dan Connolly wrote:
> > 
> > If you tried to say (rest L2 L3) and (first L3 #Elefant)
> > this would be an inconsistency: since rest is functional,
> > L3 = nil, and nothing is the first of nil.
> > 
> 
> I don't understand that.
> 
> Does it mean that you cannot change the value of a functional property?

Here is what I think is the answer to your question.  No, you cannot
change the value of a functional property.  Such a change is essentially
first removing statements from a knowledge base and then adding
statements.  The removal is necessary to rid the knowledge base of the
old value.  Such removal would need to include removing statements that
could be used to infer the old value as well as removing explicit
assertions of the old value.

Richard

Received on Wednesday, 18 April 2001 19:16:56 UTC