Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻是一种知识表化语言,是一阶逻可判定子集。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
This extension is also capable of texture synthesis, which means that we give it a small image patch that shows some sort of repetition, and it tries to continue it indefinitely in a way that seems completely seamless.
这项扩展被用在纹理成方面,这意味着我们输入一小块图像,用来表示某种重复的纹理,之后这种算法会尝试把这一小块纹理无限扩展,并且看起来完全无缝。