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
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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