rdfD1 rule and xsd-rules

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/