基于本体的异构数据集成的研究 - docin.com豆丁网 模型 传统数据集成领域的本体模型如（Onto［ingua，CycL，L00岫等，大多数来源于人工智 能的一阶谓词逻辑（firstorder logic，FOL）。尽管一阶谓词逻辑具有丰富的语义表达能力， 但由于其推理过程比较复杂，对一些典型的本体推理问题（如包
基于2个网页-相关网页
First-order Logic 一阶逻辑 ; 初阶逻辑 ; 以学习初阶逻辑 ; 一阶谓词逻辑
Semigroups underlying first-order logic 一阶逻辑之下的半群
if first-order logic if一阶逻辑
first-order logic model 一阶逻辑模型
specification in first-order logic-axioms 一阶逻辑表达的公理规格说明
fuzzy first-order logic 模糊一阶逻辑
fuzzy first order logic 模糊一阶逻辑
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。
应用推荐