在描述逻辑中加入认知运算符k可以得到认知描述逻辑。
By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
结合本体理论，提出了基于模糊区间的本体描述逻辑理论。
A description logic theory support ontology based on fuzzy interval was proposed.
因此，我们可以利用上述方法构建和完善描述逻辑知识库。
So we could make use of the above method to construct and complete description logic knowledge base.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
在此思想基础上，进一步提出了基于描述逻辑的IDS告警关联模型。
Based on this thought, we propose an IDS alert correlation model based on description logics.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
本文将研究属性探索算法在粗描述逻辑RALCQ系统有穷基问题的应用。
In this paper we will also study on finite base problem of rough description logic RALCQ by using our improved attribute exploration algorithms.
本体表示语言与描述逻辑相结合，为本体推理的合理性和有效性提供了保证。
This ontology description languages and description logic had combined together, which ensured the ontology reasoning rationality and validity.
基于语义的系统用描述逻辑、概念收缩法和概念试推法，计算语义匹配度大小。
These semantic - based systems use description logics, concept contraction and concept abduction to compute the matchmaking degree.
从语义推理技术入手，主要针对描述逻辑、推理算法和推理机三个方面进行了研究分析。
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.
在此基础上，对具体域中表达的空间拓扑关系进行符号化表示，用描述逻辑的形式表达空间关系。
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.
然后介绍了描述逻辑和基于描述逻辑的本体表示语言alc，举例说明了ALC表示的本体知识库。
Then introduces emphatically description logic and language ALC based on description logic, giving example for the ontology-based knowledge base.
众所周知，描述逻辑是语义万维网重要的逻辑基础，然而描述逻辑缺乏处理不协调或不完全信息的能力。
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.
不同的描述逻辑语言具有不同的表达能力，而每种语言推理算法的计算复杂性是由它的表达能力决定的。
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.
第二，提出了利用描述逻辑表示的本体理论来表达用户需求的模型，该模型可以充分表达用户需求中的语义信息；
Secondly, in the paper a user's requirement model has been proposed using the ontology theory that presented by descriptive logic, the model adequately expresses the semantic information of users.
本论文将描述逻辑应用到空间推理中，充分利用描述逻辑较强的表达和推理能力，提高空间推理的准确性和可判定性。
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.
并用VHDL语言描述逻辑、定义管脚、增加读写、编译原理图、产生JED文件，将JED文件存入可编程逻辑器件以完成编程设计。
VHDL language is used to describe, define the base pins, add read-write and compile schematics, create the JED files, and download JED files into CPLD to complete the design.
它为协调企业服务和描述业务逻辑提供了主要手段。
It provides the primary means for coordinating enterprise services and describing business logic.
与服务模型一样，服务规范产生实现这些服务的系统组件的逻辑描述。
Along with the service model, service Specification produces logical descriptions of the system components that realize services.
考虑到本文的目的，显示在SOAP消息中的任何数据类型编码是多么容易就已足够了，您可以用XML模式逻辑地描述该消息。
For the purposes of this article, it is sufficient to show how easy it is to encode any data type in a SOAP message that you can logically describe in an XML schema.
业务流程为协调企业服务和描述业务逻辑提供了基本的手段。
A business process provides the primary means for coordinating enterprise services and describing your business logic.
其他属性是通过将关键类型的服务描述文档“分解”为其逻辑模型来派生的。
Others are derived through the "shredding" of a key-type service description document into its logical model.
语义/逻辑服务层描述一个通用业务模型，该模型定义不同种类的业务实体。
The Semantic/logical services layer describes a general purpose business model that defines different kinds of business entities.
业务流程提供了协调企业服务和描述业务逻辑的主要方法。
A business process provides the primary means to coordinate enterprise services and describe your business logic.
常规序列图利用了条件逻辑，这对于描述交互过程中事件的可选流程来说很有用处。
Generic sequence diagrams make use of conditional logic, which can be useful for describing the alternative flow of events over the course of an interaction.
分析模型描述了系统的逻辑结构，因而它是设计模型的基础。
The analysis model describes the logical structure of the system; thus it is the foundation of the design model.
规则间的差异在于描述业务逻辑的用例行为（而非系统行为）方面。
Rules are different from use-case behaviors in that they describe business logic, rather than system behavior.
规则间的差异在于描述业务逻辑的用例行为（而非系统行为）方面。
Rules are different from use-case behaviors in that they describe business logic, rather than system behavior.
应用推荐