BriefGPT.xyz
Apr, 2016
本体基于查询回答的存在规则语言表达完备性
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering
HTML
PDF
Heng Zhang, Yan Zhang, Jia-Huai You
TL;DR
本文证明了分离嵌入式依赖可以精确捕捉基于本体的连词查询应答中的可递归枚举本体类，而关于“元组生成依赖”的复杂性类和嵌入式依赖的复杂性类都不能完全表达可递归枚举的“基于本体的连词查询应答”本体。
Abstract
existential rules
, also known as
data dependencies
in Databases, have been recently rediscovered as a promising family of languages for
ontology-
→