主题地图约束的合法性验证

摘要：

主题地图作为异构信息检索的重要手段之一,在以分类目录为目的的文件存档和以概念化导航为目的的Web浏览中得到广泛应用.为了保证作为其基础的下层语义网络的完备性和健壮性,验证主题地图在语法和语义上的合法性非常重要.为此,提出了主题地图模式及约束语言规范,研究了Schema约束和上下文语义约束,并建立了与之相配套的主题地图语义验证器,实现了对于主题地图约束的合法性验证.

关键词：主题地图、模式及约束语言规范、Schema约束、上下文语义约束、主题地图语义验证器

分类号：TP3(计算技术、计算机技术)

资助基金：国防科工委基础科研项目S0500A001

在线出版日期：2007-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：36-41