一种面向DL-Lite本体原子断言的不一致度量算法

本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.度量不一致可以为解决本体不一致提供一些额外的信息.目前很多度量不一致度的方法都是基于复杂的描述逻辑,不适合具有大数据量的本体.本文从简单的描述逻辑DL-Lite入手,通过分析DL-Lite的特点,给出了原子断言不一致度的定义和一种能够有效计算原子断言不一致度的算法.算法复杂度的分析及实际的应用表明该方法是有意义的.     

基于HS-树的所有MIPS求解算法

本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.目前很多解决本体不一致的方法都需要计算最小不一致保持子集(MIPS).本文利用HS-树方法给出了一种能够有效计算本体中所有MIPS的算法.实验表明该算法是有效的,尤其对于本体中包含不可满足的概念远远多于MIPS的情形更加有效.     

物流领域本体的模块化研究与实现

为解决物流领域大本体不易维护、应用困难等问题,将模块化技术引入物流领域本体建设中．提出了本体模块的定义．给出了物流领域问题域划分原则,并采用断言方式将模块连接,形成不同语境下的知识表示．针对模块连接时产生的不一致问题提出约束原则,从而保证了模块间连接的正确性．由于划分后产生的货物本体模块依然较大,根据货物专业领域的知识特点将其细化为多个模块,这样模块间的关系呈现树状结构,并用程序将模块连接．在此基础上．优化了基于本体和规则的物流管理系统．实验表明,模块化技术将推理限制在较小的范围之内,降低了推理复杂度,大大减少了系统内存消耗,提高了系统响应速度,且本体模块易维护和复用．     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

基于语义网的隐私本体的建立和Web应用

 语义网的出现给个人隐私的使用和管理带来新的挑战,需要开发出合适的本体来解决电子商务领域中对隐私表达和使用描述不一致的问题.基于本体论的方法探讨隐私领域本体的建立,具体介绍了本体的建立原则和方法,并利用OWL给出隐私本体的体系结构.同时,给出隐私本体在语义Web中的应用示例.该本体的建立让隐私知识实现重用、共享和处理,为今后研究语义Web中的隐私保护技术奠定了理论基础.     

运用Jena对本体模型进行推理及其应用

推理作为知识表示的核心在语义Web中扮演着重要的角色.结合本体语言OWL、本体建模工具protégé和语义网系统开发工具Jena API,首先通过实例论述了如何针对本体模型进行推理,然后又详细论述了推理在徐悲鸿数字博物馆中的应用.     

云计算环境下的SWRL规则分布式推理框架

为解决传统推理引擎在进行大规模OWL本体数据的SWRL规则推理时存在的计算性能和可扩展性不足等问题,提出了云计算环境下的SWRL规则分布式推理框架CloudSWRL.根据SWRL规则语义,并以Hadoop开源云计算框架为基础,设计了OWL本体在HBase分布式数据库中的存储策略,定义了SWRL规则解析模型和相关推理中间数据模型,提出了在DL-safe限制下基于MapReduce的SWRL规则分布式推理算法.实验结果表明,在对大规模OWL本体进行SWRL规则推理时,CloudSWRL框架在计算性能和可扩展性方面均优于传统推理引擎.     

一种不完备决策表的改进约简算法

由于在现实中,大部分信息系统是不完备的,有可能是不一致的。所以,针对现有属性约简算法的不足,在覆盖粗糙集理论和最大一致块技术的基础上提出了一种新的运用表存储可辨识属性集的不完备决策表的改进约简算法,该算法同时适用于一致决策表和不一致决策表,通过算法可求得决策表属性集的上约简、下约简,实现决策表的属性约简,有效地降低了算法的空间复杂度,提高了算法效率,具有一定的现实指导意义。     

基于农田墒情监测的轻量级语义传感网络

针对现有农田传感节点信息化查询和本体知识构建的问题，分析农田墒情监测系统，提出了轻量级语义传感网络本体.从农田信息数据中抽取关系，设计FSSN本体注释方法，使用Tf-Idf算法分析农田本体语义权重，提出FSSN-SDRM算法构建农田墒情轻量级本体模型，对农作物生长环境进行分析，设定适宜性推理规则，使用Jena API对注释本体模型推理.根据农田传感节点采集的墒情信息，在轻量级中间件NVIDIA TX2平台上进行实验，查询数据库中推理信息的正确性，比较设备的响应时间.实验结果表明，轻量级FSSN注释本体将平均响应时间压缩至81 ms，相较于未注释本体缩短了41.4%的响应时间，TX2中时间比主机端缩短了12.81%，能够迅速并准确地进行农作物生长环境的适宜性判断，为农业信息化采集提供新的思路.     

