Task: SWRL-based Rule Reasoning (ontology: Human_Society/People)

Suppose an individual ?x satisfies: old lady(?x). Which composite conclusion is inferred?

A. driver(?y) ∧ has pet(?x, ?y)
B. animal(?y) ∧ cat(?y) ∧ has pet(?x, ?y) ∧ has pet(?x, ?y)
C. animal(?y) ∧ eaten by(?x, ?y)
D. has pet(?x, ?y) ∧ lorry(?y)

Answer: animal(?y) ∧ cat(?y) ∧ has pet(?x, ?y) ∧ has pet(?x, ?y)