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] a question about SWRL inference

Martin O'Connor martin.oconnor at stanford.edu
Mon Aug 10 08:56:09 PDT 2009


The SWRLTab's Jess back end does not currently support all axioms [1]; 
inverse properties are not supported.

Martin

[1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLRuleEngineBridgeFAQ#nid6QL

kookaburra wrote:

> Hi,
>
> I have two properties which are in inverse relationship, for instance:
> hasFather(?a, ?b) <-> isFatherOf(?c, ?d)
>
> I tried to use SWRL to  create rules to get the inferred triple 
> assertions. For examples, I have a triple:
>
> hadFather(Jack, Paul)
>
> and I created a rule such as:
>
>  hasFather(?a, ?b) -> isFatherOf(?b, ?a)
>
>  But by running Jess on this rule, I could not get the inferred triple:
> isFatherOf(Paul, Jack)
>
> What is wrong? or is it not doable?
>
> Thanks for any tips!
>
> yy.
>
>------------------------------------------------------------------------
>
>_______________________________________________
>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