<!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>An architecture for e cient knowledge-driven information and data access (abstract)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Pablo Ruben Fillottrani</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>C. Maria Keet</string-name>
          <email>mkeet@cs.uct.ac.za</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Comision de Investigaciones Cient cas</institution>
          ,
          <addr-line>Provincia de Buenos Aires</addr-line>
          ,
          <country country="AR">Argentina</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Departamento de Ciencias e Ingenier a de la Computacion, Universidad Nacional del Sur</institution>
          ,
          <addr-line>Bah a Blanca</addr-line>
          ,
          <country country="AR">Argentina</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Department of Computer Science, University of Cape Town</institution>
          ,
          <country country="ZA">South Africa</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Advanced information systems require the orchestration of many components, including ontologies or knowledge graphs, and e cient data management, in order to provide a means for better informed decision-making and to keep up with new requirements in organisational needs. A major question in delivering such systems, is which components to design and put together to create a `knowledge to data' pipeline, as each component and process has trade-o s, such as the computational complexity of the representation and query languages, which reasoning services that operate under an open or closed world, and maintainability. Such a combination of knowledge with data is named with various terms, including ontology-based data access (OBDA) [4], with (virtual) knowledge graphs gaining in popularity in research and industry (e.g., [12, 15]). OBDA has become synonymous with the approach of declaring a mapping layer between knowledge represented in an OWL le and data stored in a relational database whilst using query rewriting in answering conjunctive queries. That mapping layer is known to be costly both computationally [7] and in design and maintenance [10]. Also, database users may want to retain full SQL expressiveness when querying data, and remain within the closed world assumption they are more familiar with cf. the open world assumption in OBDA systems. In an attempt to avoid these issues, an \Abstract Relational Model" (ARM) with special object identi ers and a strict extension to SQL for path queries (SQLP) has been proposed [3] and experimentally shown to simplify queries [11]. This approach avoids the costly mapping layer through transformations and o ers more than full SQL, but the ARM is not an ontology. Put di erently this ARM+SQLP falls short of the knowledge layer. We aim to address this limitation of the ARM+SQLP option. To this end, we introduce a new knowledge-to-data architecture, KnowID: Knowledge-driven Information and Data access. It pulls together both recently proposed components of the knowledge layer and, to complete the pipeline, we add novel transformation rules between EER and the ARM, which enhances and adapts rules from the regular EER-to/from-Relational Model (RM) transformation with important additional expressiveness. KnowID's components and the addition to ARM+SQLP is visualised in Fig. 1. Regarding the four steps in the top block: 1) If the model is not in EER, one can convert it into EER by means of a metamodel or common core (e.g., [5, 9]); 2) If the EER diagram was not formalised</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>conceptual 1. Conversion to
data model EER (if applicable)
or application
ontology C
2. Formalisation
(if applicable)
3. Classification
4. Materialisation
of deductions
Knowledge and information</p>
      <p>management
ARM+SQLP</p>
      <p>SQL Evaluation of
result q1 over S+D</p>
      <p>Data completion</p>
      <p>EER diagram</p>
      <p>transform
Database transform
schema(s) S</p>
      <p>Data D</p>
      <p>RM A’
transform</p>
      <p>ARM A</p>
      <p>Query
request Q
query formulation
in SQLP, assisted</p>
      <p>
        by A or C
q1 in SQLP
yet, one of the logic-based reconstructions may be used (e.g., [
        <xref ref-type="bibr" rid="ref14 ref2">2, 14</xref>
        ]) that,
ideally, supports all that KnowID supports as modelling language features: entity
type (weak and strong), n-ary relationship (n 2), attribute, basic cardinality
constraints (0..n, 0..1, 1, 1..n) and identi er, entity type subsumption, and
disjointness and covering constraints; 3) inferences can be computed (e.g., with a
DL reasoner) and undesirable deductions dealt with by the modeller as usual;
and 4) materialising the deductions amounts to modifying the EER diagram by
adding the acceptable deductions to the model, in a similar fashion as used to
be possible in the earlier Protege tool for OWL [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. The model resulting from
completing step 4 is the one that will be closed and transformed into an ARM
by means of our proposed set of rules and then used for querying the data.
      </p>
      <p>
        KnowID's functionality is thus similar to OBDA systems [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] and to `enhanced'
