Task: SWRL-based Rule Reasoning (ontology: Business_Finance/BPMN)

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

A. Incoming Condition(?x, ?y)
B. TaskRef(?x, ?y)
C. Service Task(?x, ?y)
D. Assignment(?x, ?y)

Answer: TaskRef(?x, ?y)