<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>ICBO 2023 Tutorial: BFO as a top-level ontology for information systems modeling</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Mauricio Barcellos Almeida</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jeanne L. Emygdio</string-name>
          <email>jeanne.emygdio@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Catholic University of Minas Gerais</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Federal University of Minas Gerais</institution>
          ,
          <addr-line>Belo Horizonte, MG</addr-line>
          ,
          <country country="BR">Brazil</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>text. Basic Formal Ontology (BFO) is a top-level ontology designed to support information retrieval, analysis and integration in scientific and other domains. BFO is used by more than 250 ontology-driven endeavors throughout the world. Indeed, BFO is not only a toplevel ontology, rather a framework of resources that provides means to address corporations, including healthcare corporations. Such a framework encompasses middle-level ontologies for several purposes: time and place, information, measures, industry, finance, processes, properties and physical objects. This tutorial explores the potential of BFO for conceptual modeling and it is composed of two parts: The first part aims to introduce basic categories of the world, namely, those adopted within the BFO framework to develop domain ontologies. We will approach the four classification axes from which the primary categories are derived to reach this goal. We will finish the part by presenting the levels of the BFO taxonomy and some theoretical exercises about classification. The second part consists of a hands-on lesson about Protégé, one of the most essential editors in developing ontologies. After some basic notions of the Protégé's UI, we will import BFO and use the editor to classify the entities studied in the first part of the tutorial. We will finish our tutorial with an additional example of corporation modeling.</p>
      </abstract>
      <kwd-group>
        <kwd>1 Basic Formal Ontology</kwd>
        <kwd>top-level ontology</kwd>
        <kwd>Protégé</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>