王海龙
- 作品数：10 被引量：24H指数：3
- 供职机构：东北大学信息科学与工程学院更多>>
- 发文基金：教育部“新世纪优秀人才支持计划”国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种支持自定义模糊数据类型表示的模糊OWL扩展被引量：4
- 2011年
- 语义网需要能够以一种智能的方式来表示和处理模糊知识与数据信息,但最近的研究证明,OWL在数据类型表示方面存在严重的局限性:首先,它不能处理在语义网和本体中广泛存在的不精确以及不确定信息;其次,它不支持自定义数据类型及自定义数据类型谓词的表示。为了解决上述局限性,提出了一种新的模糊描述逻辑F-SHOIN(G),给出了F-SHOIN(G)的语法、语义。然后,以F-SHOIN(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL。f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,为模糊本体的研究提供了新的表示方法。最后,还给出了由OWL文件到f-OWL文件的转换规则,从而实现了f-OWL对OWL的兼容。
- 赵法信马宗民王海龙
- 关键词：语义网模糊描述逻辑
- 面向模糊本体推理的框架结构
- 为了表示语义Web和本体中不精确和不确定的模糊数据信息，提出了模糊教据类型域的概念，并给出了一种模糊数据类型表示的统一机制.此外，为了对模糊描述逻样提供推理服务，提出了一种支持模糊数据类型表示的模糊本体推理结构，并给出此...
- 王海龙马宗民闫玲徐长明
- 关键词：描述逻辑数据类型
- 文献传递
- 基于模糊描述逻辑F-ALC(G)的模糊OWL扩展被引量：2
- 2009年
- 针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后,以F-ALC(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL.f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息。
- 王海龙马宗民严丽闫东亮
- 关键词：语义WEB模糊描述逻辑
- 支持模糊数据类型表示的模糊描述逻辑研究
- 语义Web是当前Web的扩展,它赋予Web资源信息机器可理解的语义,从而便于人和计算机之间的交互与协作。为了让机器能够理解Web资源信息并做推理,需要建立本体,并利用本体语言来表示语义Web中的知识和语义。目前,面向语义...
- 王海龙
- 关键词：语义WEB模糊描述逻辑推理机
- 文献传递
- Vague ALC(D):一种基于vague集的模糊描述逻辑被引量：2
- 2008年
- 针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.
- 王星马宗民吕艳辉王海龙
- 关键词：语义WEB描述逻辑VAGUE集
- 支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)被引量：12
- 2009年
- 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.
- 王海龙马宗民严丽程经纬
- 关键词：模糊描述逻辑
- 基于Vague关系数据模型的数据依赖
- 2009年
- 基于提出的Vague关系数据模型和Vague集之间的相似度量,研究了Vague关系数据库中的数据依赖问题,给出了Vague函数依赖(VFDs)和Vague多值依赖(VMVDs)的定义及其相应的推理规则.该规则类似于经典关系数据库中函数依赖和多值依赖的Armstrong公理系统,称之为Vague公理系统.并对Vague公理系统的有效性和完备性进行了证明.同时还给出了VFDs满意度的概念及计算VFDs满意度的公式.
- 赵法信马宗民王海龙
- 关键词：VAGUE集数据依赖
- 模糊描述逻辑f-DLR-Lite∩的合取查询回答被引量：2
- 2008年
- 分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理.
- 程经纬马宗民严丽王海龙
- 关键词：描述逻辑
- 一种基于vague集的模糊描述逻辑(英文)
- 2007年
- 为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.
- 马宗民王海龙严丽赵法信
- 关键词：语义WEB描述逻辑模糊逻辑VAGUE集TABLEAU算法
- FRESG:一种模糊描述逻辑推理机被引量：6
- 2009年
- 作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义Web付诸应用的根本载体.基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表示和推理.简要介绍了FRESG1.0的主要推理功能以及所使用的编程语言;详细描述了FRESG1.0的总体结构及其主要组成部分的设计与实现,其中着重阐述了FRESG1.0推理机的特色和设计实现过程中所采用的算法、实现技术.通过测试案例可以看出,FRESG1.0推理机具备较强的推理能力,尤其具备目前其他推理机所不具备的推理模糊用户定制数据信息的能力.FRESG1.0具有较强的模块化结构,有很好的可扩展性,为今后对其进行深入研究和扩展奠定了基础.
- 王海龙马宗民殷俊夫程经纬
- 关键词：语义WEB模糊描述逻辑推理机
