## 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 11:35:02 PST 2008

```Go to OWL|Edit owl:AllDifferents... in the Protege-OWL GUI.

Martin

Lorne Bouchard wrote:

> No, how do I assert this axiom? On the class Man of which the the
> Mij's are indiviuals I presume.
>
>
> Cheers!
>
> - Lorne
>
> On Jan 21, 2008 1:25 PM, Martin O'Connor < martin.oconnor at stanford.edu
> <mailto:martin.oconnor at stanford.edu>> wrote:
>
>
>     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
>     <mailto: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
>     >
>     >
>
>     _______________________________________________
>     protege-owl mailing list
>     protege-owl at lists.stanford.edu <mailto:protege-owl at lists.stanford.edu>
>     https://mailman.stanford.edu/mailman/listinfo/protege-owl
>     <https://mailman.stanford.edu/mailman/listinfo/protege-owl>
>
>     Instructions for unsubscribing:
>     http://protege.stanford.edu/doc/faq.html#01a.03
>
>
>
>
> --
> 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
>
>

```