<!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>Is An Upper Ontology Useful?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Peter Winstanley</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Semantic Arts</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Scotland</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Fort Collins</string-name>
        </contrib>
      </contrib-group>
      <abstract>
        <p>Ontologies play a fundamental role in information integration using semantic technologies. Whilst most ontologies are specific to a single domain, other ontologies provide a level of integration for these domain-specific ontologies and should be the starting point of any domain ontology work. They are referred to as 'upper ontologies'. This presentation will consider the benefits of using an upper level ontology and illustrate how they might be deployed in everyday use.</p>
      </abstract>
      <kwd-group>
        <kwd>1 Ontology</kwd>
        <kwd>information architecture</kwd>
        <kwd>knowledge management</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>Can upper ontologies be too abstract, or not abstract enough? The answer, unfortunately, is “it
depends”. Clearly having an ontology composed of disjoint owl:Thing and owl:Nothing might be
logically consistent, but it’s not really that helpful. At the other end of the spectrum, a complex ontology
with several hundred classes and properties, isn’t that helpful either. Looking at the history of the ‘gist’
ontology over the years of its 12 versions there seems to have been a consistency in the numbers of
classes – in the order of 140, and the number of axioms in total are in the 1500-1700 range. I think that
these are on a very human scale. The classes are roughly the same number as the people in our year at
high school, and the axiom count is in the same order as the number of people in the whole school.
These numbers mean that most people should be able to get to know the ontology quite well. This, to
my mind, is a relevant aspect of working out the ‘Goldilocks’ level of abstraction. With fewer classes
and axioms, the ontology is going to naturally be more abstract. This means that for every domain
ontology, high-level concepts are going to have to be (re-)created which will almost inevitably lead to
some repetitive work across domain ontologies. Conversely, if there are many more classes and axioms,
then there is likely to be too much detail for a top-level ontology or too much restriction/specialization
to promote reuse. That, in turn, leads to the creation of still more classes and axioms to suit the
immediate purpose.</p>
    </sec>
    <sec id="sec-2">
      <title>3. What is an upper-level ontology useful for?</title>
    </sec>
    <sec id="sec-3">
      <title>3.1. A starter palette of classes and properties</title>
      <p>The first thing that I think an upper-level ontology is useful for, is to provide an initial palette of
components for building domain ontologies. Without this upper-level, starting from owl:Thing, we
would need to build out similar classes and properties for every domain ontology that we are
developing. Using an upper-level ontology each time saves us time and effort. And it has the added
value of having been vetted through use by other modelers.
3.2.</p>
    </sec>
    <sec id="sec-4">
      <title>Commonality between domain ontologies</title>
      <p>Beyond saving time and effort, if we decide to use the same upper-level ontology each time we are
building a domain ontology, then there are going to be the same common upper-level classes. This
provides a link in a semantic way between domain ontologies. It will also link the domain ontologies
in a logical way. There are obviously pros and cons for doing this. The pros are that we get information
integration, albeit at a high level, for all data that is compiled using our domain ontologies. The
potential con arises from the fact that the expressivity of the final ontology might not be suited to either
the task at hand, or to the software (triplestores, reasoners, etc.) that we are using with our data.</p>
      <p>I’m discussing OWL2 ontologies in this paper because they are the ones we use in practice at
Semantic Arts, and this is a paper based on practical data engineering in real-world settings. OWL2 is
based on a family of description logics. These translate into OWL2 profiles, and the profiles are
optimisations of OWL2 for specific tasks. If there are logical relationships or constraints expressed in
the upper-level ontology that are not consistent with the required profile of the domain ontology, then
something has to give. Either we need a new upper-level ontology, or else we do some axiom pruning
of the full representation of the domain ontology and its imported upper-level ontology.</p>
      <p>
        The gist ontology has the expressivity SROIQ(D). It is consistent with the OWL2 DL. However,
