title: Formalization of mouse embryo anatomy.
abstract: BACKGROUND
  The Edinburgh Mouse Atlas and Gene Expression Database project has developed a digital atlas of mouse development to provide a spatio-temporal framework for spatially mapped data such as in situ gene expression and cell lineage. As part of this database, a mouse embryo anatomy ontology has been created. A formalization of this anatomy is required to document its precise semantics and how it is used in the context of the Mouse Atlas.
  
  
  RESULTS
  The paper describes the existing anatomy ontology and formalizes aspects of it using a predicate logic based approach. It therefore provides a guide for users of the current version of the ontology, as well as the basis for a description of the anatomy using an ontology language, such as OWL, thus enabling future work on reasoning about the Mouse Atlas in the context of an intelligent gene expression bioinformatics workflow system. The logic has been implemented in a Prolog prototype.
  
  
  BACKGROUND
  The Mouse Atlas is available on-line at http://genex.hgu.mrc.ac.uk
authors.affiliation: MRC Human Genetics Unit, Western General Hospital, Crewe Road, Edinburgh EH4 2XU, Scotland, UK. Albert.Burger@hgu.mrc.ac.uk
authors.forename: Albert
authors.initials: A
authors.lastname: Burger
authors.forename: Duncan
authors.initials: D
authors.lastname: Davidson
authors.forename: Richard
authors.initials: R
authors.lastname: Baldock
mesh_terms: D000465:Algorithms; D000818:Animals; D001185:Artificial Intelligence; D003198:Computer Simulation; D003628:Database Management Systems; D016208:Databases, Factual; D004622:Embryo, Mammalian / Q000033:anatomy & histology*; D020869:Gene Expression Profiling / Q000379:methods*; D018507:Gene Expression Regulation, Developmental / Q000235:genetics*; D016247:Information Storage and Retrieval / Q000379:methods*; D051379:Mice / Q000033:anatomy & histology / Q000235:genetics; D008953:Models, Anatomic; D008957:Models, Genetic; D012984:Software; D018511:Systems Integration; D014584:User-Computer Interface