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@[10.0.100.86]>
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 EST

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