Re: Show me the money - (was Subjects as Literals)

Sandro Hawke wrote:
> On Thu, 2010-07-01 at 17:10 +0100, Nathan wrote:
>> In all honesty, if this doesn't happen, I personally will have no choice 
>> but to move to N3 for the bulk of things, and hope for other 
>> serializations of N3 to come along.
> 
> RIF (which became a W3C Recommendation last week) is N3, mutated (in
> some good ways and some bad ways, I suppose) by the community consensus
> process.   RIF is simultaneously the heir to N3 and a standard business
> rules format.
> 
> RIF's central syntax is XML-based, but there's room for a presentation
> syntax that looks like N3.   RIF includes triples which can have
> literals as subject, of course.  (In RIF, these triples are called
> "frames".   Well, sets of triples with a shared subject are called
> frames, technically.    But they are defined by the spec to be an
> extension of RDF triples.)

does it cover formulae in s and o position?

i.e. can the following be expressed (without reification):

{ :thermostat :temp :high } log:implies { :heating :power "0" } .