Example 1


Assert that the combination of the hasParent and hasBrother properties implies the hasUncle property:

Generic rule syntax

hasParent(?x1,?x2) ∧ hasBrother(?x2,?x3) ⇒ hasUncle(?x1,?x3)

Abstract OWL syntax

Implies(Antecedent(hasParent(I-variable(x1) I-variable(x2))
		   hasBrother(I-variable(x2) I-variable(x3)))
	Consequent(hasUncle(I-variable(x1) I-variable(x3))))

Gets you just what you want (and a bit more)
If John has Mary as a parent and Mary has Bill has a brother then John has Bill as an uncle