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    

[p4-feedback] Protege 4 SWRL rule syntax?

Matthew Horridge matthew.horridge at cs.man.ac.uk
Mon Oct 12 02:29:32 PDT 2009


Hi Stephan,

For your example you would write

hasParent(?x1, x2) , Male(?x2) -> hasFather(x1, x2)

You might be interested to know that there was quite a lot of  
discussion on expressing this kind of construct "natively" in OWL.  In  
fact, there is a paper about it at this year's OWLED:

Dmitry Tsarkov, Ulrike Sattler and Robert Stevens. A Solution for the  
Man-Man Problem in the Family History Knowledge Base

Cheers,

Matthew

On 9 Oct 2009, at 19:19, Stephan Zednik wrote:

> What is the syntax for defining rules in Protege 4?
>
> I would like to define the following rule.
>
> antecedents:
> x1 hasParent x2
> x2 type Male
>
> consequent:
> x1 hasFather x2
>
> Cheers,
> --Stephan
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback




More information about the p4-feedback mailing list