W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

Re: suggest owl11:chain to relate a list of properties to their chain/composition

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 31 Jul 2007 23:22:18 +0100
Message-ID: <46AFB61A.70902@hpl.hp.com>
To: Dan Connolly <connolly@w3.org>
CC: Owl Dev <public-owl-dev@w3.org>



Dan Connolly wrote:
> According to http://www.w3.org/Submission/owl11-rdf_mapping/
> 
> that seems to map to
> 
>  (parent brother) rdfs:subPropertyOf uncle.
> 
> Meanwhile, the domain of rdfs:subPropertyOf is Property.
> So (parent brother) is a Property? I can't see any critical
> problems just now, but it seems a little odd.

How so?
Making the bnode explicit:

_:p rdfs:subPropertyOf uncle.
_:p = (parent brother).

There exist a thing (_:p) that is a subPropertyOf uncle (and hence it is 
a property), which equals parent composed with brother.

Doesn't that read OK?

Jeremy

-- 
Hewlett-Packard Limited
registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Tuesday, 31 July 2007 22:22:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 10 December 2014 20:07:17 UTC