W3C home > Mailing lists > Public > semantic-web@w3.org > December 2005

property restriction

From: Reto Bachmann-Gmür <reto@gmuer.ch>
Date: Wed, 14 Dec 2005 12:38:42 +0100
Message-ID: <43A00442.5010206@gmuer.ch>
To: semantic-web@w3.org

Hello,

I'd like to restrict a property on a class so that,

this should be legal:

[
       a ex:Participation;
       ex:inGroup _:org1;
       foaf:mbox <mailto:bill@example.com>
       ex:role [
          a ex:Role;
          foaf:mbox <ceo@example.com>;
          ex:offGroup _:org1;
       ]
]
 
while this should not be legal:

[
       a ex:Participation;
       ex:inGroup _:org1;
       foaf:mbox <mailto:bill@example.com>
       ex:role [
          a ex:Role;
          foaf:mbox <ceo@example2.com>;
          ex:offGroup _:org2;   <----- Should be a contradiction
       ]
]


Both the ex:inGroup and the ex:offGroup property have a cardinality 
restriction of 1 on their respective domain, but furthermore the range 
of ex:role should be restricted to ex:Roles with an ex:offGroup property 
with the same value as the ex:inGroup property of the ex:Participation, 
or respectively the ex:inGroup property should be interferable from 
ex:offGroup property of the property-value of any ex:role property.

any help is appreciated...

reto
Received on Wednesday, 14 December 2005 11:39:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 22 February 2013 14:24:52 GMT