BriefGPT.xyz
Ask
alpha
关键词
linear rules
搜索结果 - 1
IJCAI
结合存在规则和传递性:下一步
本文探讨存在规则作为本体规范的形式化方法,重点研究了如何将传递性与可判定类的存在规则组合,并给出了能够安全添加传递性的情况和相应的查询重写算法。
PDF
9 years ago
Prev
Next