Search Mailing List Archives
[protege-discussion] FW: Jess rules from Protege OWL
igor_bessmertny at hotmail.com
Fri Apr 3 05:53:13 PDT 2009
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
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?
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!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-discussion