Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
复制标题
基于本体的数据访问中完整性约束的满足和含义
DOI：
10.24963/ijcai.2019/253
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Ian Horrocks
中科院分区：
文献类型：
--
作者：
C. Nikolaou;B. C. Grau;Egor V. Kostylev;M. Kaminski;Ian Horrocks
我们扩展了基于本体的数据访问与完整性约束的源和目标模式。在此设置中的相关推理问题是约束满足-检查数据库是否满足给定映射和本体的目标约束-以及源到目标（分别为，目标到源）约束隐含，其检查目标约束（相应地，源约束）由满足源约束的每个数据库满足（分别，目标约束）。我们建立可判定性和复杂性界限的情况下，所有这些问题的本体表示在DL-LiteR和约束范围从功能依赖析取元组生成依赖。
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., 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.