共查询到20条相似文献,搜索用时 468 毫秒
1.
2.
本文阐述了平面几何定理机器证明的基本原理及方法,针对几何定理机器证明过程中可读证明的产生,及推理信息快速增长的问题,提出了一种基于本体推理的几何定理机器证明方法。通过具体案例,描述了以Protégér软件为工具, 基于WordNet重用的领域本体半自动构建方法,构建几何本体模型的过程, 并结合Prolog规则进行双向推理,结果表明将本体引入几何定理机器证明是可行的,且本体推理脱离了代数形式,使得推理过程更接近自然语言的描述,同时推理效率更高 相似文献
3.
文中阐述了平面几何定理机器证明的基本原理及方法,针对几何定理机器证明过程中可读证明的产生,及推理信息快速增长的问题,提出了一种基于本体推理的几何定理机器证明方法。通过具体案例,描述了以Protégér软件为工具,基于WordNet重用的领域本体半自动构建方法,构建几何本体模型的过程,并结合Prolog规则进行双向推理。结果表明将本体引入几何定理机器证明是可行的,且本体推理脱离了代数形式,使得推理过程更接近自然语言的描述,同时推理效率更高。 相似文献
4.
针对新闻社区领域知识的特点,以新闻社区领域知识的网络应用为目的,根据新闻社区领域本体总体构建流程,采用半自动化构建本体的方法,以通用本体WordNet及ODP开放式目录中不同层次的新闻主题分类为基础,按照媒体流程展开本体概念结构,构建了面向新闻网站应用的新闻社区领域顶层和中层本体模型。利用本体构建工具Protégé4.1开发了新闻社区领域本体。 相似文献
5.
针对消防领域内部存在大量异构信息的问题,采用本体技术建立一种标准化格式的异构信息知识库,从而实现信息的共享和透明访问。通过分析工业火灾与爆炸事故的相关知识,以消防决策为应用向导,根据骨架法的指导方针,对传统的七步法进行改进,提出工业消防本体的构建方法。在本体构建方法的基础上,实现消防领域知识的全面集成,并为工业消防本体的推理奠定基础。按照上述方法,研究消防领域的相关知识,抽取领域中的核心概念,确定工业消防本体层次结构,最后详细分析了本体的内容,并使用Protégé工具完成工业消防本体的构建。 相似文献
6.
本文使用Protégé作为知识建模工具开发汽车制造领域本体,以Jena为开发平台运用基于本体的语义检索技术和规则推理实现订单的自动生成,开发了一套基于本体的汽车零部件采购订单自动生成系统。由于本体是共享概念模型明确的、形式化的规范描述,将本体应用到汽车制造行业的ERP系统中,可以利用本体强大的语义关系表达能力和本体描述知识的共享性,以及建立在其上的自动推理机制实现供应链企业间异构知识的自动集成。 相似文献
7.
针对传统电机故障诊断专家系统中知识表示方法的不足,提出一种基于描述逻辑的电机故障诊断领域知识描述方法,并在此基础上对所构建的电机故障知识库进行了逻辑检错推理.通过对电机故障诊断领域知识进行表示和推理,可以有效地表示电机故障知识之间的关系,检测知识逻辑体系错误.在实验过程中,利用本体编辑工具Protégé采用OWL语言对其进行了实现,并通过TABLEAU算法实现了逻辑检错推理. 相似文献
8.
基于本体的元需求模型与元需求集研究* 总被引:1,自引:1,他引:0
针对大型信息系统需求的复杂性,从需求的元级概念出发,提出了元需求概念,分析定义了元需求的构成要素、要素间关系及特征;用模型的方法来表示元需求,构建元需求模型,并形式化地表示模型。引进本体概念,将元需求模型看做是一个本体,用本体网络语言表示元需求模型;借鉴本体构建方法,基于Protégé工具构建了元需求集。元需求模型及元需求集实现了需求获取与分析,为基于元需求的需求获取及分析提供基础。 相似文献
9.
基于混合推理的知识库的构建及其应用研究 总被引:2,自引:0,他引:2
该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足. 相似文献
10.
为解决语义网检索过程中缺少推理导致语义检索性能不高的问题,提出一个基于推理的语义网检索模型,并介绍了该模型实现的关键技术.针对构建的领域本体,使用SWRL规则语言进行本体完善把本体中的隐性知识表示出来;在信息抽取过程中,对于识别出的实体,利用推理规则,获得更加丰富的实例知识库;对于用户输入的查询条件,利用完善的本体知识库及规则得到更多的相似概念实现查询扩展;进行语义匹配,获得更为精准的检索结果.实验结果表明,该模型能提高信息检索的语义性,得到较满意的信息检索结果. 相似文献
11.
Patrick Charland Pierre-Majorique Léger Timothy Paul Cronan Jacques Robert 《Journal of Computer Information Systems》2016,56(1):31-39
This research studies the influence of individual knowledge mastery of competency task performance of Enterprise Resource Planning (ERP) learners. The research design involved the assessment of participants' ERP competency, each of whom participated in four games of a computer-based simulation, ERPsim. ERP knowledge was assessed using a validated questionnaire, which included questions with different complexity levels. Results indicate that although reported student grade point average is not a predictor of ERP competency, ERP knowledge mastery (particularly complex knowledge) does predict ERP competence. While mastering basic ERP knowledge does not predict the competency of the participants, these results can provide useful guidelines with respect to teaching and assessment practices, as well as the development of ERP curricula. To effectively prepare learners to be able to perform in authentic learning contexts, instructors could emphasize the mastery of complex knowledge and consequently use complex knowledge test questions as a component of the instruction. 相似文献
12.
基于本体的Web分类技术研究 总被引:2,自引:3,他引:2
主要提出了一种基于本体的抽象的Web挖掘模型。首先利用本体的方法表示出要挖掘的领域,然后把从用户处收集来的数据转换成表格;最后再根据定义和公式来进行知识发现。抽象的Web挖掘模型可以提取出语义Web中隐藏在大量信息背后的近似概念,来实现知识发现。 相似文献
13.
针对目前的产品设计知识表示模型或是只局限于产品设计的某一阶段,或是局限于某一设计领域,对产品设计知识的概念存在着分类不清等不足,文中提出一种产品设计知识本体构建方法,并构建基于本体的产品设计知识表示模型。通过分析产品设计知识本体产生的知识概念、属性及知识概念间关系,形式化地定义和描述表示产品设计领域所包含的知识资源,提高企业产品设计知识共享和重用效率。以色选机设计知识表示为例,验证了所提出模型的有效性。 相似文献
14.
ERP system usage has been identified as a critical factor in attaining the benefit from an ERP installation. However, the specific antecedents of ERP usage and its impact on ERP benefit remains largely unknown. Drawing on absorption capacity theory, this study develops a theoretical model that examines the mediating effect of ERP system usage on ERP benefits. Similarly, the study also identifies the antecedents of ERP system usage. A model is tested using the responses of 157 ERP system end-users across the United States and the results suggest that ERP system usage is directly related ERP benefit. However, the relationship is moderated by the degree of knowledge integration mechanisms within the firm. Consistent with the proposed model, the results also reveal that technical resources, organizational fit and the extent of ERP implementation are key drivers of ERP system usage. The research findings advance our knowledge on how managers can enhance ERP usage and realize optimal ERP benefits. 相似文献
15.
Most IS research about ERP implementation stops short at system start-up and seldom addresses post-implementation issues. However, ERP implementation is a continuous improvement effort and continued efforts after system start-up will influence the ultimate success of an ERP implemented system. We defined a four-phase ERP refinement model that incorporated knowledge management (KM) into each major implementation phase. This knowledge-enhanced ERP implementation model adds insights when used to investigate ERP success. It also provides practitioners with a guideline for incorporation of KM into their ERP strategy to improve success rates of ERP systems. 相似文献
16.
本文简介了面向敏捷制造的ERP软件系统AM/ERP的相关内容,对其最优化问题进行了探讨,提出它的数学模型,并基于遗传算法进行了模型仿真和优化。 相似文献
17.
在分布式系统中,既有共享概念的领域本体,又存在个体的知识组织个性,因此个性化本体的研究具有重要的现实意义。本文基于开放系统假设,定义个体的外现类及个体之间的相识关系,使用Web本体语言表示个性化本体的类描述和类公理。提出一个基于消解原理的个性化本体网络的知识查询递归算法,该算法不依赖注册服务器和分布式哈希表,具有较强的动态适应性。以一个(教)师(学)生本体网络的知识查询为例,讨论了个性化本体网络及其知识查询算法的实现。 相似文献
18.
19.
20.
Kimberly Deranek Alexander McLeod Edie Schmidt 《Journal of Computer Information Systems》2019,59(4):373-383
ABSTRACTBest-in-class organizations recognize that knowledge management provides a competitive advantage. Opportunities to share knowledge enhance knowledge sharing attitudes. Organizations use training to facilitate knowledge and acclimate novice employees to Enterprise Resource Planning (ERP) systems. Most ERP functional training leverages explicit codified knowledge. Without collaborative opportunities between departments, allowing users to interact and exchange internalized knowledge and skills, information remains untapped. Prior research explored the impact of ERPsim on knowledge, skills, and attitudes, but failed to model construct relationships. This work assesses if a business simulation can be used to mimic Social Cognition Theory and enhance knowledge and attitude among experienced employees. Paired sample T-tests confirmed significant differences in means across constructs. Additionally, PLS Path Modeling investigated and confirmed a relationship between knowledge and skills constructs with attitude. Findings suggest ERPsim might be beneficial to diffuse knowledge and skills among experienced users in the workplace, while positively influencing attitudes. 相似文献