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

In http://www.w3.org/Submission/owl11-overview/ , I see:

SubObjectPropertyOf(SubObjectPropertyChain(owns part) owns)

that example is complicated by using owns in 2 places; the
uncle example is more familiar to me; I presume it works
similarly:

SubObjectPropertyOf(SubObjectPropertyChain(parent brother) uncle)

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.

I suggest introducing a chain property, a la:

 (parent brother) owl11:chain [ rdfs:subPropertyOf uncle].

to relate a list of properties to their composition.


p.s. I tried pretty hard to confirm the way this mapping works;
I tried to use an OWL 1.1 tool from
 http://code.google.com/p/owl1-1/wiki/Implementations
to make the uncle example. I couldn't figure out how to do
it with SWOOP, and the protege page is 404.
Full tale of woe:
http://chatlogs.planetrdf.com/swig/2007-07-31#T17-13-24

Could somebody point me to a known-good OWL 1.1 ontology
in RDF/XML that includes a property chain?


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Tuesday, 31 July 2007 17:15:21 UTC