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

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

A. BasReader 3.01(?x)
B. CodeLink Expression Scanning Software(?x)
C. operating system(?x)
D. software(?x)

Answer: software(?x)