【摘 要】
：
语义Web可以实现Web资源管理的自动化,为了实现语义Web,不仅要对Web上的资源进行基于内容的描述,还要实现对这些描述的推理.Horrrock和Sattler提出的SHOQ(D)描述逻辑的表达能
【机 构】
：
北京理工大学,计算机科学系人工智能实验室,北京,100081
【出 处】
：
第四届全国计算机支持协同工作与第二届全国智能信息网络联合学术会议暨第四次CSCW学术会议
论文部分内容阅读
语义Web可以实现Web资源管理的自动化,为了实现语义Web,不仅要对Web上的资源进行基于内容的描述,还要实现对这些描述的推理.Horrrock和Sattler提出的SHOQ(D)描述逻辑的表达能力比较强,能够处理个体和具体的数据类型,其表达能力大致相当于webontology语言OIL和DAML+OIL.Hor-rrock和Sattler从理论上证明了SHOQ(D)描述逻辑推理表算法的可靠性和完备性,但算法并没有实现.本文以Horrock的理论为基础,实现了SHOQ(D)描述逻辑的表算法,并设计实现了SHOQ(D)推理系统作为表算法的测试平台.
其他文献
青年干部是推动审计事业发展的中坚力量.这些青年党员干部或是在学生时代,或是参加工作之初就加入了中国共产党.青春呼啸而过,如今再回头重温当时填写入党志愿书、申请加入中
提出了一种基于混沌神经元的混合前馈型神经网络,用于检测复杂的网络入侵模式.这种神经网络具有混沌神经元的延时、收集、思维和分类的功能,避免了MLP神经网络仅能识别网络中
本文针对基于人工免疫原理的入侵检测系统模型,研究了利用遗传算法来建立系统初始检测器集合的方法.对其中的数据预处理、样本与检测器之间匹配函数的选择以及检测器适应度评
悠、悠万事民为先,民生之事大于天.民生资金用到哪里去,用得好不好,一直是社会关注的焦点,也是河南省登封市审计局局长冯颖灿履职的着力点.自上任以来,他把民生资金作为审计
2016年以来,河南省嵩县审计局深入学习领会党的十八届六中全会精神、习近平总书记系列重要讲话精神和治国理政新理念新思想新战略,继续推进“两学一做”学习教育,以争创省级
近年来,山东省临沂市审计局坚持以党建工作引领事业发展,着力构建审计党建大格局,打造临沂审计共同体,推进文明创建全覆盖,打造以“忠诚、大义、责任、奉献”为主要内涵的“
科技创新需要硬件支撑,更需要软件保障,加强科研经费管理,更好地服务科研工作,始终是科技体制改革的重要课题.近年来,随着部门预算改革的深入推进,财政科研经费管理也在不断
本文提出的基于Agent的工作流协商模型借鉴了人工智能领域的多Agent系统方法,体现了基于活动和基于通信的工作流建模两者的优点,多Agent系统的协商过程为工作流管理中的任务
Internet的高速发展,使企业间的业务联系变得更加紧密,对企业间的协作提出了更高的要求,但是由于商业规则和商业数据的不同,企业之间很难实现互操作.本文阐述了通过利用本体
森林生态效益补偿基金,是各级政府依法设立用于生态公益林营造、抚育、保护和管理的资金.森林生态效益补偿基金包括中央财政补偿基金和地方财政补偿基金.补偿基金的发放主要