W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

rdfD1 rule and xsd-rules

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 24 Nov 2002 16:17:25 +0100
To: phayes@ai.uwf.edu
Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OF9CCF25E3.57756348-ONC1256C7B.0053BBF0-C1256C7B.0054128A@agfa.be>

Hi Pat,

in http://users.skynet.be/jdroo/euler/rdfs-rules
we simplified rdfD1 as follows

  { ?d a rdfs:Datatype } log:implies { ?x^^?d a ?d } .

and we also made http://users.skynet.be/jdroo/euler/xsd-rules
and so we have that

  :jenny :age "10"^^xsd:integer .

rdfs-xsd-entails

  :jenny :age _:x .
  _:x rdf:type xsd:decimal .

per rdfs9 and rdfD1

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 24 November 2002 10:18:01 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:09 EDT