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!

Najeeb Elahi najeeb at
Thu Jan 3 01:23:39 PST 2008

Hi Everyone,
thanks Martin,

yes i know there is "Create Subproperty" tab for creating sub property,
and moreover if you have already defined properties, you can drag and drop
under other property to achieve the required functionality within one
ontology. However I want to make already defined imported property as a
sub property of exiting property in Main Ontology.

any suggestion for implementing Negation?

Najeeb Elahi

> 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.
> Martin
> [1]
> 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
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

Najeeb Elahi
Intern Student at DERI(Digital Enterprise Research Institute)
NUIG, Galway, Ireland.
MSc Software Engineering of Distributed Systems,
Royal Institute of Technology (KTH),
Email: najeeb at or najeeb.elahi at
Phone Number: +353-86 2444 094

More information about the protege-owl mailing list