Representation and Reasoning of Fuzzy Object-Oriented Data Model with Description Logic
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    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.

    Reference
    Related
    Cited by
Get Citation

张富,严丽,马宗民,程经纬.模糊面向对象数据模型的描述逻辑表示与推理.软件学报,2012,23(3):594-612

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 23,2010
  • Revised:April 19,2011
  • Adopted:
  • Online: March 05,2012
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063