“…In the context of our application, using rules with ontologies enables us to meet a significant subset of our requirements. In addition to the rules presented in the paper, standard rules may be needed for chaining ontology properties, such as the transfer of properties from parts to wholes (which are now representable in OWL 2 20 ), or dependencies in the brain cortex, for example the rule: separatesMAE(y1, x1, x2) ∧ hasSegment(y2, y1) ∧ Sulcus(y2) ∧ MAE(x1) ∧ MAE(x2) ∧ SF(y1) → separatesMAE(y2, x1, x2) allows one to propagate the separation relationship between anatomical entities from part to whole.…”