{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:32:06Z","timestamp":1723015926284},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"abstract":"<jats:p>We extend ontology-based data access with integrity constraints over both the source and target schemas. The relevant reasoning problems in this setting are constraint satisfaction\u2014to check whether a database satisfies the target constraints given the mappings and the ontology\u2014and source-to-target (resp., target-to-source) constraint implication, which is to check whether a target constraint (resp., a source constraint) is satisfied by each database satisfying the source constraints (resp., the target constraints). We establish decidability and complexity bounds for all these problems in the case where ontologies are expressed in DL-LiteR and constraints range from functional dependencies to disjunctive tuple-generating dependencies.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/253","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:46:05Z","timestamp":1564299965000},"page":"1829-1835","source":"Crossref","is-referenced-by-count":7,"title":["Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access"],"prefix":"10.24963","author":[{"given":"Charalampos","family":"Nikolaou","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oxford, UK"},{"name":"Infor, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Egor V.","family":"Kostylev","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Kaminski","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2019","name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","start":{"date-parts":[[2019,8,10]]},"theme":"Artificial Intelligence","location":"Macao, China","end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:47:53Z","timestamp":1564300073000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/253"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/253","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}