Basic Formal Ontology (BFO)

BFOBasic Formal Ontology

Publications

BOOKS

Robert Arp, Barry Smith and Andrew Spear: Building Ontologies With Basic Formal Ontology, MIT Press, 2015

ARTICLES

Andrew Spear, Werner Ceusters and Barry Smith: "Functions in Basic Formal Ontology", Applied Ontology, 11:2 (2016), 103-128
Selja Seppälä, Barry Smith and Werner Ceusters: "Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology", Formal Ontology in Information Systems. Proceedings of the Sixth International Conference (FOIS 2014), IOS Press, 2014, 227-240
Barry Smith: "Classifying Processes: An Essay in Applied Ontology", Ratio, 25:4 (2012), 463-488
Barry Smith: "On Classifying Material Entities in Basic Formal Ontology", Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting, Tokyo: Keio University Press, 2012, 1-13
Patrice Seyed and Stuart Shapiro: "A Method for Evaluating Ontologies - Introducing the BFO-Rigidity Decision Tree Wizard", Formal Ontology in Information Systems (FOIS 2012), DOI:10.3233/978-1-61499-084-0-191
Albert Goldfain, Barry Smith and Lindsay Cowell: "Dispositions and the Infectious Disease Ontology", Ontology in Information Systems. Proceedings of the Sixth International Conference (FOIS 2010), IOS Press, 2010, 400-413
Kerry Trentelman, Barry Smith: "An Axiomatisation of Basic Formal Ontology with Projection Functions", Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop (AOW 2010), ACS, 2010, 71-80
Pierre Grenon and Barry Smith: "SNAP and SPAN: Towards Dynamic Spatial Ontology", Spatial Cognition and Computation, 4: 1 (March 2004), 69-103
Pierre Grenon, Barry Smith and Louis Goldberg: "Biodynamic Ontology: Applying BFO in the Biomedical Domain", in D. M. Pisanelli (ed.), Ontologies in Medicine: Proceedings of the Workshop on Medical Ontologies, Rome October 2003 (Studies in Health and Technology Informatics, 102), Amsterdam: IOS Press, 2004, 20-38.
Barry Smith, Anand Kumar, Thomas Bittner: "Basic Formal Ontology for Bioinformatics", IFOMIS Reports, 2005.
Jonathann Simon, Mariana Dos Santos, James Fielding, Barry Smith: "Formal ontology for natural language processing and the integration of biomedical databases", International Journal of Medical Informatics, Volume 75, Issues 3–4, March–April 2006, Pages 224-231
Barry Smith, M. Brochhausen: "Putting Biomedical Ontologies to Work", Methods of information in medicine, 2010
Cornelius Rosse, Anand Kumar, Jose L.V. Mejino Jr, Daniel L. Cook, et al: "A Strategy for Improving and Integrating Biomedical Ontologies", AMIA Annu Symp Proc. 2005; 2005: 639–643
Werner Ceusters: "An information artifact ontology perspective on data collections and associated representational artifacts", MIE, 2012
William R. Hogan: "Aligning the top-level of SNOMED-CT with Basic Formal Ontology", KR-MED, 2008
Werner Ceusters, Peter Elkin, Barry Smith: "Negative findings in electronic health records and biomedical ontologies: A realist approach", International journal of medical informatics, 2007
Werner Ceusters, Barry Smth: "A unified framework for biomedical terminologies and ontologies", Studies in Health Technology and Informatics, 2010
Werner Ceusters, Peter Elkin, Barry Smith: "Referent tracking: The problem of negative findings", Studies in Health Technology and Informatics, 2010
Selja Seppälä: "Mapping WordNet to the Basic Formal Ontology using the KYOTO ontology", ICBO 2015
Mustafa Jarrar and Werner Ceusters: "Classifying Processes and Basic Formal Ontology"
C. Maria Keet: "The Use of Foundational Ontologies in Ontology Development: An Empirical Assessment"
Christopher Ochs, Yehoshua Perl, James Geller, Sivaram Arabandi, TaniaTudorache, Mark A.Musen: "An empirical analysis of ontology reuse in BioPortal"
L. Temal, A. Rosier, O. Dameron and A. Burgun, “Mapping BFO and DOLCE,” Studies in Health Technology and Informatics, vol. 160, pp. 1065–1069, 2010.

