基于间断区间的时态知识表示

一般,用逻辑形式表示时态信息的方法是命题附加一个时间点或时间区间。文［１］指出,时间区间表示单个事件带间断区间是困难的,不过,文［１］定义两个间断区间的时态关系为一个矩阵,其计算量相当之大以至该方法不实用二本文给出一个基于间断区间的时态知识表示模型,它将两个间断区间的时态关系分为２０种,其计算量与Ａｌｌｅｎ的区间演算属同一数量级。     

间断区间时态逻辑的语义

区间逻辑不能模拟自然语言中与,或,非时态关系,其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点,本文给出了间断区间逻辑的语法,语义及公理,即描述了间断区间时态逻辑的语义。     

基于模糊集的不确定时间的表示及时态关系

研究不确定时间具有广泛的应用.不确定时间常常表现出模糊性,该文用模糊集的方法研究不确定时间点、不确定时间区间的表示方法及其时态关系.     

本体表示语言的研究及应用

在介绍面向对象的本体表示语言CRLE的基础上,分析了通过CRLE构造概念网络的实现策略,探讨了对基于CRLE的本体进行全面管理的方案,分别实现了本体的添加、删除和修改算法,并提出了进一步的研究工作。     

基于本体的机械零件知识表示方法研究

分析了零件知识内容复杂,数据构成的形式多样的特点,比较现有知识表示方法的利弊,提出了基于本体的知识表示方法,给出基于本体的机械零件知识表示的实现过程,并以螺栓为例进行了本体表示。     

基于OWL本体的语义Web知识表示

语义Web是对当前Web的一种扩充,它的发展正逐渐将Internet变成一个巨大的全球化的知识库,利用本体进行知识表示是实现知识管理、体现语义Web价值的一种有效途径.本文在研究OWL本体进行知识表示的机制后,阐述形式化表示及语义说明方法,并结合实例说明知识的表示.     

基于本体的产品设计知识表示研究

针对目前的产品设计知识表示模型或是只局限于产品设计的某一阶段,或是局限于某一设计领域,对产品设计知识的概念存在着分类不清等不足,文中提出一种产品设计知识本体构建方法,并构建基于本体的产品设计知识表示模型。通过分析产品设计知识本体产生的知识概念、属性及知识概念间关系,形式化地定义和描述表示产品设计领域所包含的知识资源,提高企业产品设计知识共享和重用效率。以色选机设计知识表示为例,验证了所提出模型的有效性。     

基于本体的产品设计知识表示方法

针对产品设计知识的多样性、动态化和相关性等特点,提出了一种基于本体的产品设计知识表示方法。建立了以客体、概念集、属性集、命题集和函数集为核心的知识单元,并设计了五者之间的联系,在此基础上引入了输入输出模块,以增强产品设计知识表示的全面性和灵活性。最后以圆柱形螺旋弹簧设计为例,验证了所提方法的有效性。     

基于本体的圈闭评价知识表示研究

圈闭评价在油气勘探风险防范和可行性评估中的关键过程,标志着油田领域对于圈闭评价知识需求越来越高.然而在面对圈闭评价众多知识资源时,其知识却呈现知识表示规范性差、知识描述二义性、知识元利用率低等问题,这就造成了知识不能被油田开发技术人员高效利用的局面,引起知识信息泛滥.为了解决圈闭评价中知识形式化描述的问题,提出了基于本...     

基于本体的领域知识表示和获取

本体的方法是新的知识表示的有效手段。文章讨论分析了利用RDR和FCA对领域知识表示和获取,以及在此基础上的本体的构建方法。探讨了在这种机制下如何实现对领域信息的抽取。     

基于本体的物流应急预案表示及应用*

为让计算机智能地处理物流应急预案,将每个物流应急预案表示为一个应急预案本体,通过计算概念和应急预案本体的相关程度,从而找到所需物流应急预案。用OWL:imports和Jena规则可连接应急预案本体,从而形成内容更全面的预案,但会破坏原有应急预案本体语义,产生不一致问题,所提出的约束原则有效避免了这一问题。应用SPARQL查询应急预案本体,并通过自定义原语和规则弥补应急预案本体在表达能力上的不足,以有效地对应急预案本体进行推理,从而找到所需结论,进而实现了基于本体的物流应急预案的表示和应用。利用本体的语义表     

一个优化的本体自学习构建模型及其应用*

