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 04:33:47 PST 2008


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


More information about the protege-owl mailing list