基于OWL的本体访问控制模型

当前的语义网中，本体缺乏访问控制机制。这导致本体的隐私无法受到保护，最终损害了语义网的稳定性。为了实现对本体的有效保护，提出了一种基于网络本体语言的访问控制模型。该模型为本体中的类定义了访问规则和访问控制属性，并由此建立了访问控制关系。进一步研究了模型的性质使其有效地应用于本体和基于本体的推理系统的构建。分析表明，该模型能够明确地定义本体的访问控制关系，并充分应用于本体的保护。而且还可以通过灵活的扩展机制，适应语义网络中日益复杂的访问控制需求。     

三维模型库语义网构建及检索方法研究

为了实现三维模型语义检索,描述了一种基于本体来构建三维模型库语义网的方法,并在此基础上实现基于语义的三维模型检索。该方法首先建立三维模型库本体描述,根据模型库中的内容提取类,对象和属性。其次利用Word-Net英文本体查找本体原始结点的语义扩展结点,包括同义词,上位词,下位词和整体部分关系词,从而构建语义网络。在语义网的基础上实现基于SPARQL的三维模型检索。结果表明,该方法能有效地扩充一个分类粒度较粗的三维模型库的语义内容,扩大语义覆盖面,同时扩充词汇之间的语义相关性,从而提高基于关键词语义检索的准确性。     

基于遗传算法的本体映射技术

由于语义网分散的本质,同一个概念在不同的本体中可能有不同的定义方式,这就引起了所谓的本体异质的问题.本体异质问题严重地影响领域知识之间的共享,已经成为语义网应用系统间的交互与协作的瓶颈.目前用于发现本体中实体间的语义对应关系的本体映射技术成为语义网发展的关键技术.鉴于本体映射过程复杂的本质,文章为本体映射过程建立了单目标优化模型,并提出采用遗传算法来确定不同本体中实体间的对应关系.实验结果表明,所提出的方法是有效的.     

一种新型的访问控制模型及其实现

针对基于角色的访问控制模型的不足，引入了数据和工作流元素，提出了一种基于多数据库、工作流与角色的访问控制模型(MDWRBAC)，并给出了模型各要素的定义、关系及其形式化描述。最后将该模型应用到实例中，较好地实现了对系统的安全访问控制，对信息系统的安全访问控制设计有很好的参考价值。     

面向网络化制造系统的用户访问控制研究

针对网络化制造系统的安全和管理问题，集成了基于角色的访问控制（RBAC）、基于任务的访问控制（TBAC）、关系驱动的访问控制（RDAC），以及基于企业联盟的访问控制（CBAC）方法，提出了一种综合访问控制模型。模型包括网络化制造系统的用户和资源层次关系模型、访问控制参考模型和访问控制过程模型，定义了各模型中的相关元素和关系，给出了各级约束验证和授权的表达，并利用可扩展的访问控制标记语言（XACML）实现了该方法。在绍兴轻纺区域网络化制造系统中的应用结果表明，该方法有效地减轻了系统安全维护与管理的代价。     

基于本体的协同装配关系模型

为提高协同装配的智能化和自动化程度,提出一个基于本体的协同装配关系模型.通过本体定义领域内的语义概念和属性关系,为协同装配时所需的连接特征、相交特征和空间约束关系的语义描述提供一个形式化的表达;通过Web本体语言和语义网规则语言实现装配信息的自动推理,可以动态的获取协同装配时所需的装配信息,并且能够将隐含的约束关系一起获取.通过本体技术构建协同装配关系模型为协同装配提供了一个统一的框架,具体实例表明,在该框架下能够有效支持异构CAD系统间零件及装配体的协同装配,使协同装配有效进行.     

一种基于Ontology的WEB服务时间约束定义及验证方法

针对目前面向服务计算(SCO)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法.该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束.扩展已有的PetIi网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系.根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束PetIi网(TCPN)间的映射关系.该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础.     

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。     

基于地名本体的空间数据组织与服务研究

新一代GIS以面向服务为特征,本体是语义网结构的重要组成部分,其对语义网条件下的地理信息服务的研究至关重要。地名本体作为地理领域本体的重要内容,它是维护地理要素位置的本体。文章在总结地名本体的基本概念基础上,根据日常地理信息查询需要,进行了地名本体的概念设计。通过地名本体模型的构建,探讨了基于语义网的地名本体服务框架的设计与服务发布等工作,并总结了实现基于地名本体的空间要素数据组织与关系表达的途径。     

基于地名本体的空间数据组织与服务研究

新一代GIS以面向服务为特征,本体是语义网结构的重要组成部分,其对语义网条件下的地理信息服务的研究至关重要。地名本体作为地理领域本体的重要内容,它是维护地理要素位置的本体。文章在总结地名本体的基本概念基础上,根据日常地理信息查询需要,进行了地名本体的概念设计。通过地名本体模型的构建,探讨了基于语义网的地名本体服务框架的设计与服务发布等工作,并总结了实现基于地名本体的空间要素数据组织与关系表达的途径。     

