基于描述逻辑的地图语义模型初步研究Study of cartographic semantics model based on description logic
苏里
摘要(Abstract)：
为了研究地图的形式化语义表达问题,将语言学的理论和方法应用到地图领域,把地图符号系统作为一种二维图形语言,在分析地图语言的基本语言单位、语法规则和语义规则的基础上,采用扩展的描述逻辑AL-CRP(D),建立了地图语义模型。模型能完备地表达地图语言的语义,为用逻辑方法研究地图信息提供了借鉴意义。
关键词(KeyWords)： 描述逻辑;地图语义模型;地图语言;语法和语义规则
基金项目(Foundation):
作者(Author): 苏里
参考文献(References)：
- [1]Lyutyi A A.Contribution to the Geographic Knowledge a-bout the Earth[J].Lithology and Mineral Resources,2001,36(2):191-193.
- [2]Head G.The Ma Pas Natural Language:A Paradigm forUnderstanding[J].Cartographica,1984,21(1):1-32.
- [3]蔡孟裔.新编地图学教程[M].北京:高等教育出版社,2000.
- [4]Roeper Peter.First-and Second-Order Logic of Mass Terms[J].Journal of Philosophical Logic,2004,33(3):261-297.
- [5]Baader F,et al.The Description Logic Handbook:Theo-ry,Implementation and Applications[D].Cambridge:Cambridge University Press,2002.
- [6]杜清运.空间信息的结构、表达及其理解机制[J].武汉测绘科技大学学报,1998,23(4):388-392.
- [7]Hansgeorg Schlichtmann.Characteristic Traits of the Se-miotic System‘Ma PSymbolism’[J].The Cartograph-ic Journal,1985,(22):23-30.
- [8]Borges K,Clodoveu A,Alberto L.OMT-G:An Object-oriented Data Model for Geographic Application[J].Geoinformatica,2001,5(3):221-260.
- [9]Sharov O.Syntax-Directed Implementation of Visual Lan-guages Based on Automaton Graphical Grammars[J].Programming and Computer Software,2005,31(6):332-339.
- [10]Volker Haarslev,et al.A Description Logic with ConcreteDomains and a Role-forming Predicate Operator[J].Journal of Logic and Computation,1999,9(3):351-384.