Re: N3 vs. XML

   [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