计算机科学技术
推理机
The reasoning between the location-aware context knowledge and its properties is carried through using ontology reasoner.
采用本体推理机实现了位置感知上下文知识及其属性之间的推理。
心理学
推理者
数学
前提(尤指推论中的小前提)