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

Re: missing (and incorrect) RDFS axioms

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 8 Nov 2002 16:00:17 -0600
Message-Id: <p05111b2db9f1dc6dcbbd@[65.217.30.130]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: w3c-rdfcore-wg@w3.org, fmanola@attbi.com

Anyone on the WG, do y'all agree with Peter at @@@ below?? If someone 
says yes and nobody objects,  I will put these entailments into the 
MT. You have until the end of Monday.

-Pat

>Here are some more changes (marked by *).  They may not completely
>correspond to your most-recent changes.  Some of the axioms are changes to
>both the definition of rdfs-interpretations and rdfs closure.
>
>There is an issue here with respect to domains and ranges that are
>rdfs:Resource.  I think that it would be best to given domains and ranges
>for all properties.

Hmmm, not sure I agree. I'm perfectly happy for a property to have no 
domain or range. The strengthened OWL rules for d&r will insert the 
rdfs:Resource ranges automatically in any case, given the rdfs4 rules 
and a bit of OWL reasoning.

>I think that it is worst to give some properties a
>domain or range or rdfs:Resource and others no domain or range.

I agree about that, it needs tidying up and we should go one way or 
the other. My own preference would be to just not mention vacuous 
domains and ranges at all.

Other lines below have comments.

>
>peter
>
>
>rdf:type	rdf:type    rdf:Property .
>rdf:type	rdfs:domain rdfs:Resource .
>rdf:type	rdfs:range  rdfs:Class .
>
>rdf:Property	rdf:type    rdfs:Class .
>
>rdf:Statement	rdf:type    rdfs:Class .
>
>rdf:subject	rdf:type    rdf:Property .
>rdf:subject	rdfs:domain rdf:Statement .
>rdf:subject	rdfs:range  rdfs:Resource .		*
>
>rdf:predicate	rdf:type    rdf:Property .
>rdf:predicate	rdfs:domain rdf:Statement .
>rdf:predicate	rdfs:range  rdfs:Resource .		*
>
>rdf:object	rdf:type    rdf:Property .
>rdf:object	rdfs:domain rdf:Statement .
>rdf:object	rdfs:range  rdfs:Resource .		*
>
>rdf:Seq		rdf:type    rdfs:Class .
>rdf:Bag		rdf:type    rdfs:Class .
>rdf:Alt		rdf:type    rdfs:Class .
>
>rdf:_n		rdf:type    rdf:Property .		*

follows from  (x a CMP -> x subprop rdfs:member) and domain of subproperty.

>rdf:_n		rdfs:domain rdfs:Resource .		*
>rdf:_n		rdfs:range  rdfs:Resource .		*
>
>rdf:List	rdf:type    rdfs:Class .		*

Fixed

>
>rdf:first	rdf:type    rdf:Property .
>rdf:first	rdfs:domain rdf:List .
>rdf:first	rdfs:range  rdfs:Resource .		*
>
>rdf:rest	rdf:type    rdf:Property .
>rdf:rest	rdfs:domain rdf:List .
>rdf:rest	rdfs:range  rdf:List .
>
>rdf:nil		rdf:type    rdf:List .
>
>rdfs:Resource	rdf:type    rdfs:Class .
>rdfs:Class	rdf:type    rdfs:Class .
>rdfs:Literal	rdf:type    rdfs:Class .
>rdfs:XMLLiteral rdf:type    rdfs:Class .
>rdfs:Datatype	rdf:type    rdfs:Class .
>
>rdfs:domain	rdf:type    rdf:Property .
>rdfs:domain	rdfs:domain rdf:Property .
>rdfs:domain	rdfs:range  rdfs:Class .
>
>rdfs:range	rdf:type    rdf:Property .
>rdfs:range	rdfs:domain rdf:Property .
>rdfs:range	rdfs:range  rdfs:Class .
>
>rdfs:subPropertyOf rdf:type    rdf:Property .
>rdfs:subPropertyOf rdfs:domain rdf:Property .
>rdfs:subPropertyOf rdfs:range  rdf:Property .
>
>rdfs:subClassOf    rdf:type    rdf:Property .
>rdfs:subClassOf	   rdfs:domain rdfs:Class .
>rdfs:subClassOf	   rdfs:range  rdfs:Class .
>
>rdf:CMP		   rdfs:subClassOf rdfs:Property .
>rdf:_n		   rdfs:type	   rdf:CMP .
>rdf:_n		   rdfs:domain     rdfs:Resource .	*
>rdf:_n		   rdfs:range	   rdfs:Resource .	*
>
>rdfs:XMLLiteral	   rdf:type	   rdfs:Datatype .	*

Fixed

>rdfs:XMLLiteral	   rdfs:subClassOf rdfs:Literal .

consequence of above and new rule 11

>
>rdfs:comment	   rdf:type	   rdf:Property
>rdfs:comment	   rdfs:domain	   rdfs:Resource .	*
>rdfs:comment	   rdfs:range	   rdfs:Literal .	*
>
>rdfs:name	   rdf:type	   rdf:Property .	*
>rdfs:name	   rdfs:domain	   rdfs:Resource .	*
>rdfs:name	   rdfs:range	   rdfs:Literal .	* @@@
>
>rdfs:seeAlso	   rdf:type	   rdf:Property .	* @@@
>rdfs:seeAlso	   rdfs:domain	   rdfs:Resource .	*
>rdfs:seeAlso	   rdfs:range	   rdfs:Resource .	*
>
>rdfs:isDefinedBy   rdf:type	   rdf:Property .	* @@@
>rdfs:isDefinedBy   rdfs:domain	   rdfs:Resource .	*
>rdfs:isDefinedBy   rdfs:range	   rdfs:Resource .	*
>rdfs:isDefinedBy   rdfs:subPropertyOf rdfs:seeAlso .	* @@@

I don't like the above. I don't think seeAlso *is* a property; if it 
is, what's in its property extension??

I wasn't aware of that subproperty connection: is there a source for that?

>
>
>rdf1	xxx aaa yyy .			aaa rdf:type	    rdf:Property .
>
>rdfs4a	xxx aaa yyy .			xxx rdf:type        rdfs:Resource .
>rdfs4b	xxx aaa uuu .			uuu rdf:type	    rdfs:Resource .
>rdfs7*	xxx rdf:type rdfs:Resource.	xxx rdfs:subClassOf rdfs:Resource .

Invalid, given the restriction on subClassOf to classes. The old rule 
7 is correct.

>
>
>rdfs2	xxx aaa yyy .			xxx rdf:type zzz .
>	aaa rdfs:domain zzz .
>
>rdfs3	xxx aaa uuu .			uuu rdf:type zzz .
>	aaa rdfs:range zzz .
>
>
>rdfs5	aaa rdfs:subPropertyOf bbb.	aaa rdfs:subPropertyOf ccc .
>	bbb rdfs:subPropertyOf ccc.
>
>rdfs6	xxx aaa yyy .			xxx bbb yyy .
>	aaa rdfs:subPropertyOf bbb.
>
>rdfs8	aaa rdfs:subClassOf bbb.	aaa rdfs:subClassOf ccc .
>	bbb rdfs:subClassOf ccc.
>
>rdfs9	xxx rdfs:subClassOf yyy .	aaa rdf:type yyy .
>	aaa rdf:type xxx .
>
>
>rdfs10	xxx rdf:type rdfs:CMP .		xxx rdfs:subPropertyOf rdfs:member .
>
>
>x11*	xxx rdf:type rdfs:Datatype .	xxx rdfs:subClassOf rdfs:Literal .

Added.

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 Friday, 8 November 2002 17:00:01 EST

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