RE: Questions About The List Argument of Properties Like "unionOf" from Marcelo Tallis on 2001-04-18 (www-rdf-comments@w3.org from April to June 2001)

From: Marcelo Tallis <mtallis@teknowledge.com>
Date: Wed, 18 Apr 2001 15:15:38 -0700
To: "Dan Connolly" <connolly@w3.org>, "Richard Fikes" <fikes@KSL.Stanford.EDU>, <www-rdf-comments@w3.org>
Cc: "www-rdf-logic" <www-rdf-logic@w3.org>
Message-ID: <AMEJJKLNDKJFJMKHDPOJKECGCCAA.mtallis@teknowledge.com>

> 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?

Marcelo Tallis
Teknowledge Corp.

Received on Wednesday, 18 April 2001 18:10:16 UTC