Re: rdfs closures

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.
and also why you say (also in 4.2) that
(some) properties are a rdf:Property
(why those some? + we also have rule1)

anyhow, I ran all my tests with that
and there was only one thing that wasn't
provable, namely
  rdf:type rdfs:domain rdfs:Resource .

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)

-- ,
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

Received on Sunday, 10 November 2002 11:01:18 UTC