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

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