ContextA symbolic model allows developers to represent general knowledge about a domain and the meaning that is commonly associated with it. This knowledge can be used by itself (e.g., for teaching), or indirectly as a reference to process specific facts (e.g., to assist queries or data retrieval). In the latter case, symbolic models are perceived as a key feature to provide software assistance for tasks that now require domain-aware intervention by a human. As interoperability of these software applications is desirable, shared conceptual models, and specifically ontologies, play a major role in a Semantic Web context [1]. Since these models are to be usable by software, they must meet explicit representation and consistency requirements. For medical applications, anatomy provides a common reference used to reason about pathology or localization of functional activity [2,3]. The Foundation Model of Anatomy (FMA) [4] and Galen [5] are two major conceptual models that provide a symbolic representation of human anatomy. However, neither of them provides a satisfactory representation of brain-cortex anatomy. The major sources of neuroanatomical knowledge are paper-based atlases [6,7] and terminological systems such as Neuronames [8].We are working on an ontology of brain-cortex anatomy. Our goal is more to formalize existing knowledge than it is to propose new anatomical concepts or relationships. Our model has been described in previous publications [9,10]. It comprises 304 concepts and 1254 relationships that represent the organization of anatomical structures. Because the brain surface presents complicated folding patterns, typical anatomical structures are gyri (the bulges of cerebral matter, similar to hills), the sulci (the hollow foldings, similar to valleys) and lobes (sets of gyri). Our model's taxonomy hierarchy is composed of three levels. First, the generic level contains concepts such as Lobe or Sulcus, and is mainly used to define the domain and range of the relationships. Second, the abstract level represents a prototypical brain hemisphere, and contains concepts such as Frontal Lobe or Central Sulcus. Third, the lateralized level is used to represent left/right asymmetries, and contains concepts such as Left Frontal lobe. For mereology, the model identifies several relationships such as hasDirectAnatomicalPart, hasAnatomicalPart, hasSegment and their properties, inspired from previous theoretical works [11,12]. The model also represents neighborhood relationships such as the separation of two cortical structures by a sulcus, anatomical continuity, and sulci connection.In this context, managing the semantic consistency of the ontology has been one of our main concerns.