Dealing with Inconsistencies due to Class Disjointness in SPARQL Update. Ahmeti, A., Calvanese, D., Savenkov, V., & Polleres, A. In 28th International Workshop on Description Logics (DL2015), Athens, Greece, June, 2015. 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/class disjointness axioms, we define two 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. The latter approach builds upon existing work on the evolution of DL-Lite knowledge bases, setting it in the context of generic SPARQL updates.
@inproceedings{ahme-etal-2015DL,
author = {Albin Ahmeti and Diego Calvanese and Vadim Savenkov and Axel Polleres},
booktitle = {28th International Workshop on Description Logics (DL2015)},
title = {{Dealing with Inconsistencies due to Class Disjointness in SPARQL Update}},
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/class disjointness
axioms, we define two 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. The latter approach builds upon existing work
on the evolution of DL-Lite knowledge bases, setting it in the context of
generic SPARQL updates.},
year = 2015,
month = jun,
day = {7--10},
url = {http://www.polleres.net/publications/ahme-etal-2015DL.pdf},
address = {Athens, Greece},
}
Downloads: 0
{"_id":"Q9u5Ja44u8Jzywzcv","bibbaseid":"ahmeti-calvanese-savenkov-polleres-dealingwithinconsistenciesduetoclassdisjointnessinsparqlupdate-2015","downloads":0,"creationDate":"2015-12-08T08:58:02.550Z","title":"Dealing with Inconsistencies due to Class Disjointness in SPARQL Update","author_short":["Ahmeti, A.","Calvanese, D.","Savenkov, V.","Polleres, A."],"year":2015,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Albin"],"propositions":[],"lastnames":["Ahmeti"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Savenkov"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"28th International Workshop on Description Logics (DL2015)","title":"Dealing with Inconsistencies due to Class Disjointness in SPARQL Update","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/class disjointness axioms, we define two 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. The latter approach builds upon existing work on the evolution of DL-Lite knowledge bases, setting it in the context of generic SPARQL updates.","year":"2015","month":"June","day":"7–10","url":"http://www.polleres.net/publications/ahme-etal-2015DL.pdf","address":"Athens, Greece","bibtex":"@inproceedings{ahme-etal-2015DL,\n author = {Albin Ahmeti and Diego Calvanese and Vadim Savenkov and Axel Polleres},\n booktitle = {28th International Workshop on Description Logics (DL2015)},\n title = {{Dealing with Inconsistencies due to Class Disjointness in SPARQL Update}},\n abstract = {The problem of updating ontologies has received increased attention in recent\nyears. In the approaches proposed so far, either the update language is\nrestricted to (sets of) atomic updates, or, where the full SPARQL update\nlanguage is allowed, the TBox language is restricted so that no inconsistencies\ncan arise. In this paper we discuss directions to overcome these limitations.\nStarting from a DL-Lite fragment covering RDFS and concept/class disjointness\naxioms, we define two semantics for SPARQL update: under cautious semantics,\ninconsistencies are resolved by rejecting updates potentially introducing\nconflicts; under brave semantics, instead, conflicts are overridden in favor of\nnew information where possible. The latter approach builds upon existing work\non the evolution of DL-Lite knowledge bases, setting it in the context of\ngeneric SPARQL updates.},\nyear = 2015,\nmonth = jun,\nday = {7--10},\nurl = {http://www.polleres.net/publications/ahme-etal-2015DL.pdf},\naddress = {Athens, Greece},\n}\n\n","author_short":["Ahmeti, A.","Calvanese, D.","Savenkov, V.","Polleres, A."],"key":"ahme-etal-2015DL","id":"ahme-etal-2015DL","bibbaseid":"ahmeti-calvanese-savenkov-polleres-dealingwithinconsistenciesduetoclassdisjointnessinsparqlupdate-2015","role":"author","urls":{"Paper":"http://www.polleres.net/publications/ahme-etal-2015DL.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"search_terms":["dealing","inconsistencies","due","class","disjointness","sparql","update","ahmeti","calvanese","savenkov","polleres"],"keywords":[],"authorIDs":["FyLDFGg993nDS2Spf"],"dataSources":["cBfwyqsLFQQMc4Fss","QfLT6siHZuHw9MqvK","gixxkiKt6rtWGoKSh"]}