- From: Graham Klyne <GK@ninebynine.org>
- Date: Sun, 18 Mar 2001 13:46:37 +0000
- To: pat hayes <phayes@ai.uwf.edu>
- Cc: www-rdf-logic@w3.org
At 04:57 PM 3/16/01 -0600, pat hayes wrote:
>The skolem function f(x,y) is the (hopefully unique) parent of y who is
>x's child.
I assume the "hopefully unique" was meant as a social rather than a logical
comment?
Behind this flippant observation is a more serious question about
Skolemization: is there any expectation that a Skolem function is
unique? If so, then statements like:
(forall (?a ?c)( <=> (grandparent ?a ?c)
(and (parent ?a (f ?a ?c))(parent (f ?a ?c) ?c)))
))
would seem to be a little problematical.
#g
------------
Graham Klyne
GK@NineByNine.org
Received on Sunday, 18 March 2001 20:35:03 UTC