the triplestore RDFox works with ontologies of the OWL2 RL profile [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. The pruning of axioms to
bring an OWL2 DL ontology into line with the RL profile requires the removal of …. and this can be
done using tooling such as the OWL toolkit [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
3.3.
      </p>
    </sec>
    <sec id="sec-5">
      <title>Logical consistency of models</title>
      <p>When working with ontologies, using the description logics as architectural logical principles, we
can at any point in the development of a domain ontology assess the logical consistency of our
developing model. This is an important step of ontology development, and, unfortunately, tools that
don’t include the possibility of using a reasoner make undertaking this check really difficult. The key
point I want to make about the utility of an upper level ontology in this regard is that, if it is
welldesigned, there will be a number of axioms that help partition the world of ‘things’ - it will ‘cleave
nature at its joints’ using disjoint axiom (“this” is not “that”), and if this heavy lifting is done once, and
at a high level of abstraction, then it saves us time by not only doing the job, but even just remembering
to do the job. From a practical perspective, anything that we can do to save time and to build in
effectiveness in the logical consequences of our ontology axioms is going to improve the performance
and accuracy of reasoning over data using our ontologies. Using the same upper-level ontology over
many domain ontologies ensures logical consistency across the datasets built using these domain
ontologies.
3.4.</p>
    </sec>
    <sec id="sec-6">
      <title>A common vocabulary</title>
      <p>As we all know, words matter. Using the upper-level ontology as a common vocabulary across an
organisation provides a shared set of abstract terms that allow people to chunk their thought and to
collaborate across workstreams and domains effectively. The ontology is not only to be used by
computers – it is part of the vocabulary of the organization. Choice of an upper-level ontology is going
to be critical here if we want to encourage the use of the class names to enter/reflect the corporate
vocabulary. ‘Continuant fiat boundary’ might not be for everyone. Clearly here I’m not talking about
using the most abstract ontologies. But ones such as gist, Dolce Ultralite, and Dolce Zero are good
candidates for upper ontologies where the vocabulary matches that of everyday speech in the
organization. Encouragement to use these ontology terms in the work environment can lead to
improved specificity of communication and more rapid collaboration on information sharing. Another
aspect of ‘common vocabulary’ is that explicit semantics expressed through ontologies and graph
serialisations such as RDF provide a common vocabulary between people and computers – the code,
the data, everything that the computer has to work with, is serializable to something that people can
easily understand.
3.5.</p>
    </sec>
    <sec id="sec-7">
      <title>A tool for thought</title>
      <p>
        Once we have a shared vocabulary of abstract concepts that is shared across an enterprise, it becomes
a tool for thinking. Psychological research tells us about the 5 +/- 2 slots that we have in working
memory, and that there is an auditory loop. Chunking our thinking using well-understood abstractions
within the enterprise as a standard modus operandi is something that psychological research describes.
It is not only the upper-level abstractions, but also their co-occurrences that help us relate domain
knowledge [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. As it is with people, so it is with the data of a knowledge graph. We can use the
highlevel abstractions to work up, down, and horizontally through the graph to get a more thorough
understanding of the data contained in the graph.
3.6.
      </p>
    </sec>
    <sec id="sec-8">
      <title>Integrated data</title>
      <p>Knowledge graph data from multiple domains converted or created using a domain ontology based
on a common upper ontology becomes interoperable in that it can be queried from a single set of upper
ontology terms. I have described this as being like arranging clothes in a closet using a hanger. The
simple step of using that upper ontology as the ‘hanger’ makes viewing and arranging (sorting,
querying, re-arranging, etc.) data from all datasets a joy rather than a pain. This tends to be the main
selling point of using an upper ontology, but it is just one of many.
3.7.</p>
    </sec>
    <sec id="sec-9">
      <title>Partitioning data</title>
      <p>The corollary of integrating data on the basis of abstract terms in an upper-level ontology means
also that these integrated data can be partitioned into trees on the basis of a simple single selection step.
This should speed up querying, but it may also be that it helps secure data. For example, in our data
we may have clients, patients, suppliers and so on, but knowing that each of these is a rdfs:subClassOf
e.g. gist:Person makes it easier than it might otherwise be to identify data assets that are controlled by
GDPR or CCPA.</p>
    </sec>
    <sec id="sec-10">
      <title>4. Conclusion</title>
      <p>A reflection on practice supports the idea that an upper ontology is significantly more useful than
simply a means to enable information integration. The development of practice will include exploiting
further the additional utility that I have described.</p>
    </sec>
    <sec id="sec-11">
      <title>5. Acknowledgements</title>
      <p>Thanks to all colleagues in Semantic Arts, and especially to Dylan Abney, Dan Carey and Rebecca
Younes for review and suggestions.</p>
      <p>This Word template was created by Aleksandr Ometov, TAU, Finland. The template is made
available under a Creative Commons License Attribution-ShareAlike 4.0 International (CC BY-SA
4.0).</p>
    </sec>
    <sec id="sec-12">
      <title>6. References</title>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Semantic</given-names>
            <surname>Arts</surname>
          </string-name>
          gist ontology,
          <year>2023</year>
          . URL: https://semanticarts.com/gist
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>V.</given-names>
            <surname>Mascardi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Cordì</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Rosso</surname>
          </string-name>
          ,
          <article-title>A Comparison of Upper Ontologies</article-title>
          . In: WOA 2007:
          <article-title>Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents</article-title>
          , Genova, Italy. Seneca Edizioni, Torino,
          <year>2007</year>
          , pp.
          <fpage>55</fpage>
          -
          <lpage>64</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>Construction</given-names>
            <surname>Innovation</surname>
          </string-name>
          <article-title>Hub: A survey of top level ontologies</article-title>
          . URL: https://www.cdbb.cam.ac.uk/files/a_survey_
          <article-title>of_top-level_ontologies_lowres</article-title>
          .pdf
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4] RDFox, URL: https://docs.oxfordsemantic.
          <source>tech/reasoning</source>
          .html#owl-2
          <article-title>-ontologies-vs-rdfox-rules</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>OWL</given-names>
            <surname>Toolkit</surname>
          </string-name>
          , URL: https://github.com/noorbakerally/owl-toolkit
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>J.R.</given-names>
            <surname>Binder</surname>
          </string-name>
          ,
          <article-title>In defense of abstract conceptual representations</article-title>
          ,
          <source>Psychon Bull Rev</source>
          <volume>23</volume>
          , (
          <year>2016</year>
          )
          <fpage>1096</fpage>
          -
          <lpage>1108</lpage>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>