期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
EXPRESS向OWL2本体模型自动转换研究 被引量:3
1
作者 袁满 刘峰 《吉林大学学报(信息科学版)》 CAS 2018年第1期69-77,共9页
为解决EXPRESS向本体转换中存在通用性差、缺乏映射规则的形式化和自动转换等问题,在不依赖领域情况下,提出两种语言间映射的形式化规则和自动转换算法。该映射规则和算法实现了基于EXPRESS的石油勘探开发国际标准数据模型(Epicentre)... 为解决EXPRESS向本体转换中存在通用性差、缺乏映射规则的形式化和自动转换等问题,在不依赖领域情况下,提出两种语言间映射的形式化规则和自动转换算法。该映射规则和算法实现了基于EXPRESS的石油勘探开发国际标准数据模型(Epicentre)向本体的自动转化。采用Jena推理验证了所构建的Epicentre本体的准确性、完整性和一致性。结果表明,该映射规则与自动化算法的有效性和普适性。 展开更多
关键词 EXPRESS语言 本体 映射形式化 自动转换算法 Epicentre模型 Jena推理
下载PDF
Logical-Structure Modeling for Conceptual Design
2
作者 孙正兴 张福炎 《Journal of Southeast University(English Edition)》 EI CAS 2001年第1期59-65,共7页
Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical s... Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation. 展开更多
关键词 conceptual design function form transformation logic structure feature representation formalism
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部