ELHr 中溯源的一个上界
计算机科学中的逻辑
2021-08-31 v1
摘要
我们研究带有溯源信息标注的 ELHr 本体中的蕴含问题。更具体地，我们证明：当溯源用来自 Trio 半环的多项式表示时，包含蕴含属于 NP；当半环不可交换时，包含蕴含属于 PTime。该证明基于构造一个加权树自动机，其识别的语言与相应溯源多项式相匹配。
引用
@article{arxiv.2108.12774,
title = {An Upper Bound for Provenance in ELHr},
author = {Rafael Peñaloza},
journal= {arXiv preprint arXiv:2108.12774},
year = {2021}
}
备注
Full version of paper appearing in the Description Logic Workshop 2021