- From: pat hayes <phayes@ai.uwf.edu>
- Date: Sun, 10 Nov 2002 20:34:32 -0600
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: w3c-rdfcore-wg@w3.org
>Hi Pat, > >What a rainy sunday afternoon here and I have >to go and visit old family... just some >quick feedback >I've put your proposed triples/rules in >http://www.agfa.com/w3c/euler/rdfs-rules >just: >you wrote somewhere rdfs:rest >I've no rdf:_n stuff in my stuff >I wonder why in 4.2 you don't have > rdfs:Class rdf:type rdfs:Class. > rdfs:Container rdf:type rdfs:Class. > rdfs:List rdf:type rdfs:Class. > rdfs:Property rdf:type rdfs:Class. They can all be derived from range and domain assertions elsewhere plus the rules. I was trying to keep the list down to a minimum. >and also why you say (also in 4.2) that >(some) properties are a rdf:Property >(why those some? Because we can derive the others, but there is no inference path to these. >+ we also have rule1) Exactly. >anyhow, I ran all my tests with that Many thanks!! >and there was only one thing that wasn't >provable, namely > rdf:type rdfs:domain rdfs:Resource . Ah, that I can do without in any case. Great. >and that could be found while adding >rdfs2a (and rdfs3a then as well) >I'm not sure wether we want that > >We also have slightly more steps >(173874 in total for all tests) >but that is no concern > >I also haven't tested yet your datatyping >rules rdfD1 and rdfD2 as I'm still >having rulexxa and rulexxb >but I have a look at that tonight > >The rest of your document looks great! >(especially the LBase stuff) The RDFS axioms need revising, I should have that done tonight. Pat > >-- , >Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ > > > > > pat >hayes > <phayes@ai.uwf To: Jos De_Roo ><jos.deroo.jd@belgium.agfa.com> > .edu> cc: >w3c-rdfcore-wg@w3.org > Subject: rdfs >closures > >2002-11-10 > 06:15 >AM > > > > > > > > >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 -- --------------------------------------------------------------------- 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 21:34:06 UTC