Search Mailing List Archives
[protege-owl] SWRL related Quesitons!
martin.oconnor at stanford.edu
Wed Jan 2 12:58:32 PST 2008
SWRL does not support negation as failure .
You can use the "Super Properties" tab in the properties tab to make one
property a super property of another.
>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.
>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
More information about the protege-owl