Handling Inconsistencies due to Class Disjointness in SPARQL Updates. Ahmeti, A., Calvanese, D., Polleres, A., & Savenkov, V. In Sack, H., Blomqvist, E., d'Aquin , M., Ghidini, C., Ponzetto, S. P., & Lange, C., editors, Proceedings of the 13th European Semantic Web Conference (ESWC2016), volume 9678, of Lecture Notes in Computer Science (LNCS), pages 387–404, Heraklion, Greece, June, 2016. Springer. Paper abstract bibtex The problem of updating ontologies has received increased attention in recent years. In the approaches proposed so far, either the update language is restricted to (sets of) atomic updates, or, where the full SPARQL update language is allowed, the TBox language is restricted so that no inconsistencies can arise. In this paper we discuss directions to overcome these limitations. Starting from a DL-Lite fragment covering RDFS and concept disjointness axioms, we define three semantics for SPARQL update: under cautious semantics, inconsistencies are resolved by rejecting updates potentially introducing conflicts; under brave semantics, instead, conflicts are overridden in favor of new information where possible; finally, the fainthearted semantics is a compromise between the former two approaches, designed to accommodate as much of the new information as possible, as long as consistency with the prior knowledge is not violated. We show how these semantics can be implemented in SPARQL via rewritings of polynomial size and draw first conclusions from their practical evaluation.
@inproceedings{ahme-etal-2016ESWC,
title = {Handling Inconsistencies due to Class Disjointness in {SPARQL} Updates},
author = {Albin Ahmeti and Diego Calvanese and Axel Polleres and Vadim Savenkov},
year = 2016,
month = jun,
day={29--2},
Address = {Heraklion, Greece},
abstract = {The problem of updating ontologies has received increased attention in recent years. In the approaches proposed so far, either the update language is restricted to (sets of) atomic updates, or, where the full SPARQL update language is allowed, the TBox language is restricted so that no inconsistencies can arise. In this paper we discuss directions to overcome these limitations. Starting from a DL-Lite fragment covering RDFS and concept disjointness axioms, we define three semantics for SPARQL update: under cautious semantics, inconsistencies are resolved by rejecting updates potentially introducing conflicts; under brave semantics, instead, conflicts are overridden in favor of new information where possible; finally, the fainthearted semantics is a compromise between the former two approaches, designed to accommodate as much of the new information as possible, as long as consistency with the prior knowledge is not violated. We show how these semantics can be implemented in SPARQL via rewritings of polynomial size and draw first conclusions from their practical evaluation.},
series = LNCS,
volume = 9678,
pages = {387--404},
editor = {Harald Sack and Eva Blomqvist and Mathieu d'Aquin and Chiara Ghidini and Simone Paolo Ponzetto and Christoph Lange},
booktitle = {Proceedings of the 13th European Semantic Web Conference (ESWC2016)},
url = {http://polleres.net/publications/ahme-etal-2016ESWC.pdf},
Publisher = {Springer},
}
Downloads: 0
{"_id":"zFSmEf6iKfoCsxLpx","bibbaseid":"ahmeti-calvanese-polleres-savenkov-handlinginconsistenciesduetoclassdisjointnessinsparqlupdates-2016","downloads":0,"creationDate":"2016-03-06T06:05:28.413Z","title":"Handling Inconsistencies due to Class Disjointness in SPARQL Updates","author_short":["Ahmeti, A.","Calvanese, D.","Polleres, A.","Savenkov, V."],"year":2016,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Handling Inconsistencies due to Class Disjointness in SPARQL Updates","author":[{"firstnames":["Albin"],"propositions":[],"lastnames":["Ahmeti"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Savenkov"],"suffixes":[]}],"year":"2016","month":"June","day":"29–2","address":"Heraklion, Greece","abstract":"The problem of updating ontologies has received increased attention in recent years. In the approaches proposed so far, either the update language is restricted to (sets of) atomic updates, or, where the full SPARQL update language is allowed, the TBox language is restricted so that no inconsistencies can arise. In this paper we discuss directions to overcome these limitations. Starting from a DL-Lite fragment covering RDFS and concept disjointness axioms, we define three semantics for SPARQL update: under cautious semantics, inconsistencies are resolved by rejecting updates potentially introducing conflicts; under brave semantics, instead, conflicts are overridden in favor of new information where possible; finally, the fainthearted semantics is a compromise between the former two approaches, designed to accommodate as much of the new information as possible, as long as consistency with the prior knowledge is not violated. We show how these semantics can be implemented in SPARQL via rewritings of polynomial size and draw first conclusions from their practical evaluation.","series":"Lecture Notes in Computer Science (LNCS)","volume":"9678","pages":"387–404","editor":[{"firstnames":["Harald"],"propositions":[],"lastnames":["Sack"],"suffixes":[]},{"firstnames":["Eva"],"propositions":[],"lastnames":["Blomqvist"],"suffixes":[]},{"firstnames":["Mathieu"],"propositions":["d'Aquin"],"lastnames":[],"suffixes":[]},{"firstnames":["Chiara"],"propositions":[],"lastnames":["Ghidini"],"suffixes":[]},{"firstnames":["Simone","Paolo"],"propositions":[],"lastnames":["Ponzetto"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Lange"],"suffixes":[]}],"booktitle":"Proceedings of the 13th European Semantic Web Conference (ESWC2016)","url":"http://polleres.net/publications/ahme-etal-2016ESWC.pdf","publisher":"Springer","bibtex":"@inproceedings{ahme-etal-2016ESWC,\ntitle = {Handling Inconsistencies due to Class Disjointness in {SPARQL} Updates},\nauthor = {Albin Ahmeti and Diego Calvanese and Axel Polleres and Vadim Savenkov},\nyear = 2016,\nmonth = jun,\nday={29--2},\nAddress = {Heraklion, Greece},\nabstract = {The problem of updating ontologies has received increased attention in recent years. In the approaches proposed so far, either the update language is restricted to (sets of) atomic updates, or, where the full SPARQL update language is allowed, the TBox language is restricted so that no inconsistencies can arise. In this paper we discuss directions to overcome these limitations. Starting from a DL-Lite fragment covering RDFS and concept disjointness axioms, we define three semantics for SPARQL update: under cautious semantics, inconsistencies are resolved by rejecting updates potentially introducing conflicts; under brave semantics, instead, conflicts are overridden in favor of new information where possible; finally, the fainthearted semantics is a compromise between the former two approaches, designed to accommodate as much of the new information as possible, as long as consistency with the prior knowledge is not violated. We show how these semantics can be implemented in SPARQL via rewritings of polynomial size and draw first conclusions from their practical evaluation.},\nseries = LNCS,\nvolume = 9678,\npages = {387--404},\neditor = {Harald Sack and Eva Blomqvist and Mathieu d'Aquin and Chiara Ghidini and Simone Paolo Ponzetto and Christoph Lange},\nbooktitle = {Proceedings of the 13th European Semantic Web Conference (ESWC2016)},\nurl = {http://polleres.net/publications/ahme-etal-2016ESWC.pdf},\nPublisher = {Springer},\n}\n\n","author_short":["Ahmeti, A.","Calvanese, D.","Polleres, A.","Savenkov, V."],"editor_short":["Sack, H.","Blomqvist, E.","d'Aquin , M.","Ghidini, C.","Ponzetto, S. P.","Lange, C."],"key":"ahme-etal-2016ESWC","id":"ahme-etal-2016ESWC","bibbaseid":"ahmeti-calvanese-polleres-savenkov-handlinginconsistenciesduetoclassdisjointnessinsparqlupdates-2016","role":"author","urls":{"Paper":"http://polleres.net/publications/ahme-etal-2016ESWC.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"search_terms":["handling","inconsistencies","due","class","disjointness","sparql","updates","ahmeti","calvanese","polleres","savenkov"],"keywords":[],"authorIDs":["545720922abc8e9f370000ae","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"dataSources":["cBfwyqsLFQQMc4Fss","QfLT6siHZuHw9MqvK","gixxkiKt6rtWGoKSh"]}