... entity 实体 实体 fixpoint semantic 不动点语义，固定点语义 不动点语义，固定点语义 formal 形式化的，正式的 形式化的，正式的 ...
基于18个网页-相关网页
Next, we need to derive a fixpoint semantics for non-ground finite failure.
接下来一个重要的问题是给出关于非基有限失败的不动点语义。
参考来源 - 逻辑程序非基有限失败的语义·2,447,543篇论文数据，部分数据来源于NoteExpress
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
Finally, this thesis proves that the recursion fixed point theory can also be used for the semantic model computation of a stratified TBox in ontology knowledge base.
应用推荐