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:11:08 PST 2008

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>
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
> >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/0df0acde/attachment.html>