- From: pat hayes <phayes@ai.uwf.edu>
- Date: Sat, 9 Nov 2002 23:15:32 -0600
- To: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Cc: w3c-rdfcore-wg@w3.org
Hi Jos. No hurry, but I would be interested to see what Euler makes of the new version of the RDFS closure definition. I have purged all the redundant 'seed' cases that I could see, so some of the old seeds now will have three- or four-step derivations, but I think they will all get derived eventually. You need to copy the axiomatic triples from section 3 as well, in order to get started. http://www.coginst.uwf.edu/~phayes/RDF_Semantics_latest.html All the missing domains and ranges ought to be rdfs:Resource, if you want to put those in, but they shouldn't add any new conclusions that you couldn't get anyway. Pat -- --------------------------------------------------------------------- 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 Sunday, 10 November 2002 00:15:12 UTC