一种模糊动态描述逻辑

分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。     

语义Web的初步逻辑研究

阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。     

语义Web服务的形式化与满足性研究

描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义。从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题。通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程。这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用。     

基于本体的知识库推理研究

本体的应用是第二代语义Web的重要内容。利用本体构建知识库,进行逻辑判定,实现语义Web的自动推理,描述逻辑的作用十分重要。就知识库的本体描述以及在此基础上利用描述逻辑从不同角度的推理进行了研究,并分析了其内在联系。     

一种分布式动态描述逻辑

分析了目前描述逻辑（DL）的研究现状和存在的问题，特别是动态描述逻辑（DDL）作为语义Web逻辑基础所存在的问题．针对语义Web的特点和需求，对DDL进行了扩充，提出了一种新的描述逻辑，即分布式动态描述逻辑（D3L），给出了D3L的语法和语义，并研究了D3L的推理机制，提出了两种推理方法：直接推理和转化推理．与动态描述逻辑DDL相比，该D3L可以为语义Web提供更为合理的逻辑基础，弥补了DDL作为语义Web逻辑基础的不足．     

语义Web技术及其逻辑基础

随着语义Web的产生和发展,人-机及机-机间的交流与协作将变得更加方便。该文从介绍语义Web概念及体系结构入手,对关键技术XML, RDF及Ontology进行了对比分析说明,同时研究了其逻辑基础(描述逻辑),分析了其语法语义及推理任务。对语义Web的未来发展热点问题进行了展望。     

语义Web及层次结构

本文描述了下一代万维网－语义Web及其基本内容，文中介绍了语义Web的定义及其层次结构，描述了支持语义Web各层的基本技术和RDF（资源描述框架）／RDF模式语言OIE（本体推理层），逻辑层及有关技术等，并描述了语义Web的发展前景。     

基于描述逻辑的推理系统设计与实现

语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力.     

从ALC到SHOQ（D）：描述逻辑及其Tableau算法

描述逻辑是一类知识表示的形式系统，并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论，基于Tableau的算法提供7描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)描述逻辑基础及其相应的Tableau算法。     

语义Web规则标记语言OWLRule+的设计与实现

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

基于CORBA的Web访问数据库多层模式

随着Ｗｅｂ应用的复杂化,为了建立具有更高可靠性和可扩展性的应用系统,Ｗｅｂ访问数据技术经历了从ＣＩＧ模式到多层模式的发展,本文分析了推动Ｗｅｂ访问数据库技术发展的内在因素,讨论了基于ＣＯＲＢＡ的多层模式的特点,结构和实现技术。     

基于物理隔离环境下的Web Service访问研究

随着标准的成熟和应用普及,Web Service已经成为一种标准化的松散耦合集成模式,是提供异构系统集成的最佳的解决方案之一。提出了一种在物理隔离环境下,利用网闸设备的文件交换功能进行Web Service通讯的机制,阐述了具备SOAP校验及服务重映射、SOAP序列化的多进程网络代理的实现思路,该实现思路借鉴了SOAP中介体的设计原理,遵循WSDL和SOAP协议规范,并使用XML文件作为底层通信基本数据单元,能够较好地解决在物理隔离环境下Web Service的远程调用所遇到的问题,提出的方法已经成功应用于具体工作。     

基于Django和Python的Web开发

随着Web技术的发展和软件工程的日益成熟,人们逐渐提出敏捷开发的要求。但是传统的Web框架像Struts,Spring,.NET等由于其复杂性而很难满足人们的要求,于是逐渐出现一些敏捷性Web框架。Django是使用Python开发的优秀Web框架,作为一款开源的敏捷开发框架,受到越来越多的人的关注。本文主要介绍了Web框架Django和Python语言的特点,并以一个简易的博客系统的创建,介绍Django和Python在Web开发中的应用。     

基于OWL—S和HTN的Web服务组合原型系统的研究

