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

Re: [BLD] Frame without slot/value pair?

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 08 Jan 2008 19:05:02 +0100
Message-ID: <4783BB4E.2030607@ilog.fr>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: "Boley, Harold" <harold.boley@nrc-cnrc.gc.ca>, RIF WG <public-rif-wg@w3.org>

Michael Kifer wrote:
> I did not understand *anything* of what you wrote. :-()

Let's try something else, then...

> The construct t[] has natural semantics, which in terms of RDF would be
> (t, blank, blank) \/ (blank, t, blank) \/ (blank, blank,t)
> In terms of the frame syntax, t[] can be checked by the query
> t[?S -> ?V] or ?O[t->?V] or ?O[?S->t].

The discussion started because the current syntax allows a frame to be a 
TERM followed by zero slot-value pair and I wondered if it was intended 
or a typo.

All three frames in your email have a slot-value pair following the TERM 
that denotes the object.

If you remove the slot-value pair, you have the choice between two 
formulae: t[] ot ?O[], and my question was about when and for what 
purpose they would be used.


Christian de Sainte Marie wrote:
> The presentation syntax says that a Frame is a TERM or CLASSIFICATION followed by zero or more slot-value pairs (* stands for 0..*, right?):
> Frame ::= (TERM | CLASSIFICATION) '[' (TERM ' -> ' (TERM | Frame))* ']'
> I suppose that this is a typo and that it should be:
> Frame ::= (TERM | CLASSIFICATION) '[' (TERM ' -> ' (TERM | Frame))+ ']'
> that is, a TERM or CLASSIFICATION followed by one or more slot-value pairs?
Received on Tuesday, 8 January 2008 18:05:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:49 UTC