1.
A Tableau Decision Procedure for Rough Description Logic RALCQ
粗描述逻辑RALCQ的Tableau推理
2.
The Semantics and Reasoning of Fuzzy Description Logic L-SI;
模糊描述逻辑L-SI语义及推理的研究
3.
Fuzzy Description Logic with Qualifying Number Restrictions;
含限定性数目约束的模糊描述逻辑FALCQ
4.
Research of IDS Alert Correlation Model Based on Description Logics;
基于描述逻辑的IDS告警关联模型研究
5.
A Description Logic Based Method for Semantic Web Service Composition;
基于描述逻辑的语义Web服务组合
6.
Research on Semantic Web Knowledge Reasoning Based on Description Logic;
基于描述逻辑的语义Web知识推理研究
7.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
8.
FRESG:A Kind of Fuzzy Description Logic Reasoner
FRESG:一种模糊描述逻辑推理机
9.
Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier
带n-元存在量词的描述逻辑MSC推理
10.
Reasoning by using boundary-based module in description logics
描述逻辑中基于边界模块的推理方法
11.
Semantics and Reasoning of Description Logic μALCIO
描述逻辑μALCIO的语义及推理
12.
DL-VSM:Description logic-based VSM for semantic retrieval
基于描述逻辑方法的VSM语义检索模型
13.
Semantics and Reasoning of Description Logic μALCQO
描述逻辑μALCQO的语义及推理
14.
Study of an Epistemic Description Logic with Transitive Roles
一种带传递关系的认知描述逻辑研究
15.
Boundary-based module extraction in description logics
描述逻辑中基于边界的模块提取方法
16.
Hybrid Reasoning of Terminological Cycles in Description Logic εL
描述逻辑εL循环术语集的混合推理
17.
C-SHOIQ: a Cloud Extension to Description Logic SHOIQ
C-SHOIQ:描述逻辑SHOIQ的云扩展
18.
Description Logics Based Knowledge Representation and Reasoning for the Semantic Web;
基于描述逻辑的语义Web知识表示和推理