Search Mailing List Archives
[p4-feedback] Protege 4 SWRL rule syntax?
matthew.horridge at cs.man.ac.uk
Mon Oct 12 02:29:32 PDT 2009
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
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.
> x1 hasParent x2
> x2 type Male
> x1 hasFather x2
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
More information about the p4-feedback