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] Protege 3.4 SWRLTab+Jess problem

Lorne Bouchard lorne.bouchard at gmail.com
Tue Jan 22 19:02:17 PST 2008


Yes indeed that was my problem.

Thanks for your help.

Cheers!

- Lorne

On Jan 22, 2008 5:29 PM, Thomas Russ <tar at isi.edu> wrote:

>
> On Jan 20, 2008, at 7:30 PM, Lorne Bouchard wrote:
>
> > Hi there!
> >
> > 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?
>
> Are your OWL individuals asserted to be "differentFrom" each other?
>
> OWL does not assume that individuals with different names are
> different from each other, in other words, it doesn't use the Unique
> Name Assumption (UNA).  You have to explicitly declare which
> individuals are differentFrom each other.
>
> You can either do this using the create individual wizard, or by
> choosing the menu command to edit the allDifferents assertions.
>
> _______________________________________________
> 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/20080122/7d52ccbe/attachment.html>


More information about the protege-owl mailing list