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

rdfs closures

From: pat hayes <phayes@ai.uwf.edu>
Date: Sat, 9 Nov 2002 23:15:32 -0600
Message-Id: <p05111b0db9f39a7e9341@[]>
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.


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.


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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:18 UTC