主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张富,严丽,马宗民,程经纬.模糊面向对象数据模型的描述逻辑表示与推理.软件学报,2012,23(3):594-612
模糊面向对象数据模型的描述逻辑表示与推理
Representation and Reasoning of Fuzzy Object-Oriented Data Model with Description Logic
投稿时间:2010-08-23  修订日期:2011-04-19
DOI:10.3724/SP.J.1001.2012.04037
中文关键词:  模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型  模糊描述逻辑  表示  推理  推理机
英文关键词:fuzzy object-oriented data (FOOD) model  fuzzy description logic  representation  reasoning  fuzzy description logic reasoner
基金项目:国家自然科学基金(61073139, 60873010); 新世纪优秀人才支持计划(NCET-05-0288); 中央高校基本科研业务专项资金(N090504005, N090604012)
作者单位E-mail
张富 东北大学 信息科学与工程学院,辽宁 沈阳 110819  
严丽 东北大学 软件学院,辽宁 沈阳 110819  
马宗民 东北大学 信息科学与工程学院,辽宁 沈阳 110819 mazongmin@ise.neu.edu.cn 
程经纬 东北大学 信息科学与工程学院,辽宁 沈阳 110819  
摘要点击次数: 3686
全文下载次数: 3062
中文摘要:
      通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD 模型,提出了FOOD 模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ 的FOOD 模型的表示与推理,包括:实现了从 FOOD 模型到f-ALCIQ 知识库在结构层和实例层上的转化,即实现了从FOOD 模型到f-ALCIQ TBox 的转化,以及从FOOD 模型相应的数据库实例到f-ALCIQ ABox 的转化;进而,基于转化得到的f-ALCIQ 知识库,研究了如何利用 f-ALCIQ 的推理机制对FOOD 模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ 的模糊描述逻辑推理机(FRsQ 推理机),实现了对FOOD 模型和f-ALCIQ 模糊概念知识的自动推理.
英文摘要:
      The relationships between description logics and object-oriented data models are analyzed, and the paper aims at investigating the representation and reasoning of fuzzy object-oriented data (FOOD) models with description logics. The FOOD models are investigated, and the formal definition and semantics of FOOD models are proposed first. Then, aiming at the characteristics and reasoning requirement of FOOD models, the fuzzy description logic f-ALCIQ is recalled. In particular, the considers the FOOD model and the corresponding database instances simultaneously, and translate them into f-ALCIQ knowledge base at both terminological (TBox) and assertional (ABox) levels, respectively. Furthermore, based on the translated f-ALCIQ knowledge bases, the reasoning tasks of FOOD models (e.g., consistency, subsumption, and redundancy) may be reasoned through the reasoning mechanism of f-ALCIQ. Finally, a fuzzy description logic reasonerd based on f-ALCIQ called FRsQ is designed and implemented, so as the reasoning problems above may be reasoned automatically.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利