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#"

	   <rdf:is rdf:parseType="Quote">
	       <rdf:Description rdf:about="foo:sensor#thermostat">
	   <implies rdf:parseType="Quote">
	       <rdf:Description rdf:about="foo:control#furnace">

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} 
     {control:furnace control:setTo ?x})

possibly without the explicit quantifier.  Would Quote still be

                                             -- 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