1.
A Tableau Decision Procedure for Rough Description Logic RALCQ
粗描述逻辑RALCQ的Tableau推理
2.
The Implication Relations between the Ccontractor in the Rough Description Logic RALCQ
在粗描述逻辑RALCQ中构造算子间的蕴含关系
3.
The data flow diagram describes the logical system.
数据流程图描述了逻辑系统。
4.
The Semantics and Reasoning of Fuzzy Description Logic L-SI;
模糊描述逻辑L-SI语义及推理的研究
5.
Fuzzy Description Logic with Qualifying Number Restrictions;
含限定性数目约束的模糊描述逻辑FALCQ
6.
Research of IDS Alert Correlation Model Based on Description Logics;
基于描述逻辑的IDS告警关联模型研究
7.
A Description Logic Based Method for Semantic Web Service Composition;
基于描述逻辑的语义Web服务组合
8.
Research on Semantic Web Knowledge Reasoning Based on Description Logic;
基于描述逻辑的语义Web知识推理研究
9.
Uniting Calculation Equivalence Description to the Traditional Lexical Logic;
联合演算对传统词项逻辑的等价描述
10.
Logic and behavior validation of C~4ISR architecture description;
C~4ISR体系结构描述的逻辑和行为验证
11.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
12.
FRESG:A Kind of Fuzzy Description Logic Reasoner
FRESG:一种模糊描述逻辑推理机
13.
Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier
带n-元存在量词的描述逻辑MSC推理
14.
Reasoning by using boundary-based module in description logics
描述逻辑中基于边界模块的推理方法
15.
Semantics and Reasoning of Description Logic μALCIO
描述逻辑μALCIO的语义及推理
16.
DL-VSM:Description logic-based VSM for semantic retrieval
基于描述逻辑方法的VSM语义检索模型
17.
Logical Implementation Mechanism for ODRL Rights Expression Language
ODRL权利描述语言逻辑实施机制研究
18.
Semantics and Reasoning of Description Logic μALCQO
描述逻辑μALCQO的语义及推理