未找到相关数据
Preface to Special Issue on Reasoning in Description Logics
被引：0
作者：
Franz Baader
机构：
[1] Theoretical Computer Science,
[2] TU Dresden,undefined
来源：
Journal of Automated Reasoning
|
2007年
/
39卷
关键词：
Description Logic;
Conceptual Knowledge;
Ontology Language;
Query Answering;
Tableau Algorithm;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：245 / 247
页数：2
相关论文