带函数的描述逻辑 |
| |
引用本文: | 丛晓青,曹存根,眭跃飞.带函数的描述逻辑[J].计算机工程与应用,2008,44(22):46-50. |
| |
作者姓名: | 丛晓青 曹存根 眭跃飞 |
| |
作者单位: | 1.中国科学院 计算技术研究所 智能信息处理重点实验室,北京 100081 2.中国科学院 研究生院,北京 100080 |
| |
基金项目: | 国家自然科学基金
,
国家重点基础研究发展规划(973)
,
国家科技部项目 |
| |
摘 要: | 描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑,具有表达能力强且推理可判定的特征。但现有描述逻辑无法表示概念和角色上的函数,因此在图书馆的概念模型中,有一些问题便不能表示,如图书的本数、借书的条目数等。在现有描述逻辑基础上引入函数来解决这个问题。首先分析现有描述逻辑在图书馆的概念模型中不能表示的一些问题并提出解决方法,然后给出带函数的描述逻辑的语法和形式语义,最后用带函数的描述逻辑形式化表示图书馆概念模型中的一些实际问题。
|
关 键 词: | 描述逻辑 角色 概念 个体 表达能力 |
收稿时间: | 2008-1-9 |
修稿时间: | 2008-4-8
|
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|