带函数的描述逻辑

• 作者: 丛晓青 曹存根 眭跃飞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 描述逻辑 角色 概念 个体 表达能力
• 年，卷（期）: 2008,（22）
• 所属期刊栏目: 理论研究
• 页码范围: 46-50
• 页数: 5页
• 分类号: TP182
• 字数: 7264字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.22.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	眭跃飞		3	11	2.0	3.0
2	曹存根		3	25	2.0	3.0