[protege-discussion] FW: Jess rules from Protege OWL

[Igor Bessmertny]

Hello, all,
I have installed Protege OWL Editor 3.4. and added Jess 7.1p2‏.

I successfully activated the SWRL Jess Tab in Protege; rules and axioms import to Jess as well.
 
Though, when I test Jess inference engine by a canonical examlpe like this
 
Person(?y)  ∧  hasChild(?y, ?x)  ∧  hasChild(?y, ?z)  ∧  differentFrom(?x, ?z) → hasSibling(?x, ?z),
 
the inference gives no results. If I remove 'differentFrom' predicate, the rule works. Certainly it returns some extra axioms like 
hasSibling(A,A).
 
I conclude that restriction 'differentFrom' does not work despite is importing without error messages.

I asked Jess developers, but they cannot help because I could not show them imported rules in Jess format. 
Could you please clarify, what my problem is? 
And how can I see imported class, axioms and rules in Jess format?
 
Sincerely yours,
Igor Bessmertny
Associate Professor
Computer Science Department
Saint Petersburg State University of Information Technology, Mechanics and Optics
Saint Petersburg, Russia




_________________________________________________________________
Invite your mail contacts to join your friends list with Windows Live Spaces. It's easy!
http://spaces.live.com/spacesapi.aspx?wx_action=create&wx_url=/friends.aspx&mkt=en-us
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20090403/e43e9c06/attachment.html>