-
题名基于本体的模型集成
被引量：6
- 1
-
-
作者
蔡树彬
明仲
李师贤
刘显明
-
机构
中山大学计算机科学系
深圳大学计算机与软件学院
江西电力信息通讯有限公司
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2009年第4期713-719,共7页
-
基金
国家自然科学基金(No.60673122)
江西省电力公司科技项目(No.200850802)
广东省自然科学基金(No.7301315,No.815103000700002)
-
文摘
模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性、开放性和可理解性等性能一直不够理想.提出一种基于本体的程序-逻辑混合(PLM)模型表示法.该方法易于实现,支持推理,具有高开放性和可扩展性.使用本体描述模型参数的语义,并基于参数的语义匹配,设计模型集成策略,可自动、智能地创建易于理解的模型集成方案.给出模型集成的形式化定义并证明相关定理.
-
关键词
决策支持系统
模型集成
模型表示
本体
-
Keywords
decision support system（DSS）
model integration
model representation
ontology
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名本体的继承及一致性分析
被引量：1
- 2
-
-
作者
明仲
蔡树彬
李师贤
徐晶
-
机构
深圳大学信息工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第4期660-666,共7页
-
基金
国家自然科学基金(No60373084)
博士学科点基金(No20030558004)
广东省自然科学基金(No04011304)
-
文摘
本体的继承理论是目前尚未解决的重要问题.该文通过扩展继承的数学理论,系统研究了本体的继承语义、继承机制等问题.主要工作有(1)继承系统的数学理论是描述继承系统和探讨其一致性、二义性等问题的一个重要基础理论.该理论已被广泛引用.但使用该理论描述允许例外的类/属性继承系统会出现假冲突.本文发现并定义了假冲突,扩展了原理论的单词表,重新定义了结论集、可继承等概念,使继承断言的接地扩展集不因假冲突而产生二义.从而解决了假冲突的问题.(2 )证明原继承系统中的大部分重要定理在扩展后的继承系统中仍然成立,并且提出了新的定理3)将本体(D ,P ,U ,V ,H)转换为三元组(F ,E ,I)的表示形式,证明这种转换不削弱本体的表示能力,并且将本体映射到扩展后的继承系统,利用继承系统的定义、定理分析本体继承的一致性问题,并证明这种映射对本体的包含断言的判定是完备的.4 )设计了上、下扫描算法,通过检测系统变化可能引起的冲突,保持系统的一致性.对本体继承的一致性分析为发展迅速的面向本体工程方法提供了有力支持.
-
关键词
本体
继承系统
继承理论
允许例外的多继承
一致性
-
Keywords
Knowledge representation
Mathematical techniques
Mathematical transformations
Semantics
Structural design
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
