W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2001

Re: N3 vs. XML

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Tue, 22 May 2001 10:51:43 -0400 (EDT)
Message-Id: <200105221451.KAA29853@pantheon-po01.its.yale.edu>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:38 UTC