基于程序语义的本体表示方法

本文以沈阳市沈北新区的三所大学和途经这三所大学的两条交通线路为例,构建了一个城市交通本体的片段作为实验本体,在此基础上给出了实验本体的非形式化描述,定义了传统本体表示方法向基于程序语义表示方法转化的相关规则,是对本体自动处理技术研究的理论扩充,为实现本体抽取工具做好必要的前期工作。