- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Tue, 22 May 2001 10:51:43 -0400 (EDT)
- To: www-rdf-logic@w3.org
[jos deroo]
"python cwm.py sensor.n3 -rdf" produces
<!-- Processed by Id: cwm.py,v 1.43 2001/05/15 21:50:35 timbl Exp -->
<!-- using base file:/n3/sensor.n3--># Begining output.
<rdf:RDF xmlns:sensor="foo:sensor#"
xmlns:control="foo:control#"
xmlns="http://www.w3.org/2000/10/swap/log#"
xmlns:math="foo:math#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<rdf:Description>
<rdf:is rdf:parseType="Quote">
<rdf:Description rdf:about="foo:sensor#thermostat">
<math:greaterThan>30</math:greaterThan>
</rdf:Description>
</rdf:is>
<implies rdf:parseType="Quote">
<rdf:Description rdf:about="foo:control#furnace">
<control:setTo>1</control:setTo>
</rdf:Description>
</implies>
</rdf:Description>
</rdf:RDF>
Stop the presses! There's an rdf:parseType Quote?? How does it work?
Is a triple inside a Quote implicitly reified, or asserted like other
triples; or does the Quote block the usual assertion convention?
What if I wanted to say
(forall (x)
{sensor:thermostat math:equal ?x}
log:implies
{control:furnace control:setTo ?x})
possibly without the explicit quantifier. Would Quote still be
sufficient?
-- Drew McDermott
Received on Tuesday, 22 May 2001 10:51:46 UTC