首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
分析了语义Web的逻辑基础.指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难.然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题.最后介绍了在OWL的基础上纳入Horn子句规则的方法.  相似文献   

2.
胡鹤  刘大有  胡志永 《计算机工程》2005,31(10):139-141
时间和空间的表示和推理是人工智能研究中重要的组成部分。随着时空信息在地理信息系统、时空数据库、CAD/CAM等领域的重要应用,时空信息的本体表示越来越受到人们的重视。目前时空本体的构造都是基于一阶谓词逻辑,不能直接应用最新的OWL本体语言描述,不利于其在语义Web上的表示和应用。为解决这一问题,该文研究了使用一阶谓词逻辑到描述逻辑的逻辑映射构造的时空本体,给出了基于Web本体语言OWL的时空本体在Protégé环境中的具体实现。  相似文献   

3.
OWL DL的形式化基础研究   总被引:10,自引:1,他引:10  
W3C正在制定的OWL DL是一种面向语义Web的知识表示标记语言,具有较强的知识表达能力并适合大规模应用的推理效率,是语义Web领域对适合语义Web应用的知识表示标记语言进行研究的最新综合.在知识表示领域,为了对知识表达能力和推理效率做合适的折衷,进行了大量关于描述逻辑的研究,本文以描述逻辑作为OWL DL的形式化基础,详细分析了OWL DL和描述逻辑间的对应关系,用描述逻辑的语义解释了OWL DL的各个基本元素,从而可以将描述逻辑领域研究的大量成果应用到OWL DL上来,为进一步研究OWL DL的知识表示、推理等问题奠定了基础.  相似文献   

4.
基于本体的战场复杂电磁环境研究   总被引:1,自引:0,他引:1  
针对战场电磁环境的复杂性特点,以本体论为基础,提出了战场电磁环境本体的逻辑结构和建立方法.分析了本体描述语言,重点阐述了Web本体语言(OWL),提出了基于OWL语言的战场电磁环境本体描述方法,对复杂电磁环境的描述与仿真是有效的.  相似文献   

5.
语义Web规则标记语言OWLRule+的设计与实现   总被引:6,自引:0,他引:6  
语义Web是对未来Web体系结构的一个伟大设想,其研究分层次进行.目前足够成熟的最高层是以OWL语言为代表的ontology.但它的语义仅限于描述逻辑,该逻辑主要表示对象和类的层次结构,而规则的表达能力弱,因此在其之上需要一种表达力更丰富的逻辑语言.设计了一种新的语义Web规则标记语言OWLRule :其语法扩展了OWL;语义基于CARIN,一种结合描述逻辑和Horn规则的表示语言;实现基于Jess规则推理机.实例学习展示了它对目前的Web ontology语言在规则表示和推理能力上的扩展.  相似文献   

6.
刘琴 《计算机工程与设计》2006,27(12):2166-2168
本体在语义Web中起着重要的作用,它能为软件Agent提供从语法层次到语义层次上的互操作性.在需求与技术的驱动下,多种本体表示语言也应运而生.介绍了3种本体表示语言(RDF Schema、DAML+OIL、OWL),并对它们进行了比较分析.  相似文献   

7.
Web服务有几种形式化表示:WSMO(Web服务建模本体)和OWL-S(Web服务本体语言).为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML.这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变...  相似文献   

8.
Web本体语言OWL   总被引:19,自引:3,他引:19  
随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题。在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节。该文介绍了W3C最新给出的Web本体语言OWL,给出TOWL3个子语言构造成分的含义说明,并比较了3种子语言间的差别。  相似文献   

9.
本体(Ontology)是下一代互联网(Semantic Web)的基础,OWL语言是W3C组织定义的本体描述语言.鉴于当前互联网的规模越来越庞大,如何准确快速地获取信息正变得至关重要,而基于本体论的语义模型为信息的表示、交换和处理提供了一个较为合理的标准,从而使得网上信息的完全共享成为可能.文中阐述了本体的概念,重点探讨了基于本体论的语义建模方法和OWL语言对本体表示的支持,并且具体给出了一个基于OWL语言的建模实例.  相似文献   

10.
经典OWL本体不能直接表示和处理语义Web应用中广泛存在的模糊知识,鉴于模糊关系数据库在模糊数据表示与处理方面的优势,提出利用模糊关系数据库来构建模糊OWL本体.通过对RDF数据类型进行模糊扩展,并从模糊数据类型角度扩展OWL,解决了模糊OWL本体的表示问题;在此基础上,研究了以模糊关系数据库为数据源的模糊OWL本体的构建方法,该方法为语义Web中模糊本体的构建提供了一个有效的解决方案.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号