This highly simplified ontology and rule base gives the flavor of a system that could be used to identify brain cortex structures in MRI images. The ontology represents the main entities and properties of the brain, and the rule base specifies relationships between ontology properties. In this example, the rule says that two entities are connected when they have a common boundary. In a full usage example, the inferred fact in this case could be combined with other facts to identify g1 as an e.g. preCentralGyrus.

Note that this test case, unlike many in the test suite, includes more assertions than are strictly needed to test the RIF feature under consideration. This is because the test case also serves as a simplified usage example that illustrates one of the use case scenarios from the RIF Use Cases and Requirements document (see specRef).