Search Mailing List Archives
[protege-owl] Following SWRL Rules
tredmond at stanford.edu
Mon Nov 15 08:05:38 PST 2010
> The problem is that Atoms are not in the right order so i must rebuild
> the path order according to the order of the variables, what is
> somehow hard. Is there another way to do this ?
I will have to ask Martin about this. I am not sure why the order of
the variables should be wrong. I know that there is an issue with this
in the OWL api which is used by Protege 4.
> Now there is another program that needs to understant where the value
> from fatherName(?x,?name) came from.
As a general rule, this is a hard problem. A reasoner does many things
and will not necessarily tell you how it reached its conclusions. You
may have some domain-specific knowledge that is allowing you to identify
the rule. A more general solution would be to use an explanation
utility but I have never tried this with swrl rules.
On 11/10/2010 07:04 AM, Rodolfo Rieckhof wrote:
> Hello everybody,
> i am trying to do the following i have an SWRL Rule like: Father(?f)
> , family(?x,?family) , familyName(?family, ?name) ->
> fatherName(?x,?name) where Father is a class, family is an Object
> Property and the rest are DataProperties (DP). The reasoner sets the
> DP fatherName when the body complies. Now there is another program
> that needs to understant where the value from fatherName(?x,?name)
> came from. So what i am doing now is to build the an OWLModel, call
> getSWRLRule() and reading rule. The problem is that Atoms are not in
> the right order so i must rebuild the path order according to the
> order of the variables, what is somehow hard. Is there another way to
> do this ?
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl