<<

BUILDING WITH BASIC FORMAL

Robert Arp, Barry Smith, and Andrew Spear

Forthcoming August 2015; ISBN 978-0-262-52781-1

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to new disciplinary fields such as biomedical informatics. Applied ontology offers a strategy for organizing scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, , and philosophy. This book provides an introduction to the field of applied ontology that is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use.

After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic (BFO) now used by over 100 ontology projects throughout the world, and offers examples of domain ontologies that utilize BFO. The book also describes the Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies.

Table of Contents

Introduction

1 What is an Ontology?

2 Kinds of Ontologies and the Role of Taxonomies

3 Principles of Best Practice I: Domain Ontology Design

4 Principles of Best Practice II: Terms, Definitions, and Classification

5 Introduction to Basic Formal Ontology I: Continuants

6 Introduction to Basic Formal Ontology II: Occurrents

7 The Ontology of Relations

8 Basic Formal Ontology at Work

Appendix on Implementation: Languages, Editors, Reasoners, Browsers

Glossary

For further details see http://ontology.buffalo.edu/BOBFO ______

Authors

Robert Arp is a researcher and analyst for the U.S. Army at Fort Leavenworth, Kansas, who has worked on ontologies also for the U.S. Air Force and the National Institutes of Health. Between 2007 and 2009 he worked work with Smith as post- doctoral research fellow in Buffalo.

Barry Smith is Distinguished Professor of Philosophy at the University of Buffalo and co-Founder and Director of the National Center for Ontological Research.

Andrew Spear is Associate Professor of Philosophy at Grand Valley State University in Allendale, Michigan. Spear worked with Smith in the institute for Formal Ontology and Medical Information Science (IFOMIS) in Saarbrücken, Germany and received his PhD from the University at Buffalo in 2009.