Task: SWRL-based Rule Reasoning (ontology: Earth_Environment/AfricanWildlifeOntology)

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

A. Inverse(AfricanWildlifeOntology4.inhabits)(?x, ?y)
B. Lion(AfricanWildlifeOntology4.inhabits)
C. Root(AfricanWildlifeOntology4.inhabits)
D. Phloem(AfricanWildlifeOntology4.inhabits)

Answer: Inverse(AfricanWildlifeOntology4.inhabits)(?x, ?y)