Search Mailing List Archives
[protege-owl] re asener that support constraints
back_to_basic_69 at hotmail.com
Mon May 12 19:32:34 PDT 2008
Ok thanks for your answer,
Is the example I gave correct?
Samson Tu wrote:
> bassiee wrote:
>> The example is very similar to what I want:
>> 2 Classes: Class1 and Class2
>> 2 properties: hasClass2a and hasClass2b both have domain Class1 and range
>> I want to say in the constraint: an individual of Class1 can have a
>> connection to Class2 via 'hasClass2a' and 'hasClass2b', but the
>> it connects to have to be different.
>> So it looks to me a SWRL constraint with an empty head:
>> Class1(?x) and Class1(?y) and sameAs(?x,?y) and hasClass2a(?x,?z) and
>> and sameAs(?z,?a) -->
View this message in context: http://www.nabble.com/reasener-that-support-constraints-tp17159182p17199916.html
Sent from the Protege - OWL mailing list archive at Nabble.com.
More information about the protege-owl