针对我国出口产品技术性贸易壁垒（TBT）信息获取和搜索的准确性、针对性、及时性的迫切需求,设计了面向TBT电子产品领域的本体自学习构建模型,给出了模型的体系结构,介绍了此框架主要模块的基本功能、实现的关键技术,以及构建中遇到的问题和对策。此模型可使计算机理解提取现有的信息描述方式,半自动化地高效率构建高质量的本体库,具有良好的实用性。将此模型应用于TBT电子产品本体建设领域,并证明此模型具有很好的通用性和可行性。     

时间上下文的属性限制及一致性分析研究*

首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性值描述的一致性分析算法。实际应用表明,提出的两个算法,既能有效地实现带时间侧面的本体属性的一致性检查,又能针对时间属性本身消除其不一致性。上述算法可应用于带时间上下文的本体创建中分析并检查其一致性。     

应急预案体系本体模型（EPSOnto）及应用

应急预案是处置突发事件的重要依据,应急预案体系提供应急预案编制及修订指南。目前我国的应急预案体系建设存在描述不一致和异构性等问题。针对上述问题,采用语义网的本体技术,构建了应急预案体系本体模型,该模型以SUMO为上位本体,从预案体系主体、预案体系客体和体系组成等方面构建应急预案体系的概念、关系、函数、公理和实例五元组本体模型,并以天津市应急预案体系为应用实例对EPSOnto模型进行验证。     

项目审批本体模型的研究及应用

针对电子政务项目审批在知识表示与理解中存在的语义歧义问题,构建项目审批本体模型.基于电子政务项目审批领域特点,扩充ABC本体,并以扩充后的ABC本体模型为上位本体构建了项目审批本体模型;详细定义了项目审批本体模型中的概念、关系、函数、公理和实例等要素;以科技成果定密、解密、参展的审批为例对该模型进行了验证,验证结果表明了该模型可以较好地实现项目审批知识共享.     

应急物流组织本体模型研究及应用

为解决应急物流组织的知识共享及互操作问题,基于ABC上位本体,定义了应急物流本体模型ELO_Ontology,形式化表示为应急物流组织概念、关系、函数、公理和实例的五元组。最后,以四川省汶川大地震中的应急物流组织片段为实例进行了知识表示,结果表明,ELO_Ontology模型能够有效构建应急物流组织的知识体系。     

一种应急预案本体模型及其应用研究*

目前,应急预案是分布于多个单位的非结构化文档,缺乏统一的建模方法,造成对预案描述的领域知识进行表示和利用存在困难。为解决以上问题,提出一种基于本体的知识建模方法,对应急预案文本进行建模,并实现应急领域知识共享。根据对应急预案文本结构特征进行分析,在重用现有本体模型的基础上提出了各主要要素的本体模型,形成一种应急预案本体模型（emergency plan ontology model,EPOM）。通过利用该方法对某区域防汛应急预案进行本体知识建模,开展应用研究。应用结果表明,该方法能够有效建模应急预案描述的     

A Chinese time ontology for the Semantic Web

Representation of and reasoning with temporal knowledge are fundamental in information systems that involve changes and actions. To build such systems, a time ontology is demanded. The development of a time ontology is also an indispensable part of effort to realize the Semantic Web. Nevertheless, our practice shows that any practical time ontology is closely related with a specific calendar, culture or history. To this end, this paper presents a Chinese time ontology for knowledge systems and web services which involve temporal entities or temporal properties. First, we define a base time ontology. As a core component, it consists of a time system, a timing system, a Gregorian timing system, and a timing ontology. Upon this base ontology, other parts of the Chinese time ontology are finally constructed, including the traditional Chinese timing system, temporal representation in Chinese idiosyncratic ways, and transformation between temporal entities in the Gregorian timing system and temporal entities in the traditional Chinese timing system. We will argue that the base time ontology is not only a basic and integral part of the Chinese time ontology, but also a base for constructing other time ontologies.     

基于SUMO的应急组织本体模型及应用

应急组织是突发公共事件应急处置与指挥调度的核心.为了消除应急组织表达中的语义歧义,以SUMO为上位本体,构建了应急组织本体模型.用UML描述了该模型中的应急组织、应急资源和突发事件等概念及其之间的关系,详细分析了模型中的概念、关系、函数、公理和实例等5个本体要素,最后应用该模型对天津市突发公共事件总体应急预案的知识进行了表达,并运用该模型开发了应急预案管理系统原型.实验结果表明,该模型可以很好地表达应急组织相关概念及概念问的关系,消除了语义歧义.