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 UTC