论文部分内容阅读
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。
从ALC到SHOQ(D):描述逻辑及其Tableau算法
【摘 要】
：
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语
【机 构】
：
北京大学信息科学系
【出 处】
：
计算机科学
【发表日期】
：
2005年03期
其他文献
目的:探究橙皮素对胸主动脉瘤/夹层形成的作用。方法:利用β-氨基丙腈(BAPN)饮水28 d的方法构建小鼠主动脉瘤/夹层模型。选择C57BL/6小鼠20只,分为实验组(n=10)和对照组(n=10
<正>培养学生的跨学科视野和研究性思维,是我们应对当前大部分高校院系之间壁垒森严、新闻专业课堂与业界脱节等现实问题的阶段性目标。"结合精神传承、知识地图呈现和思想操
一、标准化管理机构俄罗斯主管全国技术监督工作的部门是俄罗斯标准化计量认证委员会。其职能与我局职能大体相当,列入俄罗斯政府系列,人员编制180人。在委员会内设有标准化
随着对人权问题研究的日益重视,有必要全面审视和检讨军事法对人权的保障制度。勿庸置疑,军事法在确认、保障人权方面取得了巨大的成绩,但由于军事法立法的滞后、立法的不完
定义了基于形状特征点的互信息计算公式 ,提出区域增长结合动态聚类算法的形状特征点提取方法 .在使形状特征点互信息最大化完成医学图像配准的过程中 ,引入人机交互 ,缩短了
细菌生物膜群体感应系统是指细菌通过分泌信号分子并通过感知其在周围环境中的浓度,调控某些基因的特异性表达及生理功能和生活习性的系统,是细菌生命活动的主要调控机制之一
脉冲电流作用于金属材料的凝固过程已逐渐发展为一种新的细化金属凝固组织的技术。作者从脉冲电流的施加方式、凝固材料选择、电流参数选择和机理探讨四个方面综述了脉冲电流
轮作休耕既是一项经济制度,也是一项政治制度。从研究结果来看,由于土地所有制形式和农业生产目的不同,轮作休耕在不同历史时期略有差异;有组织、有计划的集体轮作休耕的效果
目的:探讨地屈孕酮联合补肾宁心法配合心理疏导治疗先兆流产的临床疗效。方法:选取我院2015年01月至2016年06月就诊的先兆流产患者76例,随机分为对照组和治疗组,其中对照组37
目的:探讨复方黄柏液治疗糖尿病足溃疡的临床疗效。方法:选择2015年1月至2015年11月在天津医科大学代谢病医院糖尿病足科确诊的糖尿病足溃疡住院患者204例,随机分为试验组(10