Task: SWRL-based Rule Reasoning (ontology: Sciences/Biology)

Suppose an individual ?x satisfies: atomic valence(?x). Which composite conclusion is inferred?

A. atom(?y) ∧ is about(?x, ?y)
B. atom(?y) ∧ is descriptor of(?x, ?y)
C. is about(?x, ?y) ∧ molar refractivity(?y)
D. is about(?x, ?y) ∧ volume(?y)

Answer: atom(?y) ∧ is about(?x, ?y)