BFOBasic Formal Ontology
Home GitHub Guidebook Publications FOL Users Tutorials Workshops
Publications BOOKS Robert Arp, Barry Smith and Andrew Spear: Building Ontologies With Basic Formal Ontology, MIT Press, 2015 ARTICLES Andrew Spear, Werner Ceusters and Barry Smith: "Functions in Basic Formal Ontology", Applied Ontology, 11:2 (2016), 103-128 Selja Seppälä, Barry Smith and Werner Ceusters: "Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology", Formal Ontology in Information Systems. Proceedings of the Sixth International Conference (FOIS 2014), IOS Press, 2014, 227-240 Barry Smith: "Classifying Processes: An Essay in Applied Ontology", Ratio, 25:4 (2012), 463-488 Barry Smith: "On Classifying Material Entities in Basic Formal Ontology", Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting, Tokyo: Keio University Press, 2012, 1-13 Patrice Seyed and Stuart Shapiro: "A Method for Evaluating Ontologies - Introducing the BFO-Rigidity Decision Tree Wizard", Formal Ontology in Information Systems (FOIS 2012), DOI:10.3233/978-1-61499-084-0-191 Albert Goldfain, Barry Smith and Lindsay Cowell: "Dispositions and the Infectious Disease Ontology", Ontology in Information Systems. Proceedings of the Sixth International Conference (FOIS 2010), IOS Press, 2010, 400-413 Kerry Trentelman, Barry Smith: "An Axiomatisation of Basic Formal Ontology with Projection Functions", Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop (AOW 2010), ACS, 2010, 71-80 Pierre Grenon and Barry Smith: "SNAP and SPAN: Towards Dynamic Spatial Ontology", Spatial Cognition and Computation, 4: 1 (March 2004), 69-103 Pierre Grenon, Barry Smith and Louis Goldberg: "Biodynamic Ontology: Applying BFO in the Biomedical Domain", in D. M. Pisanelli (ed.), Ontologies in Medicine: Proceedings of the Workshop on Medical Ontologies, Rome October 2003 (Studies in Health and Technology Informatics, 102), Amsterdam: IOS Press, 2004, 20-38. Barry Smith, Anand Kumar, Thomas Bittner: "Basic Formal Ontology for Bioinformatics", IFOMIS Reports, 2005. Jonathann Simon, Mariana Dos Santos, James Fielding, Barry Smith: "Formal ontology for natural language processing and the integration of biomedical databases", International Journal of Medical Informatics, Volume 75, Issues 3–4, March–April 2006, Pages 224-231 Barry Smith, M. Brochhausen: "Putting Biomedical Ontologies to Work", Methods of information in medicine, 2010 Cornelius Rosse, Anand Kumar, Jose L.V. Mejino Jr, Daniel L. Cook, et al: "A Strategy for Improving and Integrating Biomedical Ontologies", AMIA Annu Symp Proc. 2005; 2005: 639–643 Werner Ceusters: "An information artifact ontology perspective on data collections and associated representational artifacts", MIE, 2012 William R. Hogan: "Aligning the top-level of SNOMED-CT with Basic Formal Ontology", KR-MED, 2008 Werner Ceusters, Peter Elkin, Barry Smith: "Negative findings in electronic health records and biomedical ontologies: A realist approach", International journal of medical informatics, 2007 Werner Ceusters, Barry Smth: "A unified framework for biomedical terminologies and ontologies", Studies in Health Technology and Informatics, 2010 Werner Ceusters, Peter Elkin, Barry Smith: "Referent tracking: The problem of negative findings", Studies in Health Technology and Informatics, 2010 Selja Seppälä: "Mapping WordNet to the Basic Formal Ontology using the KYOTO ontology", ICBO 2015 Mustafa Jarrar and Werner Ceusters: "Classifying Processes and Basic Formal Ontology" C. Maria Keet: "The Use of Foundational Ontologies in Ontology Development: An Empirical Assessment" Christopher Ochs, Yehoshua Perl, James Geller, Sivaram Arabandi, TaniaTudorache, Mark A.Musen: "An empirical analysis of ontology reuse in BioPortal" L. Temal, A. Rosier, O. Dameron and A. Burgun, “Mapping BFO and DOLCE,” Studies in Health Technology and Informatics, vol. 160, pp. 1065–1069, 2010.
Last changed by Alan Ruttenberg on 24 March 2020