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

Re: rdfs closures

From: pat hayes <phayes@ai.uwf.edu>
Date: Sun, 10 Nov 2002 20:34:32 -0600
Message-Id: <p05111b11b9f4c6d87916@[]>
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
>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)


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


>-- ,
>Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
>                     pat 
>                     <phayes@ai.uwf       To:     Jos De_Roo 
>                     .edu>                cc: 
>                                          Subject:     rdfs 
>                     06:15 
>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
>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

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