Spatial location and its relevance for terminological inferences in bio-ontologies

BackgroundAn adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggregation and containment.ResultsWe demonstrate that the proposed formalism allows to deal consistently with "role propagation along non-taxonomic hierarchies", a problem which had repeatedly been identified as an intricate reasoning problem in biomedical ontologies.ConclusionThe proposed approach seems to be suitable for the redesign of compositional hierarchies in (bio)medical terminology systems which are embedded into the framework of the OBO (Open Biological Ontologies) Relation Ontology and are using knowledge representation languages developed by the Semantic Web community.

[1]  Max Kistler,et al.  Dispositions and Causal Powers , 2007 .

[2]  Stefan Schulz,et al.  Mereotopological reasoning about parts and (w)holes in bio-ontologies , 2001, FOIS.

[3]  Maureen Donnelly,et al.  The Mereology of Stages and Persistent Entities , 2004, ECAI.

[4]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[5]  Marius Fieschi,et al.  MEDINFO 2004 - Proceedings of the 11th World Congress on Medical Informatics, San Francisco, California, USA, September 7-11, 2004 , 2004, MEDINFO.

[6]  Timothy Williamson,et al.  Parts. A Study in Ontology , 1990 .

[7]  Maurizio Lenzerini,et al.  Inheritance hierarchies in knowledge representation and programming languages , 1991 .

[8]  Stefan Schulz,et al.  How to Distinguish Parthood from Location in Bio-Ontologies , 2005, AMIA.

[9]  José L. V. Mejino,et al.  Research Paper: Motivation and Organizational Principles for Anatomical Knowledge Representation: The Digital Anatomist Symbolic Knowledge Base , 1998, J. Am. Medical Informatics Assoc..

[10]  Alan L. Rector.  Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies , 2002, Description Logics.

[11]  Ludger Jansen,et al.  On Ascribing Dispositions , 2007 .

[12]  J. Blake,et al.  Creating the Gene Ontology Resource : Design and Implementation The Gene Ontology Consortium 2 , 2001 .

[13]  Stefan Schulz,et al.  "Lmo-2 interacts with elf-2" - On the Meaning of Common Statements in Biomedical Literature , 2006, KR-MED.

[14]  P. F. PatelSchneider,et al.  What's inheritance got to do with knowledge representation , 1991 .

[15]  U. Hahn,et al.  The Semantics of Procedures and Diseases in SNOMED® CT , 2006, Methods of Information in Medicine.

[16]  D. Mccomb,et al.  Terms , 2007, Semantics in Business Systems.

[17]  Roberto Casati,et al.  Parts And Places , 1999 .

[18]  Emmon W. Bach,et al.  Universals in Linguistic Theory , 1970 .

[19]  Jennifer Golbeck,et al.  Modeling a description logic vocabulary for cancer research , 2005, J. Biomed. Informatics.

[20]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[21]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[22]  Cornelius Rosse,et al.  A formal theory for spatial representation and reasoning in biomedical ontologies , 2006, Artif. Intell. Medicine.

[23]  Roberto Casati,et al.  Parts and Places: The Structures of Spatial Representation , 1999 .

[24]  Ian Horrocks,et al.  A Description Logic Based Schema for the Classification of Medical Data , 1996, KRDB.

[25]  A. Rector,et al.  Relations in biomedical ontologies , 2005, Genome Biology.

[26]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[27]  Alan L. Rector,et al.  Granularity, scale and collectivity: When size does and does not matter , 2006, J. Biomed. Informatics.

[28]  Alan L. Rector,et al.  GALEN's model of parts and wholes: experience and comparisons , 2000, AMIA.

[29]  Aldo Gangemi,et al.  The GALEN CORE Model Schemata for Anatomy: Towards a Re-usable Application-Independent Model of Medical Concepts , 2008 .

[30]  Barry Smith,et al.  Biodynamic ontology: applying BFO in the biomedical domain. , 2004, Studies in health technology and informatics.

[31]  Barry Smith,et al.  Functional Anatomy: A Taxonomic Proposal , 2005, Acta biotheoretica.

[32]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[33]  P. Simons.  Parts: A Study in Ontology , 1991 .

[34]  M. Samwald,et al.  Classes versus Individuals : Fundamental Design Issues for Ontologies on the Biomedical Semantic Web , 2006 .

[35]  Barry Smith,et al.  SNAP and SPAN: Towards Dynamic Spatial Ontology , 2004, Spatial Cogn. Comput..

[36]  Stefan Schulz,et al.  Biomedical ontologies: What part-of is and isn't , 2006, J. Biomed. Informatics.

[37]  Charles J. Fillmore,et al.  THE CASE FOR CASE. , 1967 .

[38]  Thomas Bittner,et al.  Axioms for parthood and containment relations in bio-ontologies , 2004, KR-MED.

[39]  Achille C. Varzi.  A note on the transitivity of parthood , 2006, Appl. Ontology.

[40]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[41]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[42]  Cornelius Rosse,et al.  A Reference Ontology for Bioinformatics: The Foundational Model of Anatomy , 2003 .

[43]  Maureen Donnelly,et al.  A theory of granular parthood based on qualitative cardinality and size measures , 2006, FOIS.

[44]  Stefan Schulz,et al.  Part-whole representation and reasoning in formal biomedical ontologies , 2005, Artif. Intell. Medicine.

[45]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.

[46]  Martin Romacker,et al.  Part-whole reasoning in medical ontologies revisited-introducing SEP triplets into classification-based description logics , 1998, AMIA.

[47]  Stefan Schulz,et al.  Necessary Parts and Wholes in Bio-Ontologies , 2002, KR.

[48]  Ramanathan V. Guha,et al.  Building large knowledge-based systems , 1989 .

[49]  Barry Smith,et al.  The Role of Foundational Relations in the Alignment of Biomedical Ontologies , 2004, MedInfo.