<!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>From Complete to Incomplete Data and Back in Ontology-Enriched Databases</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Magdalena Ortiz</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute of Information Systems</institution>
          ,
          <addr-line>TU Wien</addr-line>
          ,
          <country country="AT">Austria</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Enriching a database with a background theory expressing domain knowledge, usually called an ontology, has been proposed as a tool to overcome the incompleteness of data. In ontology mediated querying the theory is used to infer answers that may involve implied facts not present in the data. This and other related reasoning problems have been extensively studied over the last decade, mostly for ontologies written in description logics and in dialects of Datalog . But the usual rst-order semantics used in this setting, which assumes that all data is incomplete, can sometimes be too weak and not give all expected answers. I will discuss some alternatives that have been explored for combining complete and incomplete data in the presence of description logic ontologies, and the challenges that they pose, including increased computational complexity of reasoning and non-monotonicity of the ontology mediated query languages they induce. I will discuss a few interesting reasoning problems that arise in these setting, and some translations from these query languages into variants of Datalog.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>