<!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>Formal Foundations for RDF Evolution and Repair</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Grigoris Antoniou</string-name>
          <email>antoniou@ics.forth.gr</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Key Terms. LinkedData</institution>
          ,
          <addr-line>KnowledgeEvolution, KnowledgeRepresentation, KnowledgeManagementProcess</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>University of Huddersfield</institution>
          ,
          <country country="UK">United Kingdom</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>There are ongoing efforts to provide declarative formalisms of integrity constraints over RDF data. In this context, addressing the evolution of RDF knowledge bases while respecting associated constraints is a challenging issue, yet to receive a full formal treatment. This problem has become more important with the emergence of Linked Open Data, which is based on RDF. Linked Open Data is becoming a key enabler as it is rapidly being taken up by governments and organizations to make their information available and usable, and is the basis of significant economic activity around an emerging "data economy". In this talk we describe a theoretical framework for dealing with both schema and data change requests, based on the notion a rational change operator as one that satisfies the belief revision principles of Success, Validity and Minimal Change. The semantics of such an operator is subject to customization, by tuning the properties that a rational change should adhere to. We prove some interesting theoretical results, as well as algorithmic solutions. We then show how the problem of ontology repair can be addressed with similar techniques. And we conclude with a discussion of challenges that need to be addressed to further advance the state of the art.</p>
      </abstract>
      <kwd-group>
        <kwd />
        <kwd>RDF knowledge evolution</kwd>
        <kwd>integrity constraint</kwd>
        <kwd>Linked Open Data</kwd>
        <kwd>data economy</kwd>
        <kwd>schema and data change</kwd>
        <kwd>belief revision</kwd>
        <kwd>ontology repair</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>