Re: subproperty question from Arjohn Kampman on 2001-01-25 (www-rdf-interest@w3.org from January 2001)

From: Arjohn Kampman <akam@aidministrator.nl>
Date: Thu, 25 Jan 2001 13:04:06 +0100 (MET)
To: www-rdf-interest@w3.org, stefan@db.stanford.edu
Cc: sintek@smi.stanford.edu
Message-Id: <200101251204.NAA01165@spa.aidministrator.nl>

> Dear interest group,
> 
> according to the RDF Schema specification http://www.w3.org/TR/rdf-schema/
> the rdfs:subClassOf property is transitive (see 
> http://www.w3.org/TR/rdf-schema/#s2.3.2 ).
> 
> Now: is a subproperty of rdfs:subClassOf also supposed to be transitive?
> The specification (http://www.w3.org/TR/rdf-schema/#s2.3.3) doesn't mention 
> this
> case.

Not if this situation is comparable to the following:

Property 'hasAncestor' is a transitive property. Property 'hasParent' is
a subproperty of 'hasAncestor' and, clearly, is not transitive.


Arjohn

Received on Thursday, 25 January 2001 07:21:15 UTC