Search Mailing List Archives
[protege-owl] Protege 3.4 SWRLTab+Jess problem
lorne.bouchard at gmail.com
Sun Jan 20 19:30:28 PST 2008
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) →
hasChild(?x, ?y) ^ hasChild(?x, ?z) ^ differentFrom(?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.
Lorne H. Bouchard
"May the source always be with you, even if some assembly is required !"
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl