<!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>Focusing on a Vocabulary: Ontology Inseparability, Uniform Interpolation and Modularity (Abstract of Invited Talk)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Boris Konev</string-name>
          <email>konev@liverpool.ac.uk</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer Science, University of Liverpool</institution>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2017</year>
      </pub-date>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Standardisation and wide acceptance of the web ontology language OWL and
its profiles have led to the proliferation of description logic ontologies, especially
in the medical, bioinformatics and semantic web domains. The sheer size and
complexity make it virtually impossible for a human to comprehend the
underlying logical structure of an ontology as a whole, so it can be advantageous for
ontology engineers to concentrate on specific parts of an ontology. On the other
hand, local changes to a logical theory, and interactions between such changes,
can have unpredictable non-local effects. Ontology inseparability, closely linked
with the notion of conservative extension, is a powerful tool to capture non-local
dependencies between ontology terms within a given vocabulary, depending on
a specific application scenario. In this talk, we consider different notions of
ontology inseparability and their applications to modularity, forgetting and logical
difference.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>