共查询到10条相似文献,搜索用时 15 毫秒
1.
《模式识别与人工智能》2005,18(5)
分析了语义Web的逻辑基础.指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难.然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题.最后介绍了在OWL的基础上纳入Horn子句规则的方法. 相似文献
2.
3.
OWL DL的形式化基础研究 总被引:10,自引:1,他引:10
W3C正在制定的OWL DL是一种面向语义Web的知识表示标记语言,具有较强的知识表达能力并适合大规模应用的推理效率,是语义Web领域对适合语义Web应用的知识表示标记语言进行研究的最新综合.在知识表示领域,为了对知识表达能力和推理效率做合适的折衷,进行了大量关于描述逻辑的研究,本文以描述逻辑作为OWL DL的形式化基础,详细分析了OWL DL和描述逻辑间的对应关系,用描述逻辑的语义解释了OWL DL的各个基本元素,从而可以将描述逻辑领域研究的大量成果应用到OWL DL上来,为进一步研究OWL DL的知识表示、推理等问题奠定了基础. 相似文献
4.
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.
8.
9.
郭润寰 《计算机技术与发展》2005,15(8)
本体(Ontology)是下一代互联网(Semantic Web)的基础,OWL语言是W3C组织定义的本体描述语言.鉴于当前互联网的规模越来越庞大,如何准确快速地获取信息正变得至关重要,而基于本体论的语义模型为信息的表示、交换和处理提供了一个较为合理的标准,从而使得网上信息的完全共享成为可能.文中阐述了本体的概念,重点探讨了基于本体论的语义建模方法和OWL语言对本体表示的支持,并且具体给出了一个基于OWL语言的建模实例. 相似文献
10.
吕艳辉 《小型微型计算机系统》2011,32(5)
经典OWL本体不能直接表示和处理语义Web应用中广泛存在的模糊知识,鉴于模糊关系数据库在模糊数据表示与处理方面的优势,提出利用模糊关系数据库来构建模糊OWL本体.通过对RDF数据类型进行模糊扩展,并从模糊数据类型角度扩展OWL,解决了模糊OWL本体的表示问题;在此基础上,研究了以模糊关系数据库为数据源的模糊OWL本体的构建方法,该方法为语义Web中模糊本体的构建提供了一个有效的解决方案. 相似文献