1.
Function and Structure of English Lextion in CETRAN System
英文生成系统词汇结构与词项位的逻辑描述
2.
A Tableau Decision Procedure for Rough Description Logic RALCQ
粗描述逻辑RALCQ的Tableau推理
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的语义及推理