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

Suppose an individual ?x satisfies: geological process(?x). Which composite conclusion is inferred?

A. occupies temporal region(?x, ?y) ∧ spatial region(?y)
B. geological time interval(?y) ∧ occupies temporal region(?x, ?y)
C. occupies temporal region(?x, ?y) ∧ occurrent(?y)
D. geological time interval(?y) ∧ participates in(?x, ?y)

Answer: geological time interval(?y) ∧ occupies temporal region(?x, ?y)