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

Suppose an individual ?x satisfies: Agilent Feature Extraction 5.1.1(?x). Which conclusion is one valid inferred conclusion?

A. Agilent Feature Extraction software version 7.5(?x)
B. Agilent Feature Extraction Software(?x)
C. Agilent Feature Extraction software version A.5.1.1(?x)
D. GeneSpring(?x)

Answer: Agilent Feature Extraction Software(?x)