TY - CHAP AU - Horrocks, I. PY - 2007 DA - 2007// TI - OBO Flat File Format Syntax and Semantics and Mapping to OWL Web Ontology Language BT - Tech. rep ID - Horrocks2007 ER - TY - CHAP AU - Ashburner, M. AU - Ball, C. A. AU - Blake, J. A. AU - Botstein, D. AU - Butler, H. AU - Cherry, M. J. AU - Davis, A. P. AU - Dolinski, K. AU - Dwight, S. S. AU - Eppig, J. T. AU - Harris, M. A. AU - Hill, D. P. AU - Tarver, L. I. AU - Kasarskis, A. AU - Lewis, S. AU - Matese, J. C. AU - Richardson, J. E. AU - Ringwald, M. AU - Rubin, G. M. AU - Sherlock, G. PY - 2000 DA - 2000// TI - Gene ontology: tool for the unification of biology BT - Nature Genetics ID - Ashburner2000 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 - Serra, P. R. 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 - Nat Biotech VL - 25 UR - https://doi.org/10.1038/nbt1346 DO - 10.1038/nbt1346 ID - Smith2007 ER - TY - JOUR AU - Moreira, D. A. AU - Musen, M. A. PY - 2007 DA - 2007// TI - OBO to OWL: a protege OWL tab to read/save OBO ontologies JO - Bioinformatics VL - 23 UR - https://doi.org/10.1093/bioinformatics/btm258 DO - 10.1093/bioinformatics/btm258 ID - Moreira2007 ER - TY - CHAP AU - Golbreich, C. AU - Horrocks, I. ED - Golbreich, C. ED - Kalyanpur, A. ED - Parsia, B. PY - 2007 DA - 2007// TI - The OBO to OWL mapping, GO to OWL 1.1! BT - Proceedings of OWL: Experiences and Directions 2007 (OWLED-2007) ID - Golbreich2007 ER - TY - CHAP AU - Tirmizi, S. H. AU - Miranker, D. PY - 2008 DA - 2008// TI - OBO2OWL: Roundtrip between OBO and OWL BT - Tech. rep ID - Tirmizi2008 ER - TY - STD TI - Smith B, Ceusters W, Klagges B, Kohler J, Kumar A, Lomax J, Mungall C, Neuhaus F, Rector AL, Rosse C: Relations in biomedical ontologies. Genome Biol 2005., 6(5): 10.1186/gb-2005-6-5-r46 ID - ref7 ER - TY - CHAP AU - Horridge, M. AU - Drummond, N. AU - Goodwin, J. AU - Rector, A. AU - Stevens, R. AU - Wang, H. PY - 2006 DA - 2006// TI - The Manchester OWL Syntax BT - Proc of the 2006 OWL Experiences and Directions Workshop (OWL-ED2006) ID - Horridge2006 ER - TY - JOUR AU - Hoehndorf, R. AU - Loebe, F. AU - Kelso, J. AU - Herre, H. PY - 2007 DA - 2007// TI - Representing default knowledge in biomedical ontologies: Application to the integration of anatomy and phenotype ontologies JO - BMC Bioinformatics VL - 8 UR - https://doi.org/10.1186/1471-2105-8-377 DO - 10.1186/1471-2105-8-377 ID - Hoehndorf2007 ER - TY - JOUR AU - Ceusters, W. AU - Elkin, P. AU - Smith, B. PY - 2006 DA - 2006// TI - Referent Tracking: The Problem of Negative Findings JO - Studies in health technology and informatics VL - 124 ID - Ceusters2006 ER - TY - BOOK AU - Barwise, J. AU - Etchemendy, J. PY - 2002 DA - 2002// TI - Language, Proof and Logic ID - Barwise2002 ER - TY - CHAP AU - Motik, B. AU - Patel-Schneider, P. F. AU - Parsia, B. PY - 2009 DA - 2009// TI - OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax BT - Tech rep. W3C ID - Motik2009 ER - TY - BOOK AU - Hoehndorf, R. PY - 2009 DA - 2009// TI - Basic considerations for improving interoperability between ontology-based biological information systems ID - Hoehndorf2009 ER - TY - CHAP AU - Horridge, M. AU - Bechhofer, S. AU - Noppens, O. PY - 2007 DA - 2007// TI - Igniting the OWL 1.1 Touch Paper: The OWL API BT - Proceedings of OWLEd 2007: Third International Workshop on OWL Experiences and Directions ID - Horridge2007 ER - TY - BOOK AU - Hoehndorf, R. PY - 2010 DA - 2010// TI - OBO2OWL Conversion Project ID - Hoehndorf2010 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 - JOUR AU - Hoehndorf, R. AU - Ngomo, A. C. N. AU - Kelso, J. PY - 2010 DA - 2010// TI - Applying the functional abnormality ontology pattern to anatomical functions JO - J Biomed Semantics VL - 1 UR - https://doi.org/10.1186/2041-1480-1-4 DO - 10.1186/2041-1480-1-4 ID - Hoehndorf2010 ER - TY - JOUR AU - Schulz, S. AU - Stenzhorn, H. AU - Boeker, M. AU - Smith, B. PY - 2009 DA - 2009// TI - Strengths and limitations of formal ontologies in the biomedical domain JO - RECIIS - Electronic Journal in Communication, Information and Innovation in Health VL - 3 ID - Schulz2009 ER - TY - CHAP AU - Burek, P. PY - 2006 DA - 2006// TI - Ontology of Functions BT - PhD thesis PB - University of Leipzig CY - Institute of Informatics (IfI) ID - Burek2006 ER - TY - CHAP AU - Hoehndorf, R. AU - Kelso, J. AU - Herre, H. PY - 2009 DA - 2009// TI - Contributions to the formal ontology of functions and dispositions: An application of non-monotonic reasoning BT - Proceedings of Bio-Ontologies 2009: Knowledge in Biology ID - Hoehndorf2009 ER - TY - CHAP AU - Bard, J. AU - Rhee, S. Y. AU - Ashburner, M. PY - 2005 DA - 2005// TI - An ontology for cell types BT - Genome Biology UR - https://doi.org/10.1186/gb-2005-6-2-r21 DO - 10.1186/gb-2005-6-2-r21 ID - Bard2005 ER - TY - CHAP AU - Topalis, P. AU - Dialynas, E. AU - Mitraka, E. AU - Deliyanni, E. AU - Siden-Kiamos, I. AU - Louis, C. PY - 2010 DA - 2010// TI - A set of ontologies to drive tools for the control of vector-borne diseases BT - Journal of biomedical informatics ID - Topalis2010 ER - TY - CHAP AU - Eilbeck, K. AU - Lewis, S. E. AU - Mungall, C. J. AU - Yandell, M. AU - Stein, L. AU - Durbin, R. AU - Ashburner, M. PY - 2005 DA - 2005// TI - The Sequence Ontology: A tool for the unification of genome annotations BT - Genome Biology ID - Eilbeck2005 ER - TY - CHAP AU - Mungall, C. J. AU - Batchelor, C. AU - Eilbeck, K. PY - 2010 DA - 2010// TI - Evolution of the Sequence Ontology terms and relationships BT - Journal of Biomedical Informatics ID - Mungall2010 ER - TY - CHAP AU - Mungall, C. AU - Day-Richter, J. PY - 2008 DA - 2008// TI - The OBO Flat File Format Specification, version 1.3 [DRAFT] BT - Tech. rep. The Gene Ontology Project ID - Mungall2008 ER - TY - CHAP AU - Mungall, C. PY - 2009 DA - 2009// TI - OBO-Format and Obolog Specification (1.3) DRAFT BT - Tech. rep. The Gene Ontology Project ID - Mungall2009 ER - TY - CHAP PY - 2007 DA - 2007// TI - Information technology - Common Logic (CL): a framework for a family of logic-based languages BT - Tech. rep. ISO International Standard ID - ref27 ER - TY - CHAP AU - Christian Bizer, T. H. AU - Berners-Lee, T. PY - 2009 DA - 2009// TI - Linked Data - The Story So Far BT - International Journal on Semantic Web and Information Systems ID - Christian Bizer2009 ER -