OWL DL的形式化基础研究

• 作者: 姚莉 宋峻峰 张维明 肖卫东
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: OWL DL 描述逻辑 语义Web 本体 知识表示
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 其它
• 页码范围: 297-301
• 页数: 5页
• 分类号: TP391
• 字数: 5281字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2005.02.033

摘要

W3C正在制定的OWL DL是一种面向语义Web的知识表示标记语言,具有较强的知识表达能力并适合大规模应用的推理效率,是语义Web领域对适合语义Web应用的知识表示标记语言进行研究的最新综合.在知识表示领域,为了对知识表达能力和推理效率做合适的折衷,进行了大量关于描述逻辑的研究.本文以描述逻辑作为OWL DL的形式化基础,详细分析了OWL DL和描述逻辑间的对应关系,用描述逻辑的语义解释了OWL DL的各个基本元素,从而可以将描述逻辑领域研究的大量成果应用到OWL DL上来,为进一步研究OWL DL的知识表示、推理等问题奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚莉	国防科技大学管理科学与工程系	43	421	11.0	18.0
2	张维明	国防科技大学管理科学与工程系	196	3077	26.0	48.0
3	肖卫东	国防科技大学管理科学与工程系	47	962	15.0	30.0
4	宋峻峰	国防科技大学管理科学与工程系	10	262	5.0	10.0