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

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

A. XML(?x)
B. programming language format(?x)
C. ARR(?x)
D. .zip(?x)

Answer: XML(?x)