A description logic theory support ontology based on fuzzy interval was proposed.
结合本体理论，提出了基于模糊区间的本体描述逻辑理论。
By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
在描述逻辑中加入认知运算符k可以得到认知描述逻辑。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
This ontology description languages and description logic had combined together, which ensured the ontology reasoning rationality and validity.
本体表示语言与描述逻辑相结合，为本体推理的合理性和有效性提供了保证。
In this paper we will also study on finite base problem of rough description logic RALCQ by using our improved attribute exploration algorithms.
本文将研究属性探索算法在粗描述逻辑RALCQ系统有穷基问题的应用。
Then introduces emphatically description logic and language ALC based on description logic, giving example for the ontology-based knowledge base.
然后介绍了描述逻辑和基于描述逻辑的本体表示语言alc，举例说明了ALC表示的本体知识库。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
It is well known, as the logical foundation of the Semantic Web, description logic is lack of the ability of tolerating inconsistent or incomplete data.
众所周知，描述逻辑是语义万维网重要的逻辑基础，然而描述逻辑缺乏处理不协调或不完全信息的能力。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
Starting from the semantic inference technology, the authors research and analyze from three mainly aspects, including description logic, inference algorithm and inference engine.
从语义推理技术入手，主要针对描述逻辑、推理算法和推理机三个方面进行了研究分析。
The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic.
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
This thesis fully USES the expressing and reasoning ability of description logic and applies it in the spatial reasoning to increase the accuracy and decidability of the reasoning.
本论文将描述逻辑应用到空间推理中，充分利用描述逻辑较强的表达和推理能力，提高空间推理的准确性和可判定性。
In the model an associated object was presented, so the permissions can be obtained through roles and objects. The access control processes were described with the description logic.
模型引入客体与客体的关联，使得权限既可以通过角色也可以通过客体获得，并采用描述逻辑对模型访问控制过程进行了形式化描述。
On this basis, the thesis put forward the symbolic expressing of the topological relationships which are in the concrete domain and use description logic to express the spatial relationships.
在此基础上，对具体域中表达的空间拓扑关系进行符号化表示，用描述逻辑的形式表达空间关系。
As the description logic in expressive power and computational complexity of the balance between the relationships, this is considered a knowledge-based application in a very attractive formal tool.
不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。
Create empty rule definitions that contain only a name and a description, and leave the rule logic blank for later implementation.
创建只含有一个名称和描述的空规则定义，让规则逻辑为空，之后实现。
The SOAP request begins with the business logic of your application learning the method and parameter to call from a Web Services Description Language (WSDL) document.
一个SOAP请求从应用程序的业务逻辑开始，从Web服务描述语言(WSDL)文档中获得调用方法和参数。
Last but not least, separating the description of the view and its associated behavior logic has never been easier, thanks to the build method on SwingBuilder.
最后但是也最重要的是，由于SwingBuilder的build方法，分离视图的描述与它相关联的行为逻辑变成再简单不过的事情了。
For a more detailed description of how to create your own serialization logic for JMS content, see Building a powerful, reliable SOA with JMS and WebSphere ESB.
有关如何为JMS内容创建序列化逻辑的更为详细的描述，请参见使用JMS和WebSphereESB构建强大而可靠的SOA。
Review the comments in this file to understand the code or refer to the next section, which provides a high-level description about the code logic.
通过这个文件中的注释了解代码的作用，或者参考下一节中对代码逻辑的解释。
Review the comments in these files to understand the code or refer to the next section, which provides a high-level description about the code logic.
通过这些文件中的注释了解代码的作用，或者参考下一节中对代码逻辑的解释。
As long as users give the interface and function description application logic will automatically choose adaptive modules in the module database to complete their function by concrete mechanism.
用户只要给出接口和功能描述，应用逻辑将在模块库中自动选择适合功能的模块并通过具体机制实现其功能。
Through the description of decision policies with XML, the model can deal with complex logic decisions rather than simple value comparison.
通过使用XML描述判决策略，等级角色判决模型将能处理复杂的逻辑条件判决，而非原先简单的数值比对。
An unified method for converting MOS circuit level description into logic level description is presented.
本文介绍了一种将MOS电路级描述转换成逻辑级描述的统一方法。
Functions of logic synthesis are to transform and optimize the combinational logic functions and produce the pure logic level structural description.
逻辑综合的功能是对组合逻辑函数的描述进行转换和优化，生成与逻辑功能描述等价的优化的逻辑级纯结构描述。
Russell's Theory of Description has had a widespread and profound influence to logic and language and philosophy since it was first proposed by Russell.
罗素的摹状词理论自提出以来，对逻辑学、语言学和哲学都产生了广泛而深刻的影响。
Now, many digital logic systems cannot do without computer aided design CAD, especially the VHDL Hardware Description Language.
数字逻辑系统的设计离不开计算机辅助设计CAD工具的帮助，尤其是VHDL硬件描述语言。
Now, many digital logic systems cannot do without computer aided design CAD, especially the VHDL Hardware Description Language.
数字逻辑系统的设计离不开计算机辅助设计CAD工具的帮助，尤其是VHDL硬件描述语言。
应用推荐