Family Rule

From Tetherless World Wiki

This is a simple example showing how Semantic Wiki Script supports Rule inferences. We choose the famous "uncle problem" which requires rule inference beyond OWL inference.

Uncle problem Given the following facts

• Bob is son of Paul
• Paul is brother of Dave

Plus the following rule (see rule:Family)

• [uncle rule] (?A isBrotherOf ?B) AND (?C isSonOf ?B) implies (?A isUncleOf ?C)
• [inverse] (?A isBrotherOf ?B) implies (?B isBrotherOf ?A)

We may infer that

• Dave is uncle of Bob