1.
Study of an Epistemic Description Logic with Transitive Roles
一种带传递关系的认知描述逻辑研究
2.
Research on Semantic Web Knowledge Reasoning Based on Description Logic;
基于描述逻辑的语义Web知识推理研究
3.
The knowledge of HRH is extensive and much of them belongs to constructive and describing knowledge.
即有描述性知识，又有逻辑性、运算性知识。
4.
A Tableau Decision Procedure for Rough Description Logic RALCQ
粗描述逻辑RALCQ的Tableau推理
5.
Description Logics Based Knowledge Representation and Reasoning for the Semantic Web;
基于描述逻辑的语义Web知识表示和推理
6.
Knowledge Representation and Reasoning of Motor Fault Diagnosis with Description Logic
基于描述逻辑的电机故障诊断知识表示与推理
7.
Multi-possibility Logic and Aesthetic Logic: --On the Logical Base of Aesthetic Cognition;
多值逻辑与审美逻辑——论审美认知的逻辑基础
8.
Description and Refinement of the Certification Authority Attestation System Based on XYZ/E;
基于时序逻辑语言XYZ/E的CA认证系统描述与求精
9.
Research on Semantic Web Services Composition Employing Description Logic in Knowledge Routing;
知识路由中基于描述逻辑的语义Web服务复合的研究
10.
The data flow diagram describes the logical system.
数据流程图描述了逻辑系统。
11.
The Semantics and Reasoning of Fuzzy Description Logic L-SI;
模糊描述逻辑L-SI语义及推理的研究
12.
Fuzzy Description Logic with Qualifying Number Restrictions;
含限定性数目约束的模糊描述逻辑FALCQ
13.
Research of IDS Alert Correlation Model Based on Description Logics;
基于描述逻辑的IDS告警关联模型研究
14.
A Description Logic Based Method for Semantic Web Service Composition;
基于描述逻辑的语义Web服务组合
15.
Uniting Calculation Equivalence Description to the Traditional Lexical Logic;
联合演算对传统词项逻辑的等价描述
16.
Logic and behavior validation of C~4ISR architecture description;
C~4ISR体系结构描述的逻辑和行为验证
17.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
18.
FRESG:A Kind of Fuzzy Description Logic Reasoner
FRESG:一种模糊描述逻辑推理机