论文部分内容阅读
针对目前数据挖掘元模型DMM的自然语言和图形化方式缺乏精确的语义,基于DMM的数据挖掘元数据集成中的冲突问题难以发现,提出一种描述逻辑家族的形式逻辑DLRDM,给出DLROM的语法和语义,使用DLRDM形式化数据挖掘元模型和元数据,证明DLRDM上的推理问题可以规约到ABox上的一致性检验问题,利用描述逻辑推理引擎RacerPro,对基于DLRDM的数据挖掘元数据进行推理检测以发现不一致信息,结果表明DLRDM在处理数据挖掘元数据一致性检验问题上的正确性与有效性.