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] Problem with SWRL rules when using Protege + Jess

Martin O'Connor martin.oconnor at stanford.edu
Tue Oct 18 17:14:38 PDT 2011


This  looks broken, which is strange, since this type of simple rule has been working for years.

I will take a look.

Martin

On 10/18/2011 4:38 PM, Yoandy Rodriguez wrote:
> Hello Anuk,
> Rule 2 works fine with Protegé 4.1 + Hermit so maybe it has something to
> do with the underlying implementation of SWRL in Jess (I've never used
> Jess so I'm just guessing)
>
> Cheers.
> On Tue, 2011-10-18 at 15:55 +0100, anu kerath wrote:
>> Hello,
>>
>>
>>
>> I am investigating the possibility of applying SWRL rules for my
>> research work and currently I am trying to familiarise and experiment
>> using Protege + Jess for SWRL rules.
>>
>>
>>
>> I have the following 2 rules in my ontology.
>>
>>
>>
>> 1)   Person(?x) ∧ hasCarObject(?x, ?y) →  Driver(?x)
>>
>> to say that if an individual is a Person and hasCarObject property,
>> that individual is a Driver.
>>
>>
>>
>> 2)      Person(?p) ^ hasCar(?p, true) ->  Driver(?p)
>>
>> ( the example as given in
>> http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nid8IF), to
>> say that if an individual is a Person and hasCar property true, that
>> individual is a Driver.
>>
>>
>>
>>
>>
>> And also, the ontology has individuals “person1” and “person2”
>> asserted in the ontology as a Person.
>>
>> “person1” holds the “hasCarObject” property to car1 individual, and
>> person2 has the hasCar (Boolean datatype) property set to “true”.
>>
>>
>> I have attached the ontology with this email.
>>
>> However, when I load the ontology through protégé and use SWRL-JESS
>> tab, and run JESS, only 1 axiom is inferred.
>>
>> “person1” is inferred as a driver, but “person2” is not inferred as a
>> driver. According to SWRL rules, “person2” should also be inferred as
>> a driver (according to Rule-2).
>>
>>
>>
>> I can’t understand what I am missing here. Why am I not getting the
>> expected behaviour with Rule-2?
>>
>>
>>
>> Any advice on this will be greatly appreciated.
>>
>> Many thanks in advance
>> Anuk
>>
>> _______________________________________________
>> protege-owl mailing list
>> protege-owl at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>>
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>
> Fin a la injusticia, LIBERTAD AHORA A NUESTROS CINCO COMPATRIOTAS QUE SE ENCUENTRAN INJUSTAMENTE EN PRISIONES DE LOS EEUU!
> http://www.antiterroristas.cu
> http://justiciaparaloscinco.wordpress.com
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03



More information about the protege-owl mailing list