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

[Tania Tudorache]

Igor,

You posted on the wrong mailing list. Please repost your question on the 
protege-owl mailing list:

http://protege.stanford.edu/community/lists.html

Tania

Igor Bessmertny wrote:
>
> 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! Try it! 
> <http://spaces.live.com/spacesapi.aspx?wx_action=create&wx_url=/friends.aspx&mkt=en-us> 
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>