⑶ ABox 层的推理 实例检测(Instance checking) 概念的实例:即检测一个个体是否为一个概念的实例,例如 Student (John),或 者表示为:John:Student。
基于16个网页-相关网页
当Tbox为空时,A是一致的等价于存 在A的模型I; ② 实例检查(Instance checking):在Abox A的约束下,a:C成立,当 且仅当A的任意模型I, 也等价于 不是一致的, 记为A |= a:C; ③ 检索问题(Retrieval problem...
基于8个网页-相关网页