共查询到10条相似文献,搜索用时 125 毫秒
1.
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理. 相似文献
2.
提出了一种支持本体构造的语义分析方法,该方法识别和定义概念间的语义联系,并将概念间的语义联系映射或转换成OWL原语.首先讨论了3种最常见的抽象(即包含、聚集和联系)以及它们在本体中含义,然后分析并用实例演示了3种抽象的OWL实现方法.当所有的语义联系都被识别和描述后,就产生了OWL本体的主干部分(即分类、对属性的约束、以及分类间的关系).该研究是发展本体概念模型(OCM)以及实现模型间映射或转换的基础. 相似文献
3.
本文在Petri网的基础上,引入本体,提出了本体驱动的Petri网建模方法。通过定义工作流元模型本体,将工作流模型用本体语言表达,从而建立本体与Petri网的对应关系,将本体丰富的语义特征与Petri网强大的分析能力相结合,由于本体具有丰富的语义表示与语义推理能力,从而有效地解决了 相似文献
4.
本文以OBO组织制定的规范为对象,开发了一个基于语义网技术的OBO本体解析器——OBOParser。该工具实现了OBO格式与RDF/OWL格式间的平滑转换,可以为生命科学不同研究领域的工作人员提供跨学科的语义查询和推理服务。 相似文献
5.
分析现有制造资源模型的不足,提出一种制造资源本体建模方法。根据属性和应用的不同将制造资源分为8类,介绍本体和OWL的概念。以双列深沟球轴承为例,使用OWL建立本体模型。资源模型本体模型能很好地描述制造资源概念的语义关系,并且为企业资源共享奠定基础。 相似文献
6.
主要介绍语义Web中表达能力和推理能力很强的一种本体描述语言--OWL,给出OWL与RDF转换的实例,并介绍用Visual C 编制的相互转换程序. 相似文献
7.
8.
9.
10.
探讨了本体技术和Web服务技术对试题库系统的支持,并提出了基于本体和Web服务的试题库应用框架结构,目的是为了让试题知识库能提供概念共享模型,建立概念语义空间,并用本体标准语言OWL进行形式化描述,从而解决知识共享和语义互操作问题,同时也为解决机器理解问题提供了一种办法. 相似文献