Building Ontologies with Basic Formal Ontology
Building Ontologies with Basic Formal Ontology
Robert Arp, Barry Smith, and Andrew D. Spear
The MIT Press
Cambridge, Massachusetts
London, England
© 2015 Massachusetts Institute of Technology
All rights reserved. No part of this book may be reproduced in any form by any electronic or me-
chanical means (including photocopying, recording, or information storage and retrieval) with-
out permission in writing from the publisher.
MIT Press books may be purchased at special quantity discounts for business or sales promotional
use. For information, please email special_sales@mitpress.mit.edu .
This book was set in Stone Sans and Stone Serif by Toppan Best-set Premedia Limited. Printed and
bound in the United States of America.
Library of Congress Cataloging-in-Publication Data is available.
ISBN: 978-0-262-52781-1 (paperback)
10
9
8
7
6
5
4
3
2
1
To Susan, Sandra, and Maria Teresa
Contents
ix
Preface
Acknowledgments
xiii
Introduction
xi
1
2
3
4
5
6
7
8
1
What Is an Ontology?
Kinds of Ontologies and the Role of Taxonomies
27
Principles of Best Practice I: Domain Ontology Design
Principles of Best Practice II: Terms, Definitions, and Classification
Introduction to Basic Formal Ontology I: Continuants
Introduction to Basic Formal Ontology II: Occurrents
The Ontology of Relations
131
Basic Formal Ontology at Work
85
121
151
43
59
177
173
Appendix on Implementation: Languages, Editors, Reasoners, Browsers, Tools for
Reuse
Glossary
Web Links Mentioned in the Text Including Ontologies, Research Groups, Software, and
Reasoning Tools
Notes
189
Bibliography
215
Index
187
201