| 现代图书情报技术 2006, 1(3) 36-41 DOI: ISSN: 1003-3513 CN: 11-2856/G2 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 本期目录 | 下期目录 | 过刊浏览 | 高级检索 [打印本页] [关闭] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 论文 |
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
主题地图约束的合法性验证* | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
吴笑凡 丁秋林 张磊 周良 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(南京航空航天大学信息科学与技术学院 南京 210016) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 摘要:
主题地图作为异构信息检索的重要手段之一,在以分类目录为目的的文件存档和以概念化导航为目的的Web浏览中得到广泛应用。为了保证作为其基础的下层语义网络的完备性和健壮性,验证主题地图在语法和语义上的合法性非常重要。为此,提出了主题地图模式及约束语言规范,研究了Schema约束和上下文语义约束,并建立了与之相配套的主题地图语义验证器,实现了对于主题地图约束的合法性验证。 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 关键词: 主题地图 模式及约束语言规范 Schema约束 上下文语义约束 主题地图语义验证器 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Validation for Topic Maps Constraints | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Wu Xiaofan Ding Qiulin Zhang Lei Zhou Liang | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Abstract:
Topic Maps is one of the most important methods for heterogeneous knowledge integration, which is applied to file archive in split catalog and conceptual navigation in Web browse. It is important to validate the syntax and semantics of a topic map before its use, so as to ensure the completeness and robustness of the semantic web, which is the foundation for Topic Maps application. According to the problem, Schema and Constraints Language Specification for Topic Maps is presented in the paper, schema constraints and contextual constraints are researched, then the relative TM Validator is built to implement the validation for Topic Maps. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Keywords: Topic Maps Schema and constraint language specification Schema constraints Contextual constraints TM validator | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 收稿日期 2005-12-09 修回日期 网络版发布日期 2006-03-25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 分类号: TP391 G203 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 基金项目:
*本文系国防基础预研基金项目“某航空研究所并行工程”(项目编号:S0500A001)的研究成果之一。 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 通讯作者: 吴笑凡 通讯作者E_mail: wuxiaofan1979@163.com | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 参考文献: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1Biezunsky M, Bryan M, Newcomb S. ISO/IEC 13250: Topic Maps |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 本刊中的类似文章 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 1.周宁,张会平,陈勇跃 .信息可视化与知识组织*[J]. 现代图书情报技术, 2006,1(7): 62-65 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 2.吴笑凡,张磊,周良,丁秋林.基于主题地图的异构知识集成*[J]. 现代图书情报技术, 2005,21(11): 49-52 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Copyright 2008 by 现代图书情报技术 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||