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 rule engine inference problem

Martin O'Connor martin.oconnor at stanford.edu
Tue Feb 21 12:31:38 PST 2012


It seems that boolean literals are broken in the SWRLTab in Protege 3.4.7 and 3.4.8. There will be a new release shortly 
with a fix.

Martin

On 2/20/2012 11:58 PM, laura borda wrote:
> Hi Martin,
>
> first of all, thank you for your attention.
>
> 1.- I am using the 3.4.7 release.
>
> 2.- I have tried using SQWRL with two types of rules,
>
>     with the first one: Vehicle(?c) ∧ isOvertaking(?c, true) →  Overtaker(?c) ∧ sqwrl:select(?c) I get no results.
>     if I use this one: Vehicle(?c) → sqwrl:select(?c), then I get the expected results, a list with 5 vehicle individuals.
>
> 3.- I hava also tried to make the inference with the pellet reasoner in both protégé and Java, and it works correctly.
>
> I still have no idea of which is the mistake.
>
> Laura.
>
> 2012/2/20 Martin O'Connor <martin.oconnor at stanford.edu <mailto:martin.oconnor at stanford.edu>>
>
>
>     I presume you are using the latest 3.4.8 release.
>
>     Have you tried using SQWRL to determine if your rule antecedents are matching items in the ontology?
>
>     cf. http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nidBEA
>
>     Martin
>
>     ----- Original Message -----
>     From: "laura borda" <bordalaur1 at gmail.com <mailto:bordalaur1 at gmail.com>>
>     To: protege-owl at lists.stanford.edu <mailto:protege-owl at lists.stanford.edu>
>     Sent: Monday, February 20, 2012 8:34:44 AM
>     Subject: [protege-owl] jess rule engine inference problem
>
>
>     Hi all, I have a question about Protege OWL and Jess.
>
>     I have installed Protege OWL Editor 3.4. and added Jess 7.1p2‏.
>     I successfully activated the SWRL Jess Tab in Protege;
>
>     I have imported swrl rules and owl axioms successfuly,
>     but when I test Jess inference engine both in java and in
>     Protege, the inference gives no results.
>
>     Any idea why is this happening?
>
>     Thank you for your consideration.
>     I am looking forward to hear from your soon.
>
>
>     Laura.
>     _______________________________________________
>     protege-owl mailing list
>     protege-owl at lists.stanford.edu <mailto: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
>     _______________________________________________
>     protege-owl mailing list
>     protege-owl at lists.stanford.edu <mailto: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
>
>
>
> _______________________________________________
> 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