BriefGPT.xyz
Ask
alpha
关键词
frontier-guarded existential rules
搜索结果 - 1
使用传递性和线性排序数据进行查询回答
本研究研究了涉及强约束语言的蕴涵问题,如前沿守卫存在规则,并对一组特殊的关系施加额外的语义限制。我们考虑将关系限制为传递性、将一个关系的传递闭包限制为另一个关系、将关系限制为线性顺序。我们提出了一些自然的守卫性变体,以使推理在每种情况下具有
→
PDF
2 years ago
Prev
Next