## 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

Lorne Bouchard lorne.bouchard at gmail.com
Mon Jan 21 11:56:32 PST 2008

```It nows works fine,thanks.
Tricky stuff the Open World Hypothesis for those used to Prolog, but
fundamentally correct.

Cheers!

- Lorne

On Jan 21, 2008 2:35 PM, Martin O'Connor <martin.oconnor at stanford.edu>
wrote:

>
> 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.
> >
> > Thanks for your help.
> >
> > 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
> >
> >
>
> _______________________________________________
> 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
>

--
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 !"
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20080121/c2ee112b/attachment.html>
```