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

Re: rdfD1 rule and xsd-rules

From: pat hayes <phayes@ai.uwf.edu>
Date: Sat, 30 Nov 2002 21:57:38 -0600
Message-Id: <p05111b03ba0cdad6f110@[10.0.100.247]>
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 EST

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