Task: SWRL-based Rule Reasoning (ontology: Legal/LKIF_Core_Ontology)

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

A. PLC(Private Law)
B. Legal Person (Private Law)(?x)
C. Corporation(Private Law)
D. Incorporated(Private Law)

Answer: Legal Person (Private Law)(?x)