-
题名基于CWM的元数据集成中形式化推理技术的研究
被引量：1
- 1
-
-
作者
赵晓非
黄志球
-
机构
南京航空航天大学计算机科学与工程系
-
出处
《计算机科学》
CSCD
北大核心
2006年第12期177-182,共6页
-
基金
航空科学基金(01I52058)资助。
-
文摘
在使用公共仓库元模型(CWM)进行元数据集成的过程中,参与集成的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题,然而CWM的图形化特点使之缺乏精确的语义,所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。本文研究了利用描述逻辑,一个一阶谓词逻辑的可判定子集,形式化CWM元模型和模型并进行推理的方法,将一致性检测分为水平一致性和演化一致性进行分别处理,在处理演化一致性的过程中对CWM元模型进行了扩展,使之支持元数据的版本能力从而能够推理由于演化引起的不一致问题,然后利用推理引擎LOOM对两种情形进行推理检测以发现不一致信息,取得了令人满意的结果,表明本文提出的方法是可行的。
-
关键词
公共仓库元模型(CWM)
描述逻辑
元数据集成
元数据演化
水平一致性
演化一致性
-
Keywords
Common warehouse metamodel （CWM）, Description logics, Metadata integration, Metadata evolution, Horizontal consistency, Evolution consistency
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于CWM的元数据的形式化推理框架研究
被引量：1
- 2
-
-
作者
赵晓非
黄志球
-
机构
南京航空航天大学计算机科学与工程系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第5期829-836,共8页
-
基金
航空科学基金项目(01I52058)~~
-
文摘
在基于公共仓库元模型(CWM)建立元数据的过程中,参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题,然而CWM的图形化特点使之缺乏精确的语义,所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决.研究了利用描述逻辑——一个一阶谓词逻辑的可判定子集形式化CWM元模型和元数据并进行推理的方法,将一致性检测分为水平一致性和演化一致性分别处理,在处理演化一致性的过程中对CWM元模型进行了扩展,使之支持元数据的版本能力从而能够推理由于演化引起的不一致问题,然后利用推理引擎LOOM对两种情形进行推理检测以发现不一致信息,取得了令人满意的结果,表明提出的方法是可行的.
-
关键词
公共仓库元模型(CWM)
描述逻辑
元数据集成
元数据演化
水平一致性
演化一致性
-
Keywords
common warehouse metamodel（CWM）
description logic
metadata integration
metadata evolution
horizontal consistency
evolution consistency
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
TP311.5
[自动化与计算机技术—控制科学与工程]
-
-
题名一种水平位移监测潜在性危害的数据挖掘方法
- 3
-
-
作者
倪汉富
-
机构
珠海市测绘院
-
出处
《北京测绘》
2019年第8期938-943,共6页
-
文摘
针对当前水平位移监测依靠变形值和特定方向进行数据分析的局限,本文基于向量工具提出了一种水平位移危害性界定理论与数据挖掘方法,该法首先将水平位移危害性进行分类,然后构造观测向量矩阵,通过矩阵求角运算判定监测体危害类型,实现数据挖掘与分析。实验结果表明,本文提出的方法能有效挖掘出监测体水平位移潜性危害,提供动态可视化分析成果,是一种可靠的水平位移数据挖掘方法,具有较强的普适应用性。
-
关键词
向量法
观测矩阵
数据挖掘
水平位移一致性
扩散性危害
-
Keywords
vector method
observation matrix
data mining
horizontal displacement consistency
diffusion hazard
-
分类号
P258
[天文地球—测绘科学与技术]
-
