Example 3


Assert that art objects inherit the style/period of the artist that created them:

Generic rule syntax

Artist(?x1) ∧ Style(?x2) ∧ artistStyle(?x1,?x2) ∧ creator(?x1,?x3)  
   ⇒ styleOrPeriod(?x3,?x2)

Abstract OWL syntax

Implies(Antecedent(Artist(I-variable(x1)) Style(I-variable(x2))
                   artistStyle(I-variable(x1) I-variable(x2))
		   creator(I-variable(x1) I-variable(x3)))
	Consequent(styleOrPeriod(I-variable(x3) I-variable(x2))))