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] Following SWRL Rules

Martin O'Connor martin.oconnor at stanford.edu
Tue Nov 16 07:26:27 PST 2010


I am somewhat confused. Why do you need to keep track of atom ordering 
for built-ins? Is it because of argument binding?

Martin

Rodolfo Rieckhof wrote:
> Hi,
> "In Protege 3, the atoms are definitely not reordered."
> Ok then i must do it by hand, i was working with protege 3.
>
> Thanks,
> Rodolfo
>
>
>
>
> 2010/11/16 Martin O'Connor <martin.oconnor at stanford.edu 
> <mailto:martin.oconnor at stanford.edu>>
>
>     The comma notation would suggest that this is a Protege 4 issues.
>
>     In Protege 3, the atoms are definitely not reordered.
>
>     Martin
>
>     Timothy Redmond wrote:
>
>
>             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.
>
>         -Timothy
>
>
>
>         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 ?
>
>             Regards,
>             Rodolfo
>
>
>             _______________________________________________
>             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 <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