基于本体的城市交通的知识分析和推理

以城市交通为研究和应用背景，基于本体模型的知识表示技术，建立城市交通本体。对城市交通领域知识进行规范描述，详细描述了定义类层次及类的属性和关系，以及实例的基本规则，并从领域知识中提取出类内公理和类间公理，建立公理库，用于领域知识的一致性分析和知识推理。解决了语义层次上信息共享和交互的问题，为上海城市交通信息网格的交通信息服务提供语义支撑。