W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2008

Re: regrets telecon on Tuesday

From: Axel Polleres <axel.polleres@deri.org>
Date: Mon, 21 Jan 2008 16:02:15 +0000
Message-ID: <4794C207.4010709@deri.org>
To: Christian de Sainte Marie <csma@ilog.fr>
CC: Jos de Bruijn <debruijn@inf.unibz.it>, RIF <public-rif-wg@w3.org>

Christian de Sainte Marie wrote:
> 
> Jos,
> 
> Jos de Bruijn wrote:
>>
>> [...]  Additionally, people might get confused between frames and
>> named argument uni terms [I have already seen this in our working group].
>> (For those who are still confused: named argument uniterms are merely 
>> a complicated way of writing terms; they have nothing to do whatsoever 
>> with frames)
> 
> That's interesting... Can you be more specific, please?
> 
> I was under the impression, indeed, that some, and maybe most, people in 
> the WG understood, from the discussion and examples, that named argument 
> uniterms were related to frames (e.g. Harold justified them by the need 
> for anonymous frames).
> 
> Can you explain in some more details why they are not? With an example, 
> maybe?

in a named uniterm, each (named) argument needs to be present, exactly 
once, or, respectively the named uniterms

person( firstname -> "Christian", lastname -> "de Sainte Marie")

and

person( firstname -> "Christian")

have nothing to do with each other... the only thing which you gain is 
that order of arguments is irrelevant, i.e. the first one could also be 
written:

person( lastname -> "de Sainte Marie", firstname -> "Christian")


whereas, on the contrary in frames, any slot can appear 0 or several 
times, i.e.

person1[firstname -> "Christian", lastname -> "de Sainte Marie"]

and

person1[firstname -> "Christian"] AND person1[lastname -> "de Sainte Marie"]

say the exactly same thing, i.e. mutually entail each other.

and even writing


person1[firstname -> "Christian", lastname -> "de Sainte Marie", 
affiliation -> "ILOG"]

or even

person1[firstname -> "Christian", lastname -> "de Sainte Marie", 
affiliation -> "ILOG", affiliation -> "W3C"]

would both imply the formeer two.

That's I guess what Jos wanted to say...

Axel











-- 
Dr. Axel Polleres
email: axel@polleres.net  url: http://www.polleres.net/

rdf:Resource owl:differentFrom xsd:anyURI .
Received on Monday, 21 January 2008 16:02:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:44 GMT