BriefGPT.xyz
Ask
alpha
关键词
kr language
搜索结果 - 1
AAAI
不相交 Datalog 程序的 Datalog 改写性及其在本体推理中的应用
研究了将一个分离的 Datalog 程序重写为普通的 Datalog 的问题,并提出了一种新的基于规则的知识表示语言(KR language)—— 弱线性分离 Datalog,以及在本文的框架下对本体推理问题的应用,结果表明许多非 Horn
→
PDF
10 years ago
Prev
Next