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 SWRLTab and Jess

Martin O'Connor martin.oconnor at stanford.edu
Mon Jan 21 10:25:59 PST 2008


Have you explicitly asserted that individuals M01 and M02 are distinct 
using owl:AllDifferent or owl:differentFrom [1]?

Martin

[1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nid9KT

Lorne Bouchard wrote:

> Hi there!
>
> I was playing with the family.srrl.owl demo and after reading the 
> SWRLEditor FAQ I am baffled...
>
> Consider the following SWRL rules:
>  
> hasChild(?x, ?y) ^  hasChild(?x, ?z)   → hasSibling(?y, ?z)
> hasChild(?x, ?y) ^  hasChild(?x, ?z)  ^  differentFrom(M01, M02)  → 
> hasSibling(?y, ?z)
> hasChild(?x, ?y) ^  hasChild(?x, ?z)  ^  differentFrom(?y, ?z)  → 
> hasSibling(?y, ?z)
>
> Why does the first rule fire in Jess, whilst the other two do not?
>
> Execution of the first rule show that variables ?x, ?y and ?z are 
> instantiated correctly with OWL individuals.
>
> Or am I missing something?
>
> Thanks for your help.
>
> Cheers!
>
> - Lorne
>
> -- 
> Lorne H. Bouchard
> Professeur associé
> Département informatique
> UQÀM
>
> tél.: 1-514-488-5226
>
> "May the source always be with you,  even if some assembly is required !"
>
>------------------------------------------------------------------------
>
>_______________________________________________
>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