Conference item icon

Conference item

Satisfaction and implication of integrity constraints in ontology-based data access

Abstract:

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—to check whether a database satisfies the target constraints given the mappings and the ontology—and 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., t...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
  • (Version of record, pdf, 151.1KB)
Publisher copy:
10.24963/ijcai.2019/253

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Keble College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
Publisher:
International Joint Conferences on Artificial Intelligence Publisher's website
Journal:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence Journal website
Pages:
1829-1835
Host title:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Publication date:
2019-08-10
Acceptance date:
2019-05-09
DOI:
ISSN:
1045-0823
Source identifiers:
1011184
Pubs id:
pubs:1011184
UUID:
uuid:ad898336-1c3a-449c-9a5e-57ad6c635058
Local pid:
pubs:1011184
Deposit date:
2019-06-11

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP