title: My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models.
abstract: BACKGROUND
  Multiple models of anatomy have been developed independently and for different purposes. In particular, 3D graphical models are specially useful for visualizing the different organs composing the human body, while ontologies such as FMA (Foundational Model of Anatomy) are symbolic models that provide a unified formal description of anatomy. Despite its comprehensive content concerning the anatomical structures, the lack of formal descriptions of anatomical functions in FMA limits its usage in many applications. In addition, the absence of connection between 3D models and anatomical ontologies makes it difficult and time-consuming to set up and access to the anatomical content of complex 3D objects.
  
  
  RESULTS
  First, we provide a new ontology of anatomy called My Corporis Fabrica (MyCF), which conforms to FMA but extends it by making explicit how anatomical structures are composed, how they contribute to functions, and also how they can be related to 3D complex objects. Second, we have equipped MyCF with automatic reasoning capabilities that enable model checking and complex queries answering. We illustrate the added-value of such a declarative approach for interactive simulation and visualization as well as for teaching applications.
  
  
  CONCLUSIONS
  The novel vision of ontologies that we have developed in this paper enables a declarative assembly of different models to obtain composed models guaranteed to be anatomically valid while capturing the complexity of human anatomy. The main interest of this approach is its declarativity that makes possible for domain experts to enrich the knowledge base at any moment through simple editors without having to change the algorithmic machinery. This provides MyCF software environment a flexibility to process and add semantics on purpose for various applications that incorporate not only symbolic information but also 3D geometric models representing anatomical entities as well as other symbolic information like the anatomical functions.
authors.affiliation: Department of Anatomy, LADAF, Université Joseph Fourier, Grenoble, France ; LJK (CNRS-UJF-INPG-UPMF), INRIA, Université de Grenoble, Grenoble, France.
authors.forename: Olivier
authors.initials: O
authors.lastname: Palombi
authors.affiliation: LIG (CNRS-UJF-INPG-UPMF), Université de Grenoble, Grenoble, France.
authors.forename: Federico
authors.initials: F
authors.lastname: Ulliana
authors.affiliation: Department of Anatomy, LADAF, Université Joseph Fourier, Grenoble, France.
authors.forename: Valentin
authors.initials: V
authors.lastname: Favier
authors.affiliation: LJK (CNRS-UJF-INPG-UPMF), INRIA, Université de Grenoble, Grenoble, France.
authors.forename: Jean-Claude
authors.initials: JC
authors.lastname: Léon
authors.affiliation: LIG (CNRS-UJF-INPG-UPMF), Université de Grenoble, Grenoble, France.
authors.forename: Marie-Christine
authors.initials: MC
authors.lastname: Rousset