面向智能诊断的语义物联网知识标注与推理框架

为解决开发物联网应用时海量设备数据所带来数据整合问题,提出了一种基于语义标注与推理的物联网应用系统框架.框架中包含一种通用的物联网应用本体,在重用传统设备描述本体的基础上拓展了设备间关系的建模.框架还借助语义传感网、语义web和推理技术以支持可自动执行复杂分析控制任务的实际物联网应用的开发,如异常诊断、自动控制等.楼宇自动化场景下的实验结果表明,该框架支持物联网设备知识库的构建和扩展,并可以支持复杂的物联网应用.     

地理本体Agent在紧急状态决策过程中的语义互操作

针对地理信息对语义的特殊要求,提出了利用本体实现基于语义的地理Agent的集成和互操作的基本方法.通过该方法,首先利用地理Agent中的领域本体把各个分布异构的GIS节点用本体封装起来,对外显示基于本体的界面;然后通过Agent的语义推理机制,建立不同本体系统之间的语义关系;最后通过不同GIS节点之间的语义关系投影到全局本体Agent中的本体树实现地理信息系统的集成,从而为紧急状态决策支持系统提供一个基于语义的地理信息服务,实现了透明和准确地访问空间信息资源和服务.     

一种基于本体服务索引的Web服务扩展方法

传统的获取Web服务的方法是通过关键字匹配,由于此方式在发现潜在语义相符的Web服务时较为困难,越来越多的学者研究如何基于语义检索Web服务。本文设计了一种新的语义匹配模式：基于本体服务索引的服务匹配。通过建立从服务到本体库的索引,将本体库和Web服务库关联成一个逻辑整体。通过UDDI,用户请求会直接发送给推理规则库,在得到服务请求后,通过相应推理规则得到领域本体中与服务请求在一定相似度范围内的类及实例,而后将这个结果集输入到本体服务索引,经过匹配可输出较符合的Web服务结果集。     

一种基于本体的空间信息Web服务实现方法

为了提高空间信息Web服务的互操作性，提出了一种利用本体技术实现空间信息Web服务发现与检索的解决办法.通过Web服务本体描述语言（OWL-S）实现对空间信息Web服务能力知识表达，在标准的开放地理信息系统协会(OGC）空间信息Web服务基础上，建立了一个基于本体目录服务的空间信息服务框架.并给出了基于这一框架服务请求的实现过程.结果表明，本体技术可以扩展空间信息Web服务的语义，能将服务匹配过程中得到的相似的Web服务复用于当前服务请求，提高知识推理的效率.     

An Automatically Filtering Blacklist Model of Social Network Based on Semantic Web

According to the features of the semantic web technology,it is very suitable to solve the security issue of the current social network environment.Firstly,in this paper,it extends the existing ontology model of the social network with some relevant classes,and introduces a brand new ontology which is used to represent the malicious information.After introducing these models,a method of identifying the malicious message is raised.Finally,the experiments and simulations analyze the feasibility of the whole system.The results validate that the malicious users can be automatically filtered,and some worthy digital evidence can be effectively provided to forensic investigators.     

基于语义网络的产品建模及配置方案搜索

对基于语义网络的产品建模及配置方案的搜索方法进行集成研究,以提高产品配置设计的效率.在相关本体的基础上,建立基于语义网络的产品模型结构,并据此解析用户所输入的查询语句.基于语义网络的产品模型提供一种定量与定性相结合的一致化的设计实例与需求的表达方式.进一步通过产品的语义网络模型可以获取设计需求的隐含条件,使得需求在设计方案的搜索匹配过程中被更充分地考虑.利用基于语义网络的推理技术与本体语言RDFS构造待求配置设计问题的语义网络片断,并通过语义搜索与匹配度计算排序从设计实例库中获取符合当前需求配置设计方案;同时,通过注塑机螺杆为实例的应用,证明了基于语义网络的产品模型在支持配置选型设计方案搜索方面的有效性与实用性.相对于传统的产品模型而言,基于语义网络的产品模型更关注属性之间的内部联系,经实例验证基于语义网络的产品模型使得配置设计过程更符合用户的实际需求.     

语义相似性与协同过滤集成推荐算法研究

基于项目协同过滤算法能提高基于用户协同过滤方法的扩展性问题,并考虑项目之间的关系避免计算用户之间关系的瓶颈,但基于项目协同过滤算法依然存在稀疏性和新项目预测等问题。为了解决这些问题,该文采用了一种基于项目的结构化语义信息的集成相似性算法。为了抽取项目的语义信息,通过本体学习建立特定领域本体并利用包装器代理从网站中抽取本体类的实例和项目属性。实验结果证明了此方法不仅能很好的解决基于项目协同过滤算法带来的问题,而且还提高了推荐精度。