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

Suppose an individual ?x satisfies: carbocyclic compound(?x). Which conclusion is one valid inferred conclusion?

A. homocyclic compound(?x)
B. polycyclic compound(?x)
C. organic cyclic compound(?x)
D. bicyclic compound(?x)

Answer: homocyclic compound(?x)