![]() ![]() |
An alternative formulation of the first example:
hasParent(?x1,?x2) ∧ hasSibling(?x2,?x3) ∧ hasSex(?x3,Male) ⇒ hasUncle(?x1,?x3)
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)
8 of 24 |