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

laura borda bordalaur1 at gmail.com
Tue Feb 21 23:24:32 PST 2012


You are right. I have tried with an integer property and it works.

Thank you so much for your help.

Laura.

2012/2/21 Martin O'Connor <martin.oconnor at stanford.edu>

>
> 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@**stanford.edu <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<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 <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 <protege-owl at lists.stanford.edu>>
>>
>>    https://mailman.stanford.edu/**mailman/listinfo/protege-owl<https://mailman.stanford.edu/mailman/listinfo/protege-owl>
>>
>>    Instructions for unsubscribing: http://protege.stanford.edu/**
>> doc/faq.html#01a.03 <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 <protege-owl at lists.stanford.edu>>
>>
>>    https://mailman.stanford.edu/**mailman/listinfo/protege-owl<https://mailman.stanford.edu/mailman/listinfo/protege-owl>
>>
>>    Instructions for unsubscribing: http://protege.stanford.edu/**
>> doc/faq.html#01a.03 <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<https://mailman.stanford.edu/mailman/listinfo/protege-owl>
>>
>> Instructions for unsubscribing: http://protege.stanford.edu/**
>> doc/faq.html#01a.03 <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<https://mailman.stanford.edu/mailman/listinfo/protege-owl>
>
> Instructions for unsubscribing: http://protege.stanford.edu/**
> doc/faq.html#01a.03 <http://protege.stanford.edu/doc/faq.html#01a.03>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20120222/a4ceae6c/attachment-0001.html>


More information about the protege-owl mailing list