资源论文Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access

2019-10-08 | |  85 |   41 |   0

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 satisfifies the target constraints given the mappings and the ontology—and sourceto-target (resp., target-to-source) constraint implication, which is to check whether a target constraint (resp., a source constraint) is satisfified 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

上一篇:Nuclei Segmentation via a Deep Panoptic Model with Semantic Feature Fusion

下一篇:Semantic Characterization of Data Services through Ontologies

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...