首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 46 毫秒
1.
SWRL推理规则在平面几何证明中的应用   总被引:1,自引:0,他引:1  
OWL由于其具有较强的知识表示能力目前已成为语义Web知识建模的主要语言,尽管如此,它在知识推理方面存在着许多不足。语义网规则语言(SWRL)是为了弥补OWL的不足发展起来的,它是以OWL的子语言OWL DL以及其它规则标记语言为基础的规则描述语言,将SWRL推理规则引入OWL DL可以大大改善OWL DL的推理能力。运用SWRL推理规则和Jess推理机对平面几何证明题进行了推理和证明,结果验证了SWRL推理规则的有效性和正确性,在实践中同时也发现了SWRL存在的一些问题,有待今后进一步研究。  相似文献   

2.
满君丰  金可音  胡永祥 《计算机应用》2005,25(12):2957-2960
通过利用多Agent、语义Web、上下文觉察和逻辑推理等技术,参考早期的普适计算系统,提出了一个新的智能会议室系统模型。该模型使用本体Web语言——OWL实现知识共享和上下文推理;使用逻辑推理检测和解决上下文知识的不一致问题,并向使用者提供一种策略语言来控制他们的私人信息。  相似文献   

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

4.
分析了语义Web的逻辑基础.指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难.然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题.最后介绍了在OWL的基础上纳入Horn子句规则的方法.  相似文献   

5.
AI与Prolog     
Prolog是一种人工智能语言,它在AI和知识库的实现技术中具有十分重要的作用。本文介绍了Prolog的工作原理.并通过实例分析了Prolog语言的特点。利用Prolog的逻辑描述能力和推理能力,使得解决复杂的、非结构化的问题变得简单了。  相似文献   

6.
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。  相似文献   

7.
目前,有许多教育专家采取很多措施来提高教学效率,而应用先进技术是一条切实可行的方法。通过利用多agent、语义Web、推理和用于安全和隐私的声明性规则等技术,参考早期的普遍深入的计算系统,开发了一个新的智能教室系统模型。该模型使用本体Web语言——OWL来实现知识共享和上下文推理,使用逻辑推理来检测和解决上下文知识的不一致问题,并向老师和学生提供一种策略语言来控制他们的私人信息。ICS将完全改变传统的教学方法并为未来的教学工作提供更多的便利。  相似文献   

8.
为了减少机械产品设计过程中的不确定性,解决装配公差信息在异构CAX系统中共享性差和传递不畅的问题,利用本体丰富的语义知识和语法结构,通过分析装配公差综合领域相关知识,采用网络本体语言OWL定义其中的概念和关系,并采用语义网规则语言SWRL定义其中的约束条件和分配经验。将基于OWL的结构化知识转换成事实、基于SWRL的约束化知识转换成规则,并在推理引擎的基础上构建装配公差综合领域本体知识库。同时开发了基于本体的装配公差综合原型系统,实现了装配公差类型和装配公差值的自动生成。  相似文献   

9.
对OWL及其逻辑基础的研究   总被引:14,自引:0,他引:14  
OWL是Web Ontology的表示语言,是实现语义Web的语言工具.对OWL三个子语言的语法进行了比较分析,重点对OWL的逻辑基础(即描述逻辑)进行了讨论,就描述逻辑如何用于表示本体进行了研究,提出了一种基于描述逻辑的本体模型,并对描述逻辑的推理机制进行了阐述.  相似文献   

10.
11.
Web智能研究现状与发展趋势   总被引:10,自引:0,他引:10  
Web智能是近年出现的一个崭新的研究方向,它是人工智能和高级信息技术在新的Web和Internet环境下相互融合的产物.首先从总体上讨论了Web智能的概念、研究内容和功能技术框架,然后分别就Web智能的几个核心方面的研究现状进行了综述,主要包括语义Web与ontology,Web Agent和Web挖掘等,并进一步给出了它们的研究重点和发展方向,最后是关于Web智能的研究展望和面临的挑战,指出智慧Web是Web智能研究的目标和中长期发展方向.  相似文献   

12.
介绍一种基于Web挖掘和URL相结合的Web过滤方法,利用Web挖掘实现基于内容的离线Web分类,有效地解决了单纯基于关键词过滤和人工维护URL过滤系统的缺陷。实验结果表明,该系统对于网页类别的识别达到了可以接受的程度,具有良好的实用价值。  相似文献   

13.
在对目前Web存在的主要问题进行了分析的基础上,介绍语义网,并针对语义网优势和特征进行了论述,展望了语义网的发展前景。  相似文献   

14.
一个网页在线发布系统的设计与实现   总被引:7,自引:1,他引:7  
论述了网站建设对网页发布系统的需求 ,并从系统设计思想、系统实现等方面详细介绍了一个网页在线自动发布系统的实现 ,该系统已在实际中得到了应用  相似文献   

15.
Web个性化技术研究综述   总被引:1,自引:0,他引:1  
Web个性化是近年出现的一个重要研究方向,它是Web使用挖掘和信息技术在新的Web和Internet环境下相互融合的产物.首先讨论了Web使用挖掘及个性化的概念、研究内容和核心技术,然后对Web使用挖掘的关键技术进行了综述,包括数据采集与预处理、模式发现、语义Web与个性化等,并给出了它们的研究重点和发展方向,最后是个性化系统的研究展望和面临的挑战.  相似文献   

16.
Web应用开发方法研究   总被引:3,自引:0,他引:3  
目前,Web系统开发缺乏严格和系统的方法,大多数应用开发和管理实践在很大程度上依赖于开发人员个人的知识和经验,造成的后果是所开发的Web系统大多是低质量的产品。而传统的软件工程方法不能适应Web设计的要求,为此人们研究提出了众多的Web开发方法。这些研究旨在提供全面支持Web应用开发生命周期的模型和方法,但由于这些方法本身存在的局限性及其它方面的原因,还没有得到广泛的应用。论文首先讨论了成熟的Web开发方法应该具有什么样的特性和功能,然后分析了现有Web开发方法各自的特点,最后总结了这些方法所存在的问题和今后的研究重点。  相似文献   

17.
ABSTRACT

A selective, annotated bibliography of books, journal articles, and electronic resources relating to Web site design aimed specifically at beginning library Web Managers.  相似文献   

18.
19.
Web挖掘及其应用研究   总被引:7,自引:0,他引:7  
Web挖掘就是利用数据挖掘技术,从Web文档和Web活动中提取感兴趣的,潜在的有用模式和隐藏的信息,本文详细阐述了Web的特点,Web挖掘的分类及应用。  相似文献   

20.
本文首先介绍了Web Services技术以及它的体系结构.然后通过实例分别讨论了在.net平台和java平台上实现Web Services过程。论文的最后进一步讨论了不同平台下Web Services之间的互操作性问题。  相似文献   

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

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