databases such as OntoMinD [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]: one can reason and pose queries at the
knowledge layer|i.e., supporting a user in what to query, without the labour-intensive
discovery of how and where|that will be evaluated over an `intelligent' database
that avails of the formally represented knowledge in the conceptual data model
or ontology. Architecturally, a distinct practical advantage is that it achieves this
through a series of automated transformations that are linear in the model's size,
rather than (manual or automated) speci cations of non-trivial mappings in a
separate mapping layer. Further advantages are closed world assumption
commonly used in information systems and full SQL augmented with path queries.
The latter has been shown in user experiments to make query formulation faster
with at least the same level of accuracy or fewer errors [
        <xref ref-type="bibr" rid="ref11 ref8">11, 8</xref>
        ], and discovery
through paths is seen as essential for data integration [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ].
      </p>
      <p>We are currently implementing the EER$ARM transformation rules as a
rst step toward concretely realising KnowID as a usable and scalable software
system.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Al-Jadir</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Parent</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Spaccapietra</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Reasoning with large ontologies stored in relational databases: The OntoMinD approach</article-title>
          .
          <source>DKE 69</source>
          ,
          <issue>1158</issue>
          {
          <fpage>1180</fpage>
          (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Artale</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Calvanese</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kontchakov</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ryzhikov</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zakharyaschev</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Reasoning over extended ER models</article-title>
          . In: Parent,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Schewe</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.D.</given-names>
            ,
            <surname>Storey</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.C.</given-names>
            ,
            <surname>Thalheim</surname>
          </string-name>
          ,
          <string-name>
            <surname>B.</surname>
          </string-name>
          <source>(eds.) Proc. of ER'07. LNCS</source>
          , vol.
          <volume>4801</volume>
          , pp.
          <volume>277</volume>
          {
          <fpage>292</fpage>
          . Springer (
          <year>2007</year>
          ), auckland, New Zealand, November 5-
          <issue>9</issue>
          ,
          <fpage>2007</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Borgida</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Toman</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weddell</surname>
            ,
            <given-names>G.E.</given-names>
          </string-name>
          :
          <article-title>On referring expressions in information systems derived from conceptual modelling</article-title>
          .
          <source>In: Proc. of ER'16. LNCS</source>
          , vol.
          <volume>9974</volume>
          , pp.
          <volume>183</volume>
          {
          <fpage>197</fpage>
          . Springer (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Calvanese</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cogrel</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Komla-Ebri</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kontchakov</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lanti</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rezk</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rodriguez-Muro</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Xiao</surname>
          </string-name>
          , G.:
          <article-title>Ontop: Answering SPARQL queries over relational databases</article-title>
          .
          <source>Semantic Web Journal</source>
          <volume>8</volume>
          (
          <issue>3</issue>
          ),
          <volume>471</volume>
          {
          <fpage>487</fpage>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Fillottrani</surname>
            ,
            <given-names>P.R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Keet</surname>
            ,
            <given-names>C.M.</given-names>
          </string-name>
          :
          <article-title>Evidence-based languages for conceptual data modelling pro les</article-title>
          . In: Morzy,
          <string-name>
            <surname>T.</surname>
          </string-name>
          , et al.
          <source>(eds.) Proc. of ADBIS'15. LNCS</source>
          , vol.
          <volume>9282</volume>
          , pp.
          <volume>215</volume>
          {
          <fpage>229</fpage>
          . Springer (
          <year>2015</year>
          ),
          <fpage>8</fpage>
          -
          <issue>11</issue>
          <year>Sept</year>
          ,
          <year>2015</year>
          , Poitiers, France
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Gennari</surname>
            ,
            <given-names>J.H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Musen</surname>
            ,
            <given-names>M.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fergerson</surname>
            ,
            <given-names>R.W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Grosso</surname>
            ,
            <given-names>W.E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Crubezy</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Eriksson</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Noy</surname>
            ,
            <given-names>N.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tu</surname>
            ,
            <given-names>S.W.:</given-names>
          </string-name>
          <article-title>The evolution of Protege: an environment for knowledge-based systems development</article-title>
          .
          <source>International Journal of Human-Computer Studies</source>
          <volume>58</volume>
          (
          <issue>1</issue>
          ),
          <volume>89</volume>
          {
          <fpage>123</fpage>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Gottlob</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kikot</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kontchakov</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Podolskii</surname>
            ,
            <given-names>V.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schwentick</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zakharyaschev</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>The price of query rewriting in ontology-based data access</article-title>
          .
          <source>Artif. Intell</source>
          .
          <volume>213</volume>
          ,
          <issue>42</issue>
          {
          <fpage>59</fpage>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Junkkari</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vainio</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Iltanenan</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Arvola</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kari</surname>
          </string-name>
          , H., , Kekalainen, J.:
          <article-title>Path expressions in SQL: A user study on query formulation</article-title>
          .
          <source>Journal of Database Management</source>
          <volume>22</volume>
          (
          <issue>3</issue>
          ),
          <year>22p</year>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Keet</surname>
            ,
            <given-names>C.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fillottrani</surname>
            ,
            <given-names>P.R.:</given-names>
          </string-name>
          <article-title>An ontology-driven unifying metamodel of UML Class Diagrams, EER, and ORM2</article-title>
          .
          <source>DKE 98</source>
          ,
          <issue>30</issue>
          {
          <fpage>53</fpage>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Lubyte</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tessaris</surname>
            ,
            <given-names>S.:</given-names>
          </string-name>
          <article-title>Automated extraction of ontologies wrapping relational data sources</article-title>
          .
          <source>In: Proc of DEXA'09</source>
          . pp.
          <volume>128</volume>
          {
          <fpage>142</fpage>
          . Springer (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Ma</surname>
          </string-name>
          , W.,
          <string-name>
            <surname>Keet</surname>
            ,
            <given-names>C.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Oldford</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Toman</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weddell</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          :
          <article-title>The utility of the abstract relational model and attribute paths in sql</article-title>
          . In: Faron Zucker,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Ghidini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Napoli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            ,
            <surname>Toussaint</surname>
          </string-name>
          ,
          <string-name>
            <surname>Y</surname>
          </string-name>
          . (eds.)
          <source>Proc. of EKAW'18</source>
          . pp.
          <volume>195</volume>
          {
          <fpage>211</fpage>
          . Springer (
          <year>2018</year>
          ),
          <fpage>12</fpage>
          -
          <lpage>16</lpage>
          Nov.
          <year>2018</year>
          , Nancy, France
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Noy</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gao</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jain</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Narayanan</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Patterson</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Taylor</surname>
          </string-name>
          , J.:
          <article-title>Industry-scale knowledge graphs: Lessons and challenges</article-title>
          .
          <source>Queue</source>
          <volume>17</volume>
          (
          <issue>2</issue>
          ),
          <volume>20</volume>
          :
          <fpage>48</fpage>
          {
          <fpage>20</fpage>
          :75 (Apr
          <year>2019</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Stonebraker</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>F.</surname>
          </string-name>
          ,
          <string-name>
            <surname>I.I.</surname>
          </string-name>
          :
          <article-title>Data integration: the current status and the way forward</article-title>
          .
          <source>IEEE Data Engineering</source>
          <volume>41</volume>
          (
          <issue>2</issue>
          ), 3{
          <issue>9</issue>
          (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Toman</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weddell</surname>
            ,
            <given-names>G.E.</given-names>
          </string-name>
          :
          <article-title>On adding inverse features to the description logic CFD8nc</article-title>
          .
          <source>In: Proc of PRICAI</source>
          <year>2014</year>
          . pp.
          <volume>587</volume>
          {
          <issue>599</issue>
          (
          <year>2014</year>
          ), Gold Coast,
          <string-name>
            <surname>QLD</surname>
          </string-name>
          , Australia, December 1-
          <issue>5</issue>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Xiao</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ding</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cogrel</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Calvanese</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Virtual knowledge graphs: An overview of systems and use cases</article-title>
          .
          <source>Data Intelligence</source>
          <volume>1</volume>
          ,
          <issue>201</issue>
          {
          <fpage>223</fpage>
          (
          <year>2019</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>