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] Jess rules from Protege OWL

Martin O'Connor martin.oconnor at stanford.edu
Sat Jan 9 08:59:43 PST 2010


Did you use the owl:AllDifferents axiom to assert that the child individuals are different?

cf. http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nidAXR

Martin

----- Original Message -----
From: "Hailin Wang" <whlsx62 at gmail.com>
To: protege-owl at lists.stanford.edu
Sent: Saturday, January 9, 2010 1:57:20 PM GMT +00:00 GMT Britain, Ireland, Portugal
Subject: [protege-owl] Jess rules from Protege OWL

Hi Host

I have a question to ask you.



I have installed Protege OWL Editor 3.4. and added Jess 7.1p1‏. I
successfully activated the SWRL Jess Tab in Protege; rules and axioms
import to Jess as well. But when I test Jess inference engine by using
the following rule:

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. Could you tell me what my problem
is?



Thank you for your consideration. I am looking forward to hear from your soon.



Happy New Year!





Sincerely yours,

Wang Hl

Taiyuan, China
_______________________________________________
protege-owl mailing list
protege-owl at lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03



More information about the protege-owl mailing list