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] SWRL related Quesitons!

Martin O'Connor martin.oconnor at
Wed Jan 2 12:58:32 PST 2008

SWRL does not support negation as failure  [1].

You can use the "Super Properties" tab in the properties tab to make one 
property a super property of another.



Jibbi wrote:

>Hi Everyone,
>I've problem with implementing negation in SWRL, the logic is very simple,
>however i don't find any solution in SWRL.
>like i want say, If "Elin" is not a friend of specific Member, get the
>contact of Member and forward the request on his contact. to achieve that, I
>have to define negation of hasFriend property.
>Members(?x)  ∧ NOT hasFriend(?x, Elin)  ∧  hasContact(?x, ?t) →
>any solution will be highly appreciated.
>second Question:
>If i import a ontology in my main ontology, how come possible, i can define
>the imported Property is the sub property of existing property in main
>for example. I imported a IMP_Ontology into Main_Ontology and i want to say,
>the Property_IMP_Ontology is the sub property of Property_Main_Ontology.   
>I'm using Progete 3.3.1
>Thanks in advance
>Najeeb Elahi

More information about the protege-owl mailing list