在描述逻辑中加入认知运算符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.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
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.
第二，提出了利用描述逻辑表示的本体理论来表达用户需求的模型，该模型可以充分表达用户需求中的语义信息；
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.
这个视图为您的逻辑卷属性提供了详细的描述。
This view provides a detailed description of your logical volume attributes.
为了真正理解为什么我们在用例描述中不包括UI逻辑，我想无论如何我们不得不采用亲身实践的方法。
To truly understand why we don't include UI logic in use case descriptions, however, I think we'll have to take the hands-on approach.
考虑到本文的目的，显示在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.
分析模型描述了系统的逻辑结构，因而它是设计模型的基础。
The analysis model describes the logical structure of the system; thus it is the foundation of the design model.
应用推荐