TY - CHAP AU - Varzi, A. C. PY - 2010 DA - 2010// TI - Mereology BT - Stanford Encyclopedia of Philosophy PB - The Metaphysics Research Lab CY - Stanford ID - Varzi2010 ER - TY - JOUR AU - Schulz, S. AU - Hahn, U. PY - 2005 DA - 2005// TI - Part-whole representation and reasoning in biomedical ontologies JO - Artificial Intelligence in Medicine VL - 34 UR - https://doi.org/10.1016/j.artmed.2004.11.005 DO - 10.1016/j.artmed.2004.11.005 ID - Schulz2005 ER - TY - CHAP AU - Schulz, S. AU - Beisswanger, E. AU - Hahn, U. AU - Wermter, J. AU - Kumar, A. AU - Stenzhorn, H. PY - 2006 DA - 2006// TI - From GENIA to BioTop. Towards a top-level Ontology for Biology BT - Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS 2006) PB - IOS CY - Baltimore MD, USA. Amsterdam ID - Schulz2006 ER - TY - JOUR AU - Beisswanger, E. AU - Schulz, S. AU - Stenzhorn, H. AU - Hahn, U. PY - 2008 DA - 2008// TI - BioTop: An upper domain ontology for the life sciences – a description of its current structure, contents, and interfaces to OBO ontologies JO - Applied Ontology VL - 3 ID - Beisswanger2008 ER - TY - CHAP AU - Rogers, J. AU - Rector, A. L. PY - 2000 DA - 2000// TI - GALEN's model of parts and wholes: experience and comparisons BT - Proceedings AMIA Symposium 2000 PB - American Medical Informatics Association CY - Bethesda, MD ID - Rogers2000 ER - TY - CHAP AU - Mejino, J. L. V. AU - Agoncillo, A. V. AU - Rickard, K. L. AU - Rosse, C. PY - 2003 DA - 2003// TI - Representing Complexity in Part-Whole Relationships within the Foundational Model of Anatomy BT - Proceedings AMIA Symposium 2003 PB - American Medical Informatics Association CY - Bethesda, MD ID - Mejino2003 ER - TY - JOUR AU - Schulz, S. AU - Kumar, A. AU - Bittner, T. PY - 2006 DA - 2006// TI - Biomedical ontologies: What part-of is and isn't JO - Journal of Biomedical Informatics VL - 39 UR - https://doi.org/10.1016/j.jbi.2005.11.003 DO - 10.1016/j.jbi.2005.11.003 ID - Schulz2006 ER - TY - STD TI - BioTop. A top domain for the life sciences. [http://purl.org/biotop/] UR - http://purl.org/biotop/ ID - ref8 ER - TY - JOUR AU - Smith, B. AU - Ceusters, W. AU - Klagges, B. AU - Köhler, J. AU - Kumar, A. AU - Lomax, J. AU - Mungall, C. AU - Neuhaus, F. AU - Rector, A. L. AU - Rosse, C. PY - 2005 DA - 2005// TI - Relations in Biomedical Ontologies JO - Genome Biology VL - 6 UR - https://doi.org/10.1186/gb-2005-6-5-r46 DO - 10.1186/gb-2005-6-5-r46 ID - Smith2005 ER - TY - JOUR AU - Smith, B. AU - Ashburner, M. AU - Rosse, C. AU - Bard, J. AU - Bug, W. AU - Ceusters, W. AU - Goldberg, L. J. AU - Eilbeck, K. AU - Ireland, A. AU - Mungall, C. J. AU - Leontis, N. AU - Rocca-Serra, P. AU - Ruttenberg, A. AU - Sansone, S. A. AU - Scheuermann, R. H. AU - Shah, N. AU - Whetzel, P. L. AU - Lewis, S. PY - 2007 DA - 2007// TI - The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration JO - Nature Biotechnology VL - 25 UR - https://doi.org/10.1038/nbt1346 DO - 10.1038/nbt1346 ID - Smith2007 ER - TY - STD TI - The Open Biological and Biomedical Ontologies. [http://www.obofoundry.org/] UR - http://www.obofoundry.org/ ID - ref11 ER - TY - STD TI - OWL Web Ontology Language Guide. [http://www.w3.org/TR/owl-guide/] UR - http://www.w3.org/TR/owl-guide/ ID - ref12 ER - TY - JOUR AU - Rector, A. AU - Rogers, J. AU - Bittner, T. PY - 2005 DA - 2005// TI - Granularity, scale and collectivity: When size does and does not matter JO - Journal of Biomedical Informatics VL - 39 UR - https://doi.org/10.1016/j.jbi.2005.08.010 DO - 10.1016/j.jbi.2005.08.010 ID - Rector2005 ER - TY - JOUR AU - Schulz, S. AU - Jansen, L. PY - 2009 DA - 2009// TI - Molecular Interactions. On the Ambiguity of Ordinary Statements in Biomedical Literature JO - Applied Ontology VL - 4 ID - Schulz2009 ER - TY - JOUR AU - Cohn, A. G. PY - 1997 DA - 1997// TI - Qualitative Spatial Representation and Reasoning with the Region Connection Calculus JO - GeoInformatica VL - 1 UR - https://doi.org/10.1023/A:1009712514511 DO - 10.1023/A:1009712514511 ID - Cohn1997 ER - TY - CHAP AU - Cohn, A. G. PY - 2001 DA - 2001// TI - Formalising bio-spatial knowledge BT - Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS 2001) PB - ACM Press CY - Ogunquit, Maine, USA ID - Cohn2001 ER - TY - CHAP AU - Baader, F. AU - Calvanese, D. AU - McGuinness, D. L. AU - Nardi, D. AU - Patel-Schneider, P. F. PY - 2007 DA - 2007// BT - The Description Logics Handbook. Theory, Implementation, and Applications PB - Cambridge University Press CY - Cambridge UR - https://doi.org/10.1017/CBO9780511711787 DO - 10.1017/CBO9780511711787 ID - Baader2007 ER - TY - JOUR AU - Motik, B. AU - Shearer, R. AU - Horrocks, I. PY - 2009 DA - 2009// TI - Hypertableau Reasoning for Description Logics JO - Journal of Artificial Intelligence Research VL - 36 ID - Motik2009 ER - TY - STD TI - Horridge M, Patel-Schneider P: OWL 2 Web Ontology Language Manchester Syntax. [http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/] UR - http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/ ID - ref19 ER - TY - CHAP AU - Kazakov, Y. AU - Sattler, U. AU - Zolin, E. PY - 2007 DA - 2007// TI - How many legs do I have? Non-simple roles in number restrictions revisited BT - Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning PB - Springer-Verlag CY - Yerewan, Armenia. Berlin, Heidelberg UR - https://doi.org/10.1007/978-3-540-75560-9_23 DO - 10.1007/978-3-540-75560-9_23 ID - Kazakov2007 ER -