【摘 要】
：
检索用OWL标记的资源,是语义Web的重要应用之一.由于OWL与描述逻辑(Description Logics,DL)之间在语义上的对应关系,DL推理技术可应用于以OWL描述的资源的检索.一个描述逻辑
【机 构】
：
西北工业大学计算机学院,西安,710072
【出 处】
：
第二十三届中国数据库学术会议(NDBC2006)
论文部分内容阅读
检索用OWL标记的资源,是语义Web的重要应用之一.由于OWL与描述逻辑(Description Logics,DL)之间在语义上的对应关系,DL推理技术可应用于以OWL描述的资源的检索.一个描述逻辑知识库(DL KB)可表示为K=,其中T代表Tbox,是描述领域结构的公理的集合;A代表Abox,是描述具体情形的公理的集合.检索满足一个查询概念Cq的所有实例可以通过对所有出现在A中的个体进行实例检测(instance test)来实现.一般将DL上的推理问题都归结为概念可满足性的判定.例如,判断个体John为概念Animal的实例当且仅当将John不是Animal的实例加入到Abox中后,KB是不可满足的.然而这种方式不能直接用于关系的断言.例如,判断元组〈John,Bill>为关系Brother的实例,不能将〈John,Bill〉不是Brother的实例加入到Abox中,因为描述逻辑不支持关系的否定运算.如何处理对关系的断言是实例检索中需解决的问题之一。本文研究结合DL推理机和关系数据库实现OWL资源检索。
其他文献
启动分离器是超超临界锅炉产品中的关键组件之一.外高桥1000MW超超临界锅炉的启动分离器主体材料为P91,制造难度很大.本文在试验研究的基础上通过采取合适的焊接、热处理、检
医疗卫生事业与人民群众的利益密切相关,医德医风的好坏、医疗服务质量的优劣和医疗收费的高低,直接关系到人民群众的健康,关系到社会的和谐稳定.本文主要就和谐医患关系的构
本文集是第三届畜牧学科高峰论坛学术研讨会的论文摘要集，内容包括，动物遗传育种与繁殖专业研究生培养，课程设置，群落生态学，草业科学专业研究生培养，草地管理，牧草栽培，牧草育种等。
语义缓存是一种基于历史查询及其描述的缓存技术,在分布式计算环境,特别是移动计算环境有广阔的应用环境,因其节约网络开销、节省查询处理时间、支持并发和网络断接下的数据
本文以梁宝寺煤矿3111综放工作面为工程背景,针对复杂难采的工程地质条件,分析了综放工作面的主要危害因素,提出并实施了有效的预防技术措施和安全管理方法,最终实现煤矿的安
本文讨论并建议在海关建立和发展“海关大型客户部”(LTCU)。该建议参考了税务部门实行“纳税大户部”(LTU)的经验。海关大型客户部与经授权的经营者(AEO)目前,部分国家面临
在矿井安全生产管理中,砚北煤矿推行符合矿井生产实际的全员目标安全管理模式,依靠先进的科学技术,通过比较严密的安全组织、制度、目标、信息管理,加强煤矿灾害控制技术研究
通过对老巷道进行改扩建,由原平巷人车改为可摘钩架空乘人装置运人,且保留原有的轨道运输系统,实现了一个巷道两种用途.该项目的研究实施对老矿井挖潜改造具有推广意义.
随着Internet的发展,基于Web的系统开发逐渐渗透到社会生活各个领域,一些传统的基于C/S的系统逐渐向Web移植.Web服务器为事务性Web应用提供一个跨平台的运行环境,成为当代信