面向对象的本体建模研究

UML语言是面向对象建模领域公认的工业标准,而本体建模是近来迅速发展的语义网中主要建模技术,UML在本体建模领域中的应用的可行性和具体方式一直是关注的焦点。该文对面向对象建模与本体建模之间的关系进行分析,基于UML本体承诺的概念,阐述了用UML对本体进行建模的本体对象建模的可行性,提出一种规范本体对象建模的UML元模型扩展方法,为UML直接对本体建模提供了理论依据。     

知识表示及企业本体建模研究

在企业建模领域引入本体思想,介绍了企业本体的概念、作用和意义,然后阐述了企业知识表示和组织策略。最后通过一个实例给出了本体建模的详细步骤和方法体系。基于本体的企业建模从根本上解决了企业的知识共享和重用问题。     

基于本体的民航应急决策知识表达与推理方法研究

针对民航突发事件应急决策知识表达与管理中的问题,利用本体技术在知识获取和建模方面的优势,本文设计了一个基于领域本体的民航突发事件应急决策知识推理模型;以民航突发事件应急预案、应急案例、应急资源和应急规则等应急知识为基础,构建了民航应急管理领域词典,采用领域本体四元组建模方法给出了基于领域词典的本体构建过程;运用SWRL规则语言建立了民航突发事件应急决策所需的基本规则,采用Protégé本体编辑工具和Jena推理机实现了基于本体的规则推理,为民航突发事件应急决策知识的管理与应用提供了良好的方法与技术支持。     

本体论在企业建模领域中的应用研究

企业建模已成为国内外一项重要的研究课题,目前存在多种企业建模方法,比较了其优缺点,把本体理论引入企业建模领域,解决共享、重用和互操作的问题,简单介绍基于本体的企业建模方法.     

基于本体的科研领域知识管理建模研究

针对我国目前科研领域知识管理中存在的知识来源复杂、存储零散、创新知识不能及时保存等问题,采用本体方法为科研领域知识建模,构建科研知识本体体系,给出科研知识本体的形式化表示;给出了科研领域知识库的构成及用户查询过程,并对知识库进行动态管理;最后提出科研知识管理框架,以支持科研知识的管理、共享和重用.     

异构安全数据集成的本体建模方法研究

异构安全数据集成对安全信息共享和安全业务协同处理具有重要意义,是数据集成领域的一个重要方向。在分析异构安全数据现状的基础上,研究了现有的基于本体的数据集成建模方法和异构系统间实现安全策略的协同。通过对本体语言OWL进行安全性扩展,提出了一个异构安全数据的本体建模方法并通过实例进行了验证。     

UML和OWL在本体建模中的比较研究

作为语义Web的基础,提供共享概念模型的本体扮演了重要的角色。然而目前的本体开发工具和技术是建立在AI领域KIF和KL-ONE的基础上,难以理解和掌握。通过介绍UML和OWL的基本概念和建模原语,结合建模实例分析它们在本体建模中的开发原理,并对两者在本体建模过程的方法进行分析评价,可以看出将UML应用于本体的开发,能提供标准直观的统一建模过程,提供方便的沟通和理解途径,对本体开发有较高的现实意义和理论价值。     

面向机械产品概念设计的知识库设计研究

针对机械产品概念设计中设计知识功能语义定义模糊和隐形知识重用率低的问题, 研究了基于领域本体表示的知识库设计方法,支持设计知识的自助发布管理和语义信息检索等 功能。提出设计知识表示的本体模式和建模方法,建立领域本体;从概念设计方案需求粒度、 功能目标及企业知识自管理等方面考虑,建立多维设计知识分类体系;设计JSON 文件到OWL 文件的映射规则,实现设计知识的发布、维护、存储和检索。最终实现面向机械产品概念设计 的知识管理,为企业设计人员提供知识共享和重用,支持产品概念设计的方案创新。     

基于社会立场建模的网络犯罪预警研究

网络空间已成为安全防控"第二战场",如何在新型战场中为网络犯罪预警提供技术支持已成为当前安全工作的重要需求.在分析涉犯罪网络文本特征的基础上,提出基于社会立场的建模方法.首先,基于领域专家破案经验,抽取知识构建顶层本体,并按照警种扩展顶层本体构建领域本体;然后,依据警种所关注主题,定向采集官方媒体言论,构建社会立场库;...     

UML和OWL在本体建模中的比较研究

作为语义Web的基础，提供共享概念模型的本体扮演了重要的角色。然而目前的本体开发工具和技术是建立在AI领域KIF和KL—ONE的基础上，难以理解和掌握。通过介绍UML和OWL的基本概念和建模原语，结合建模实例分析它们在本体建模中的开发原理，并对两者在本体建模过程的方法进行分析评价，可以看出将UML应用于本体的开发，能提供标准直观的统一建模过程，提供方便的沟通和理解途径，对本体开发有较高的现实意义和理论价值。     

