Re: Statements/Stating: a proposition

"Jonathan Borden" <jborden@mediaone.net> writes:

> Jonas Liljegren wrote:
> 
> >  S1: [Bush, won, the election]
> >  S2: [S1, isTrue, yes]
> >  S3: [S2, model, http://foo]
> >  S4: [S2, model, http://bar]
> 
> Perhaps we can agree on the following simple modification:
> 
>     S4: [http://foo, _1, S2]
>     S5: [http://bar, _1, S2]
> 
> to denote membership (containment) of a statement in a model/context.

Yes.  I will (probably) in Wraf infere [S2, model, http://foo] from
[http://foo, _1, S2].  The use of the model property is my invented
shematic sugar for the unofficial statement bag representation.

... But I don't know if we came to any consensus about that either.
For now we just have those Description bags the M&S talks about.  But
that's not enough and not even very useful except for recreation of
the XML serialization.

-- 
/ Jonas Liljegren

The Wraf project http://www.uxn.nu/wraf/
Sponsored by http://www.rit.se/

Received on Thursday, 21 December 2000 15:30:32 UTC