语义Web推理技术的实现
语义Web可以实现Web资源管理的自动化,为了实现语义Web,不仅要对Web上的资源进行基于内容的描述,还要实现对这些描述的推理.Horrrock和Sattler提出的SHOQ(D)描述逻辑的表达能力比较强,能够处理个体和具体的数据类型,其表达能力大致相当于webontology语言OIL和DAML+OIL.Hor-rrock和Sattler从理论上证明了SHOQ(D)描述逻辑推理表算法的可靠性和完备性,但算法并没有实现.本文以Horrock的理论为基础,实现了SHOQ(D)描述逻辑的表算法,并设计实现了SHOQ(D)推理系统作为表算法的测试平台.
语义Web推理 Ontology 描述逻辑 数据类型 个体 表算法 Web资源管理
李守丽 廖乐健 曹元大
北京理工大学,计算机科学系人工智能实验室,北京,100081
国内会议
第四届全国计算机支持协同工作与第二届全国智能信息网络联合学术会议暨第四次CSCW学术会议
杭州
中文
261-267
2004-10-01（万方平台首次上网日期，不代表论文的发表时间）