OBDM 中的查询可定义性及其近似
人工智能
2021-08-24 v1
摘要
给定一个输入数据集（即一组元组），基于本体的数据管理（OBDM）中的查询可定义性旨在找到关于该本体的一个查询，其确定答案与给定数据集中的元组一致。我们将这样的查询称为该数据集相对于 OBDM 系统的刻画。我们的首要贡献是提出以召回率（完全刻画）和准确率（可靠刻画）对完美刻画进行近似。第二个贡献是对三个计算问题给出详尽的复杂性分析，即验证（检查给定查询是否为给定数据集的完美或近似刻画）、存在性（检查给定数据集的完美或最佳近似刻画是否存在）以及计算（计算给定数据集的完美或最佳近似刻画）。
引用
@article{arxiv.2108.10021,
title = {QDEF and Its Approximations in OBDM},
author = {Gianluca Cima and Federico Croce and Maurizio Lenzerini},
journal= {arXiv preprint arXiv:2108.10021},
year = {2021}
}
备注
A more compact version of this paper will be published at the proceedings of the 30th ACM International Conference on Information and Knowledge Management. The associated DOI is: https://doi.org/10.1145/3459637.34824661