<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main">Formal Foundations for RDF Evolution and Repair</title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author role="corresp">
							<persName><forename type="first">Grigoris</forename><surname>Antoniou</surname></persName>
							<email>antoniou@ics.forth.gr</email>
							<affiliation key="aff0">
								<orgName type="institution">University of Huddersfield</orgName>
								<address>
									<country key="GB">United Kingdom</country>
								</address>
							</affiliation>
						</author>
						<title level="a" type="main">Formal Foundations for RDF Evolution and Repair</title>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">1F6760B639D96485017E92B3DEBC8031</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-24T01:36+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<textClass>
				<keywords>
					<term>RDF knowledge evolution</term>
					<term>integrity constraint</term>
					<term>Linked Open Data</term>
					<term>data economy</term>
					<term>schema and data change</term>
					<term>belief revision</term>
					<term>ontology repair LinkedData</term>
					<term>KnowledgeEvolution</term>
					<term>KnowledgeRepresentation</term>
					<term>KnowledgeManagementProcess</term>
				</keywords>
			</textClass>
			<abstract>
<div xmlns="http://www.tei-c.org/ns/1.0"><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></div>
			</abstract>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body/>
		<back>
			<div type="references">

				<listBibl/>
			</div>
		</back>
	</text>
</TEI>
