Example 2


An alternative formulation of the first example:

Generic rule syntax

hasParent(?x1,?x2) ∧ hasSibling(?x2,?x3) ∧ hasSex(?x3,Male) 
   ⇒ hasUncle(?x1,?x3)

Abstract OWL syntax

Implies(Antecedent(hasParent(I-variable(x1) I-variable(x2))
		   hasSibling(I-variable(x2) I-variable(x3))
                   hasSex(I-variable(x3) Male))
	Consequent(hasUncle(I-variable(x1) I-variable(x3))))

Note use of OWL individual (Male)