Search Mailing List Archives
[protege-owl] How to debug SWRL rules?
martin.oconnor at stanford.edu
Fri May 9 18:22:54 PDT 2008
If the built-in is not documented on the wiki, then it is not
implemented. Some of the other built-ins that you may have spotted in
tbox.owl are tentative. I plan to implement these over the next few
months. However, tbox:hasFirstProperty makes no sense because OWL does
not order properties so I'm not sure how that got in there.
>Is there a way to see the properties that are used to connect 2 individuals
>using in sqwrl (SQWRLQueryTab)
>I noticed a few intresting tbox rules, and I hoped there was a rule that I
>, but I didn't find any explanation of those rules on
>Where can I find information on for example 'tbox:hasFirstProperty'?
>Martin O'Connor wrote:
>>No. I find the best way to debug SWRL rules is to turn some of the
>>more complex rules into SQWRL queries by removing their consequents
>>and replacing by sqwrl:select(?v1, ?v2, ...). In that way you can
>>determine what values the variables in a rule get bound to.
>>Quoting ahmed nabel <a_n_alazzawi at hotmail.com>:
>>>How can I see the trace of SWRL rules being processed (as the
>>>reasoner runs)? Is there a way to see that?
>>>I want to know if I can do that in Protege 3.4 and in Protege 4 if
More information about the protege-owl