一种新的求属性约简的算法

以不一致度为基础,给出了一种新的衡量属性重要度的标准--不一致度增加函数,并以此为启发式信息构造了一种新的属性约简算法.与前人提出的属性约简算法相比,这种算法的求核运算包含在求属性重要度的运算中,不需要再单独求核.从而简化了算法,提高了效率.     

Reasoning with Inconsistent Ontologies

Reasoning with inconsistent ontologies involves using an inconsistency reasoner to get meaningful answers from inconsistent ontologies. This paper introduces an improved inconsistency reasoner, which selects consistent subsets using minimal inconsistent sets and a resolution method, to improve the run-time performance of the reasoning processing. A minimal inconsistent set contains a minimal explanation for the inconsistency of a given ontology. Thus, it can replace the consistency checking operation, which is executed frequently in existing approaches. When selecting subsets of the inconsistent ontology, formulas which can be directly or indirectly resolved with the negation of the query formula are selected because only those formulas affect the consequences of the reasoner. Therefore, the complexity of the reasoning processing is significantly reduced. Tests show that the run-time performance of the inconsistency reasoner is significantly improved.     

基于本体的多Agent自动工艺系统

为把本体理念应用于多Agent的CAPP自动工艺系统，提出了基于本体的多Agent自动CAPP系统模型，并构造了单个Agent的基本架构；建立了该领域的零件本体库和特征本体库，采用基于RDF(S)的OIL语言对系统中的各Agent零件特征知识的语法和语义进行详细的描述与注释，并利用一阶谓词逻辑对各Agent之间本体转换规则的语法和语义加以描述；最后通过实例验证了本体的功能和转换规则的智能推理机制，从而很好地满足多Agent自动工艺系统之间零件特征知识共享、复用和互操作的需求，同时对其它领域知识信息的处理也有着很好的借鉴意义。     

基于形式语义的Web服务交互模型

现有的W eb服务缺少明显的语义,W eb服务之间不能很好地理解其相互传递的消息,因而不能实行W eb服务的发现、调用和组合自动化。为此,提出一种基于形式语义的W eb服务交互模型。该方法通过定义W eb服务接口描述的词汇集以及词汇集之间映射规则,实现了开放和分布式环境下的W eb服务的语义交互。与已有的方法相比,该方法考虑了分布式本体的解释及可满足性问题,可自动根据W eb服务接口的描述因子进行分布式本体推理,解决了开放和分布式环境下W eb服务的语义交互问题。     

一种语境化模糊本体的方法

本文主要研究如何将模糊本体进行语境化,即语境化模糊本体. 具体来说,提出了一种语境化模糊OWL（Web Ontology Language）本体的方法,讨论了如何扩展模糊OWL（F-OWL）本体的语法和语义来处理F-OWL本体无法处理的问题,并进一步提出了一种模糊语境OWL本体语言FC-OWL. 该本体语言FC-OWL是一种扩展的模糊语言,具有丰富的语义,并且允许对模糊本体进行语境化表示.     

面临不一致时进行一致性推理的语意研究

讨论了一种新的逻辑,这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理．首先解释了这种逻辑的语意,然后给出了基于这种逻辑的一些推理规则和公理,最后用一个实例讨论了这种逻辑的应用．     

GIS Chinese query system based on CBR

In this paper, the method of understanding GIS Chinese query based on CBR (case-based reasoning) is proposed. The CaseBase is designed on the grammar rule of Chinese query sentences, the cases that pick up the character of standard query language (SQL) and are expressed in form semantics. In retrieval, the concepts of target comparability, structure comparability and individual comparability are given. The algorithm of case retrieval searches first the case of structure comparability and then individual comparability. The SQL reasoning algorithm that first parses form semantics, then reasons on structure comparability, and finally reasons on individual comparability is realized. In the actual GIS, the structure comparability and individual comparability are tested respectively. The experiment results show that the strategy of CBR is correct and feasible. With the size of CaseBase increasing through studies, the CaseBase will eventually be perfected. The effect of retrieval and reasoning will become better and better.