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

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

A. NMTRAN(?y) ∧ part of(?x, ?y)
B. negatively regulates characteristic(?x, ?y) ∧ occurrent(?y)
C. occurrent(?y) ∧ part of(?x, ?y)
D. part of(?x, ?y) ∧ partitioning objective(?y)

Answer: occurrent(?y) ∧ part of(?x, ?y)