1.
FRESG:A Kind of Fuzzy Description Logic Reasoner
FRESG:一种模糊描述逻辑推理机
2.
A Tableau Decision Procedure for Rough Description Logic RALCQ
粗描述逻辑RALCQ的Tableau推理
3.
The Semantics and Reasoning of Fuzzy Description Logic L-SI;
模糊描述逻辑L-SI语义及推理的研究
4.
Research on Semantic Web Knowledge Reasoning Based on Description Logic;
基于描述逻辑的语义Web知识推理研究
5.
Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier
带n-元存在量词的描述逻辑MSC推理
6.
Reasoning by using boundary-based module in description logics
描述逻辑中基于边界模块的推理方法
7.
Semantics and Reasoning of Description Logic μALCIO
描述逻辑μALCIO的语义及推理
8.
Semantics and Reasoning of Description Logic μALCQO
描述逻辑μALCQO的语义及推理
9.
Hybrid Reasoning of Terminological Cycles in Description Logic εL
描述逻辑εL循环术语集的混合推理
10.
Description Logics Based Knowledge Representation and Reasoning for the Semantic Web;
基于描述逻辑的语义Web知识表示和推理
11.
Gfp-model-based Reasoning Mechanism of Terminological Cycles in Description Logic FLε
基于gfp-模型的描述逻辑FLε的循环术语集推理
12.
Research on Ontology Reasoning Based on Description Logic in Semantic Web
语义网中基于描述逻辑的本体推理研究
13.
Computing Most Specific Concept in Description Logic with Transitive Roles and Existential Restrictions
带传递关系和存在量词的描述逻辑MSC推理
14.
Knowledge Representation and Reasoning of Motor Fault Diagnosis with Description Logic
基于描述逻辑的电机故障诊断知识表示与推理
15.
Research on dynamic expression of digital rights based on logic reasoning
基于逻辑推理的数字权利动态描述研究
16.
Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic εLN
描述逻辑εLN循环术语集的不动点语义及推理
17.
The Design of Reasoning System Based on DL and Parallel Algorithm Research of This System;
基于描述逻辑的推理机设计实现及其分布化研究
18.
A Study of Ontology Error Checking Reasoning Based on Description Logic;
基于描述逻辑的本体检错推理研究——以国共合作领域本体为例