Web服务是近年发展的一种分布式技术,引起了越来越多研究者的关注。随着网络上Web服务技术描述的信息系统数量的不断增加,将现有的业务流程进行组合以满足较为复杂的业务系统成为当前发展的主要趋势。此外,由于Web服务所处环境的复杂性和动态性,使得Web服务组合任务变得非常困难。因此,Web服务组合逐渐成为语义Web服务领域研究的热点和难点。描述了一个基于OWL—S和HTN的Web服务组合框架,并详细介绍了如何利用HTN规划解决Web服务组合问题的算法思想。通过学生选课服务实验,验证了该方法的可行性。     

MVC框架在Python与Django下的设计研究

随着互联网技术的蓬勃发展,其在生活中的应用范围愈发广泛,且发挥着巨大的作用。同时它催生了大量的新型产业,如通过Web技术开发的各种购物软件、音乐软件、视频软件和订票系统等。因此搭建一个实用型的MVC框架对Web应用开发具有重要意义。文章基于Python语言利用Django搭建了一个切实可行的MVC框架,让开发人员能够更好、更快的开发Web应用。     

合理运用Web服务的仓储管理系统

传统软件技术开发的仓储管理系统不能很好的集成,也不能灵活地适应业务流程改变.Web服务具有封装性好、跨平台、无缝集成的特点,运用Web服务技术开发仓储管理系统能改变这种状况.文章主要介绍了Web服务技术在通用数据库服务组件和商品需求信息发布中的应用.仓储管理系统的组成模块只需向基于Web服务的通用组件传递字符串,就可完成相应的数据库操作.运用Web服务可把货物需求信息、审核、需求信息发布统一为一个组件,提高了模块集成度和需求信息发布的透明度.     

基于WEB的教师个人网站的研究

近年来,随着计算机科学的发展,数据库技术在Internet中的应用越来越广泛,各类网站的应用为知识、信息交流提供了更加周到和人性化的服务。实用性已逐渐成为当今Web应用的潮流。以ASP为开发技术,以VBScript、JavaScript为服务器端脚本语言,以ASP作为客户端脚本语言,实现了一个简单网上教师和学生的交流系统。设计过程中采用了AJAX,web2.0,div+css等设计元素,网站设计尽可能的在用户体验度上有所突破。     

Web evolution and Web Science

This paper examines the evolution of the World Wide Web as a network of networks and discusses the emergence of Web Science as an interdisciplinary area that can provide us with insights on how the Web developed, and how it has affected and is affected by society. Through its different stages of evolution, the Web has gradually changed from a technological network of documents to a network where documents, data, people and organisations are interlinked in various and often unexpected ways. It has developed from a technological artefact separate from people to an integral part of human activity that is having an increasingly significant impact on the world. This paper outlines the lessons from this retrospective examination of the evolution of the Web, presents the main outcomes of Web Science activities and discusses directions along which future developments could be anticipated.     

基于RB-RBAC策略的语义Web安全研究

语义Web技术是近年来发展起来的网络技术,大大提高了计算机信息处理的自动化和智能化,同时,伴随而来的安全问题也日益突显。该文尝试用语义Web技术结合了RB_RBAC提出了一种本体模型,并给出了其OWL描述。     

Semantic E-Workflow Composition

Systems and infrastructures are currently being developed to support Web services. The main idea is to encapsulate an organization's functionality within an appropriate interface and advertise it as Web services. While in some cases Web services may be utilized in an isolated form, it is normal to expect Web services to be integrated as part of workflow processes. The composition of workflow processes that model e-service applications differs from the design of traditional workflows, in terms of the number of tasks (Web services) available to the composition process, in their heterogeneity, and in their autonomy. Therefore, two problems need to be solved: how to efficiently discover Web services—based on functional and operational requirements—and how to facilitate the interoperability of heterogeneous Web services. In this paper, we present a solution within the context of the emerging Semantic Web that includes use of ontologies to overcome some of the problem. We describe a prototype that has been implemented to illustrate how discovery and interoperability functions are achieved more efficiently.