带函数的描述逻辑

doi:10.3778/j.issn.1002-8331.2008.22.013

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (22): 46-50.DOI: 10.3778/j.issn.1002-8331.2008.22.013

带函数的描述逻辑

丛晓青^1,2,曹存根1,眭跃飞¹

1.中国科学院计算技术研究所智能信息处理重点实验室，北京 100081
2.中国科学院研究生院，北京 100080

收稿日期:2008-01-09 修回日期:2008-04-08 出版日期:2008-07-11 发布日期:2008-07-11
通讯作者: 丛晓青

Description logics with functions

CONG Xiao-qing^1,2,CAO Cun-gen¹,SUI Yue-fei¹

1.Key Lab of Intelligent Information Processing，Institute of Computing Technology，CAS，Beijing 100081，China
2.Graduate University of Chinese Academy of Sciences，Beijing 100080，China

Received:2008-01-09 Revised:2008-04-08 Online:2008-07-11 Published:2008-07-11
Contact: CONG Xiao-qing

摘要/Abstract

摘要： 描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。但现有描述逻辑无法表示概念和角色上的函数，因此在图书馆的概念模型中，有一些问题便不能表示，如图书的本数、借书的条目数等。在现有描述逻辑基础上引入函数来解决这个问题。首先分析现有描述逻辑在图书馆的概念模型中不能表示的一些问题并提出解决方法，然后给出带函数的描述逻辑的语法和形式语义，最后用带函数的描述逻辑形式化表示图书馆概念模型中的一些实际问题。

关键词: 描述逻辑, 角色, 概念, 个体, 表达能力

Abstract: Description logics are fragments of the first-order logic，which contain concepts，roles，and concept and role constructors；and have features of strong expressivity and decidable reasoning.But the existing description logics cannot express functions on concepts and roles so that some functions in the conceptual model of libraries cannot be expressed，such as the number of books，the number of borrowed books，and so on.This paper introduces a description logic with functions.Firstly the unexpressed functions are analyzed in the conceptual model of libraries using the existing description logics and a solution is proposed.Secondly the syntax and semantics of the description logic with functions are presented.Finally the description logics with functions to the conceptual model of libraries is applied.

Key words: description logics, role, concept, individual, expressiveness

丛晓青^1,2,曹存根1,眭跃飞¹. 带函数的描述逻辑[J]. 计算机工程与应用, 2008, 44(22): 46-50.

CONG Xiao-qing^1,2,CAO Cun-gen¹,SUI Yue-fei¹. Description logics with functions[J]. Computer Engineering and Applications, 2008, 44(22): 46-50.

[1]	徐建国，刘泳慧，刘梦凡. 基于BILSTM-CRF的高校政策语义角色标注研究[J]. 计算机工程与应用, 2021, 57(6): 207-211.
[2]	王梦璐，李连忠. 动态反向搜索更新位置的改进灰狼优化算法[J]. 计算机工程与应用, 2021, 57(18): 86-96.
[3]	李伟，张鑫龙. 考虑个体行为的改进CA模型人员疏散研究[J]. 计算机工程与应用, 2021, 57(17): 275-282.
[4]	杨延娇，赵国涛，王丕栋. 基于语义与情感的句子相似度计算方法[J]. 计算机工程与应用, 2021, 57(16): 151-158.
[5]	张呈玲，李进金，林艺东. 基于OE-概念格的形式背景属性约简[J]. 计算机工程与应用, 2021, 57(15): 82-89.
[6]	王俊红，郭亚慧. 面向动态数据块的非平衡数据流分类算法[J]. 计算机工程与应用, 2021, 57(13): 124-129.
[7]	谢祥，张茜茹，张婧，高新宇. 面向领域建模的信息系统构件识别方法研究[J]. 计算机工程与应用, 2021, 57(12): 105-114.
[8]	杨葛英，沈夏炯，史先进，张磊. 以概念格为背景的关联规则可视化[J]. 计算机工程与应用, 2021, 57(1): 84-91.
[9]	余玲飞，龚海刚. 基于合作贡献的移动社会网络自私路由协议[J]. 计算机工程与应用, 2021, 57(1): 134-140.
[10]	余波，台宪青，马治杰. 云计算环境下基于属性和信任的RBAC模型研究[J]. 计算机工程与应用, 2020, 56(9): 84-92.
[11]	张姝洁，郑利平，韩清，张晗. 从图片到衣服：快速虚拟角色服饰生成方法[J]. 计算机工程与应用, 2020, 56(7): 234-239.
[12]	徐清妍，何丽，朱泓西. 改进Hoeffding不等式的概念漂移检测方法[J]. 计算机工程与应用, 2020, 56(19): 55-61.
[13]	胡阳，胡学钢，李培培. 基于Spark的快速短文本数据流分类方法[J]. 计算机工程与应用, 2020, 56(14): 138-147.
[14]	王诗宇，刘洪星，范家佳. 移动用户界面概念模型到代码的转换方法研究[J]. 计算机工程与应用, 2020, 56(10): 240-245.
[15]	折延宏，胡梦婷，贺晓丽，曾望林. 两种多粒度形式概念分析模型的比较研究[J]. 计算机工程与应用, 2020, 56(10): 51-55.

带函数的描述逻辑

Description logics with functions

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics