Table 2 Derivation rules and set definition

If node result is satisfactory then recommend go forward

Node(?p) ˄hasResult(?p,? s)

˄optimalLearningLevel(?ll)

˄sqwrl:greaterThanOrEqual(?s,?ll)

→AnswerGoForward(?p)

HIGH is the set of all learning materials which difficulty is high or very high.

HIGH ≡ LearningMaterial ⊓

∃describedBy.(difficulty(“high”) ⊔

difficulty(“veryhigh”))

UPPER is the set of all nodes that belong to upper learning level.

UPPER ≡ Node ⊓

belongsTo.learningLevel(“upper”)