go top

instance checking

网络释义

  实例检测

⑶ 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个网页-相关网页

有道翻译

instance checking

实例检验

以上为机器翻译结果,长、整句建议使用 人工翻译 。

权威例句

更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定