| 主题地图约束的合法性验证* |
| |
| 引用本文： | 吴笑凡,丁秋林,张磊,周良.主题地图约束的合法性验证*[J].现代图书情报技术,2006,1(3):36-41. |
| |
| 作者姓名： | 吴笑凡 丁秋林 张磊 周良 |
| |
| 作者单位： | 南京航空航天大学信息科学与技术学院,南京,210016 |
| |
| 基金项目： | 国防科工委基础科研项目 |
| |
| 摘 要： | 主题地图作为异构信息检索的重要手段之一，在以分类目录为目的的文件存档和以概念化导航为目的的Web浏览中得到广泛应用。为了保证作为其基础的下层语义网络的完备性和健壮性，验证主题地图在语法和语义上的合法性非常重要。为此，提出了主题地图模式及约束语言规范，研究了Schema约束和上下文语义约束，并建立了与之相配套的主题地图语义验证器，实现了对于主题地图约束的合法性验证。
|
| 关 键 词： | 模式及约束语言规范 Schema约束 上下文语义约束 主题地图语义验证器 |
| 收稿时间： | 2005-12-09 |
| 修稿时间： | 2005年12月9日 |
Validation for Topic Maps Constraints |
| |
| Wu Xiaofan,Ding Qiulin,Zhang Lei,Zhou Liang.Validation for Topic Maps Constraints[J].New Technology of Library and Information Service,2006,1(3):36-41. |
| |
| Authors: | Wu Xiaofan Ding Qiulin Zhang Lei Zhou Liang |
| |
| Institution: | 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 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《现代图书情报技术》浏览原始摘要信息 |
| 点击此处可从《现代图书情报技术》下载免费的PDF全文 |
