位置：成果数据库 > 期刊 > 期刊详情页
基于描述逻辑的ODMG对象数据模型表示与推理
  • 期刊名称：华南师范大学学报(自然科学版),
  • 时间：0
  • 页码：52-59
  • 分类：TP302[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]华南师范大学计算机学院,广东广州510631
  • 相关基金：国家自然科学基金项目（60970044）; 广东省科技计划项目（2009B090300326）
  • 相关项目：时态角色关系模型及协同感知技术研究
作者： 刘海|汤庸|陈启买|
关键词： 描述逻辑, 数据模型, 对象数据库, ALCQI(D), description logic, data model, object database, ALCQI（D）
中文摘要：

在描述逻辑ALCQI（D）基础上,将ODMG面向对象数据模型转换为描述逻辑ALCQI（D）表示的知识库,借助描述逻辑ALCQI（D）的推理能力,将面向对象数据模型的类可满足性、类包含关系、类冗余性、模式蕴含性等验证问题转化为相应知识库的推理问题,并证明这些推理问题的正确性.

英文摘要：

The formal representation of ODMG data model is studied, which used description logics ALCQI（D） to translate ODMG data model schema into ALCQI（D） knowledge base. The related reasoning problems are consid- ered, such as satisfiability, subsumption, redundancy and implication relation in ODMG data model. It is proved that such problems can be automatically fulfilled through reasoning mechanism of description logic ALCQI（ D）, and the correctness of those reasoning is proved.

同期刊论文项目
时态角色关系模型及协同感知技术研究
期刊论文 49 会议论文 6 著作 1
同项目期刊论文
Extending fuzzy soft sets with fuzzy description logics
A Quantum-based Genetic Algorithm for k-means Clustering . Expert Systems with Applications
时态跨度的向量化处理与运算
Semantic description of scholar-oriented social network cloud
A RELATIONAL RANKING METHOD WITH GENERALIZATION ANALYSIS
面向学术社区的专家推荐模型
Question Classification using Multiple Kernel Learning and Semantic Information.
基于学术社区的学术搜索引擎设计
Semantic decision making using ontology-based soft sets
INCREMENTAL MINING OF PROCESSES WITH LOOPS
基于任务依赖关系的群体感知模型
Semantic operations of multiple soft sets under conflict
时态数据完整性约束研究与实现
Reasoning and change management in modular fuzzy ontologies
Reasearch of temporal fuzzy soft set
基于结构摘要的时态索引技术
Web Services Discovery in a Pay-As-You-Go Fashion
An adjustable approach to intuitionistic fuzzy soft sets based decision making
α_H算法:工作流挖掘中一种能挖掘隐含任务的扩展α算法
The grain refinement mechanism of electrodeposited copper
时态索引技术研究及其应用
自动建立信任的防攻击推荐算法研究
Towards Efficient K-Dominant Skyline Computation in CSCW
基于相点分析的移动数据索引技术
学术信息服务平台的研究与设计
基于时态编码和线序划分的时态XML索引
Research on Service-oriented Scholar Information Service Clouds Platform
基于对象相关性的全监督和直推式排序算法
基于关系数据库的极松散结构数据模型的访问控制研究
Collaborative Recommendation Model Based on Social Network and Its Application
在线社交网络挖掘综述
语义不确定时态的区间集重构及近似度量方法研究
基于pay—as—you—go模式的Web服务发现
语义不确定时态跨度的规范化处理及近似运算
不确定时态跨度的语义处理及其粗糙集近似计算
时态拟序数据结构研究及应用
偏序时态XML索引TempPartialIndex？
语义协同时态XML索引研究与实现
DTindex：分布式时态索引技术
基于时态数据库的极小子结构逻辑系统
基于描述逻辑的模糊软集参数转换算法
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies