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 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
>> 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: 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 mailing list