期刊文章详细信息
描述逻辑SHIQ研究
Research on the Description Logic SHIQ
文献类型：期刊文章
机构地区：[1]烟台教育学院计算机与信息科学系,264001 [2]烟台大学图书馆,山东省烟台市264003
年 份：2006
卷 号：32
期 号：1
起止页码：63-66
语 种：中文
收录情况：AJ、CAS、MR、WOS、ZMATH、普通刊
摘 要：描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础.描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心.该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.
关 键 词：描述逻辑 SHIQ ALC
分 类 号：TP31]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
