- From: pat hayes <phayes@ai.uwf.edu>
- Date: Sat, 30 Nov 2002 21:57:38 -0600
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: w3c-rdfcore-wg@w3.org
>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 } . But that has a literal subject, which is forbidden. I agree that if we could have literal subjects, this would be an obviously valid rule (better, it IS valid, but its syntactically illegal.) > >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/ -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Saturday, 30 November 2002 23:54:09 UTC