Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] re asener that support constraints

bassiee back_to_basic_69 at
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
>> Class2
>> I want to say in the constraint: an individual of Class1 can have a
>> connection to Class2 via 'hasClass2a' and 'hasClass2b', but the
>> individuals
>> 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
>> hasClass2b(?y,?a)
>> and sameAs(?z,?a) -->

View this message in context:
Sent from the Protege - OWL mailing list archive at

More information about the protege-owl mailing list