Re: [sem-dev] Use of 'that' to express reification in N3 type languages.

• From: Sean B. Palmer <sean@mysterylights.com>
• Date: Sun, 22 Jul 2001 23:46:11 +0100
• To: <sem-dev@yahoogroups.com>, <www-rdf-interest@w3.org>
• Message-ID: <00f501c11300$1c8cc5c0$a3d893c3@z5n9x1>

> Seth thinks that (Gore wonThe Election) .
> Seth thinks that ( that (Gore wonThe Election) is True).
> that (Gore wonThe Election) is False.
[...]
> Your contra examples, of course, are anxiously solicited; or 
> alternatively expressing the example [1] in N3 might prove 
> an interesting exercise.

:Seth :thinksThat { :Gore :won :TheElection } .
:Seth :thinksThat { { :Gore :won :TheElection } a log:Truth } .
{ :Gore :won :TheElection } a log:Falsehood .

Easy :-)

-- 
Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .

Received on Sunday, 22 July 2001 18:43:32 UTC