1.
Research on a contradiction problem-oriented dynamic description logic extention
面向矛盾问题的动态描述逻辑扩展研究
2.
An extended dynamic description logic language and its Tableau algorithm
一种扩展的动态描述逻辑语言及其Tableau算法
3.
Research on dynamic expression model of digital rights based on logic license
基于逻辑证书的数字权利动态描述模型研究
4.
Research on dynamic expression of digital rights based on logic reasoning
基于逻辑推理的数字权利动态描述研究
5.
A Tableau Decision Procedure for Rough Description Logic RALCQ
粗描述逻辑RALCQ的Tableau推理
6.
Finite Basis in Gfp-models of Description Logic FL_0
最大不动点模型下的描述逻辑系统FL_0的有穷基
7.
Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic εLN
描述逻辑εLN循环术语集的不动点语义及推理
8.
The data flow diagram describes the logical system.
数据流程图描述了逻辑系统。
9.
The Semantics and Reasoning of Fuzzy Description Logic L-SI;
模糊描述逻辑L-SI语义及推理的研究
10.
Fuzzy Description Logic with Qualifying Number Restrictions;
含限定性数目约束的模糊描述逻辑FALCQ
11.
Research of IDS Alert Correlation Model Based on Description Logics;
基于描述逻辑的IDS告警关联模型研究
12.
A Description Logic Based Method for Semantic Web Service Composition;
基于描述逻辑的语义Web服务组合
13.
Research on Semantic Web Knowledge Reasoning Based on Description Logic;
基于描述逻辑的语义Web知识推理研究
14.
Uniting Calculation Equivalence Description to the Traditional Lexical Logic;
联合演算对传统词项逻辑的等价描述
15.
Logic and behavior validation of C~4ISR architecture description;
C~4ISR体系结构描述的逻辑和行为验证
16.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
17.
FRESG:A Kind of Fuzzy Description Logic Reasoner
FRESG:一种模糊描述逻辑推理机
18.
Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier
带n-元存在量词的描述逻辑MSC推理