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

checking data property on every individual in a transitive object property

From: Jonathan Conrad <jcsneaker@googlemail.com>
Date: Mon, 4 Jul 2011 21:23:06 +0200
Message-ID: <CANx8emhDs9DH0h2cXgtS_EoBff3CO3rSqc3x9HjCPPJJh38BdA@mail.gmail.com>
To: public-owl-dev@w3.org
hello everyone,

I want to model things being connected, ie reachable from each other.
For this i have a transitive "reachable" property which works fine alone.

For the reachability to be valid in certain cases i must also check if every
individual in the transitive chain has a certain dataproperty like
"canHoldMaximumWeight > 5".
Example:
A -reaches-> B -reaches-> C
A hasMaximumWeight 3
B hasMaximumWeight 2
C hasMaximumWeight 4

So i want to ask all individuals that are reachable from A, but only using
individuals that can hold a weight of 3 or greater.
If i try to write this in DL: hasMaximumWeight some integer [>=3] and
reaches some Thing.
I get the answer of C, but the only way to reach C is through B, which i
want to exclude from the "transitivity" because of the weight issue

Is this possible in OWL (using Protege?)? Am I going all wrong about the
modelling of this?
I have found property chains, but as far as i see i can only combine object
properties this way and not mix them with data properties!?

Thanks,
Jonathan
Received on Tuesday, 5 July 2011 11:57:46 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:59 GMT