你即將離開本站

並前往https://www.jsjkx.com/CN/article/openArticlePDF.jsp?id=2211

基于扩展描述逻辑和逻辑程序的事件动作 - 计算机科学

(t)满足Kr 中的每条规则R 和事实,则解释(t)满足该规. 则知识库K,记为At)|=Kx。 ... hasBalance(dCard,0),然后更新ABox or(t=3={Person.

確定！ 回上一頁

查詢 「Zhen kr Dcard」的人也找了：