基于本体信息的企业知识管理系统的模型框架

本文系统阐述了本体的有关概念和方法,并对基于本体的建模、信息管理和查询等关键技术进行了详细的讨论,提出了一种基于本体信息的企业知识管理系统的模型框架.通过将各种类型的资源向知识本体层映射,可以充分发掘资源之间内在蕴涵的关联关系,能够很好地满足用户对相关资源的检索和融合需求.     

基于本体的企业网络知识管理系统的构建与实现

提出了运用本体构造企业网络知识管理系统模型的方法。本方法克服了原有相关系统存在的固有不足,从面向对象的角度探讨了构造企业网络知识管理系统的可能性。以此为基础,重点讨论了基于本体的企业网络知识管理系统构建方法。最后设计了一个企业网络知识管理实验系统,并给出了具体实例。     

3DGIS数字矿山基础信息平台在四台矿的应用

介绍了四台矿3DGIS数字矿山基础信息平台的架构、建设过程及建设中遇到的问题。该平台实现了对井巷系统、安全监测监控系统、通风系统、供电系统等的模拟,为煤矿企业的安全生产管理提供了辅助决策手段。     

企业信息化管理中数据安全的研究

实现信息化管理是当前企业发展的必然要求,而信息化管理的实施则依赖于企业信息安全建设的发展程度。本文从设计院数据应用的实际需求出发,提出了信息安全管理制度建设的基本原则,并给出了保障信息安全的相关技术手段。科学完善的管理制度与相关技术手段相结合的管理模式较好地解决了企业信息安全的保障问题。     

一个基于管理信息单元的描述

先进的管理理念诸如全面质量管理、业务流程再造或是六西格马管理在企业应用过程中获得了巨大的成功。从中我们发现,这些管理创新都以业务流程改进为出发点。因此,对业务流程进行管理显得至关重要。本文描述了一个业务流程管理系统的管理信息单元组织模型和流程模型,以及系统功能模块及其实现工具,为企业进行业务流程管理提供了一定的参考。     

煤炭物流企业协同信息平台的研究

分析了信息平台对煤炭物流企业核心竞争力的影响,提出了一种包括内部管理信息系统和外部信息协同平台的煤炭物流企业协同信息平台体系,探讨了煤炭物流企业建立协同信息平台应注意的问题,并指出可以采取分步实施的方式建立协同信息平台,即首先建立内部管理信息系统,然后建立对外的信息门户,最后再进行一体化的供应链管理,从而实现完整的协同信息平台。     

民航业务系统的安全性分析与验证

民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件,因此民航业务系统的安全性十分重要,形式化验证方法是保障系统安全性的重要技术手段。本文结合故障树分析技术提取民航业务逻辑的安全性验证需求,并用新〖JP2〗提出的ABPD业务流程模型为民航业务系统建模,进一步分析并定义出6种安全性性质。最后,采用图搜索方法对ABPD〖JP〗模型进行安全性验证并给出具体算法实现。实验结果表明了算法和程序的有效性。      

A knowledge engineering approach to knowledge management

Knowledge management facilitates the capture, storage, and dissemination of knowledge using information technology. Methods for managing knowledge have become an important issue in the past few decades, and the KM community has developed a wide range of technologies and applications for both academic research and practical applications. In this paper, we propose a knowledge engineering approach (KMKE) to knowledge management. First, a knowledge modeling approach is used to organize and express various types of knowledge in a unified knowledge representation. Second, a verification mechanism is used to verify knowledge models based on the formal semantics of the knowledge representation. Third, knowledge models are classified and stored in a hierarchical ontology system. Fourth, a knowledge query language is designed to enhance the dissemination of knowledge. Finally, a knowledge update process is applied to modify the knowledge storage with respect to users’ needs. A knowledge management system for computer repair is used as an illustrative example.     

基于企业构建档案信息化管理系统的探索

随着计算机信息技术的迅猛发展,传统企业档案管理已不能满足企业需求。批量数据的集中处理急需企业构建档案信息化管理系统,是现代企业发展的必然趋势。介绍了构建档案信息化管理系统的必要性,分析了构建系统的实现步骤、实现目标和实现策略,给出了如何更好地应用档案信息化管理系统,为企业经济发展服务。     

Enterprise model verification and validation: an approach

This article presents a verification and validation approach which is used here in order to complete the classical tool box the industrial user may utilize in enterprise modeling and integration domain. This approach, which has been defined independently from any application domain is based on several formal concepts and tools presented in this paper. These concepts are property concepts, property reference matrix, properties graphs, enterprise modeling domain ontology, conceptual graphs and formal reasoning mechanisms.