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

实例检验

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

双语例句权威例句

  • If there is more than one server running and the queue is less than 5, the script does some more checking to see if it should terminate an instance.

    如果现在运行服务器超过个,而队列长度小于5,那么这个脚本需要进行更多检查决定是否应该停止个实例。

    youdao

  • Validation is a process of checking whether the instance document satisfies structural, data type, and content constraints specified in the XML schema.

    验证就是检查实例文档是否满足XML模式指定结构数据类型内容限制过程

    youdao

  • ValueIs avoids all of these problems by encapsulating what we really want each class to handle separately: checking whether an instance of the class contains the given value.

    value Is通过封装我们真正希望每个单独处理的内容:检查一个实例是否包含给定值,以避开所有这些问题

    youdao

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

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

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