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





《基于本体的城市交通的知识分析和推理.pdf》由会员分享,可在线阅读,更多相关《基于本体的城市交通的知识分析和推理.pdf(8页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、计算机科学2 0 0 7 V 0 1 3 4 3基于本体的城市交通的知识分析和推理*)黄珂萍蒋昌俊(同济大学电子与信息工程学院计算机科学与工程系上海2 0 1 8 0 4)(国家高性能计算机工程技术研究中心同济分中心上海2 0 1 8 0 4)摘要以城市交通为研究和应用背景,基于本体模型的知识表示技术,建立城市交通本体。对城市交通领域知识进行规范描述,详细描述了定义类层次及类的属性和关系,以及实例的基本规则,并从领域知识中提取出类内公理和类间公理,建立公理库,用于领域知识的一致性分析和知识推理。解决了语义层次上信息共享和交互的问题,为上海城市交通信息网格的交通信息服务提供语义支撑。关键词城市交
2、通,本体,知识获取,公理,推理,A n a l y z i n ga n dR e a s o n i n gK n o w l e d g eo fU r b a nT r a n s p o r t a t i o n:B a s e do nO n t o l o g yH U A N GK e-P i n gJ t A N GC h a n g-J u n(D e p a r t m e n to fC o m p u t e rS c i e n c ea n dE n g i n e e r i n g,S c h o o lo fE l e c t r o n i c sa n
3、dI n f o r m a t i o nE n g i n e e r i n g,T o n g j iU n i v e r s i t y S h a n g h a i2 0 1 8 0 4)(T o n 鲥iB r a n c h N a t i o n a lE n g i n e e r i n g T e c h n o l o g yC e n t r eo fH i g hP e r f o r m a n c eC o m p u t e r s,S h a n g h a i2 0 1 8 0 4)A b s t r a c tI nt h eb a c k g r
4、 o u n do fu r b a nt r a n s p o r t a t i o n,b a s e do nt h et e c h n i q u e so fk n o w l e d g er e p r e s e n t a t i o no fo n t o l o g ym o d e l,w ed e v e l o pu r b a nt r a n s p o r t a t i o no n t o l o g y T h es t a n d a r dd e s c r i p t i o na n dt h eb a s i cr u l e sa r
5、ei n t r o d u c e dw h i c hc l e a r l yd e f i n et h ec l a s s e sh i e r a r c h y,p r o p e r t i e s,r e l a t i o n sa n di n s t a n c e s As e to fd o m a i n-s p e c i f i ca x i o m sa r ed e r i v e df r o mc l a s s e sa n ds l o t s A x i o m ab a s ea r eU S e di nc o n s i s t e n
6、c yc h e c k i n ga n dk n o w l e d g er e a s o n i n gw h i c hs o l v et h ep r o b l e m ao fi n f o r m a t i o ns h a r i n ga n di n t e r o p e r a b i l i t yi ns e m a n t i c sa n di st h es e m a n t i cb a s ef o rt r a n s p o r t a t i o ns e r v i c e so fS h a n g h a it r a n s p
7、o r t a t i o ng r i d K e y w o r d sU r b a nt r a n s p o r t a t i o n,O n m l o g y,A c q u i r i n gk n o w l e d g e,A x i o m s,R e a s o n i n g1引言目前,全世界交通需求日益增加,城市交通面临交通拥挤、事故频发和环境污染等问题。自2 0 世纪8 0 年代以来,智能交通系统(I T S)成为解决这些问题的技术手段,是城市交通进入信息时代的重要标志。其中有代表性的是美国M I T的交通仿真系统和日本东京大学的大规模交通网络交通状态动态分析
8、系统。我国自9 0 年代以来也将I T S 作为城市交通发展的方向。智能交通系统由分布在各地相互独立的系统协同工作,整合而成 1 。由于城市道路上的信息瞬息万变,造成交通信息容量的海量性、内容的多样性,不同区域、不同部门难以达到交通信息资源有效的共享和利用。而各分布系统间的集成决定着I T S 整体效益的发挥。所以,解决各异构系统之间信息共享和资源互操作的问题成为智能交通系统中的核心问题。本体(O n t o l o g y)作为一种能在语义和知识层次上描述信息系统的类模型建模工具,本质就是领域知识的共享和复用。标准化和形式化的领域本体为信息系统之间的互操作提供很好的解决方案,自被提出来就在很
9、多领域得到了广泛的应用和研究。美国D L e n a t 教授领导研制的大型常识知识库系统C y d 引,目标是建成百万级数量的断言知识库,在此基础上对自然语言理解、学习、问题求解等人类智能活动的机理进行研究。P r i n c e t o n 的B e r k e l e y 分校研制的语言知识W o r d N e t C3。,以同义词集为单位组织信息,是基于心理语言学规则的英文词典。本体在数字图书馆中的应用,已基本实现知识图书馆中知识的划分、分类和组织模型的建立,从而方便知识的面向主题的存放和智能检索等。在医学领域中,阿姆斯特丹自由大学和荷兰E l s e v i e r 出版社合作研制
10、了一个医学文献语义检索工具D()P 百4。,其中的本体是以E M 树状叙词表为其术语结构,提供与疾病相关的药物本体信息。国内北京大学遥感中心开展了本体在地理空间信息系统中的应用,通过建立共享地理领域信息的公共词汇集G e o-O n t o l o g y 提供知识查询系统和知识系统的查询推理嘲。本文通过本体对城市交通领域知识进行规范描述,对类和类之间的关系进行精确定义,建立起城市交通本体,从而解决了语义层次上信息共享和交互的问题。该系统已集成到上海城市交通信息网格平台,为交通信息服务提供语义支撑。2 城市交通本体2 1 本体的描述本体(o n t o l o g y)即共享概念模型的明确的形
11、式化规范说明 6】。它有5 个基本元素:类或概念(C a t e g o r i e so rC o n-c e p t s)、属性(P r o p e r t i e s)、实例(h s t a n c e s)、关系(R e l a t i o n s)、公理(A x i o m s)。从语义上分析,(1)类就是对现实世界抽象得到的概念。类的定义一般采取框架(F r a m e)结构,包括类*)国家9 7 3 计划(2 0 0 3 C B 3 1 6 9 0 2)资助。黄珂萍硕士研究生,主要研究方向:语义W e b、本体论;蒋昌俊教授,博士生导师,主要研究方向:P e t r i 网理论与
12、应用、网格计算、并发理论与并行处理。1 9 2 万方数据的名称、与其他类之问关系的集合,以及用自然语言对类的描述。(2)属性是对类特征或性质的描述。(3)关系是在领域中概念之间的交互作用,形式上定义为N 维笛卡儿积的子集 7 :R:曰唠曰C n。基本的关系有4 种:p a r t-o f,k i n d-o f,i n s t a n c e-o f,a t t r i b u t e-o f P a r t-o f 表达类之间部分与整体的关系;k i n d-o f 表达类之间的继承关系,类似于面向对象中父类和子类之间的关系;i n s t a n c e-o f 表达类的实例和类的关系,类
13、似于面向对象中的对象和类之间的关系;a t t r i b u t e-o f 表达某个类是另外一个类的属性。(4)公理是定义在类和属性上的限定和规则。(5)实例表示的是对象,而类表示的是对象的集合,关系对应于对象元组的集合。类定义包括类知识描述和槽定义。槽定义包括定义槽类型和槽名 8 。槽定义代表了本体的属性、类相关的知识,是类定义的重要组成部分。槽分为3 个类型:1)属性槽。属性为名词,例如“名称”。2)关系槽。关系为动词,例如“经过”。3)属性关系槽。既可为名词也可为动词的槽,例如“位置”或“位于”。类之间的基本关系是继承(I n h e r i t a n c e)和实现(I m p
14、l e m e n t)。一个类A 继承另一个类B,表示B 类的知识可以被A使用,B 的槽可以被A 继承,A 的相关公理可以被B 使用。父类和子类之间就是继承的关系。一个类A 实现另一个类B,表示A 可以使用B 的词汇,如属性和关系,可以继承B 的所有公理。开发一个本体,须完成如下内容:1)定义本体中的类;2)将已定义类和子类按照分类法定义在不同的层次上;3)定义槽并且描述槽的取值范围和约束;4)对初步获取的知识做一致性分析,提取公理,去除矛盾和定义不合理之处,完善本体,5)使用公理对类和类的属性、关系进行推理。2 2 城市交通本体的类城市公共交通是指在城市及其郊区范围内,为方便公众出行,用客
15、运工具进行旅客运输的总称。首先,城市交通领域本体可以分为以下6 类:交通工具、交通线路、单位、站点、道路、路口。我们使用P m t 醇本体编辑工具建立本体,如图1所示。(1)交通工具:主要包括公共汽车、有轨电车、出租汽车、轨道交通(包括地铁、轻轨、磁悬浮列车等)。出行方式包括居民出行所采用的方法或使用的交通工具。居民出行有单一和复合出行两种方式。单一出行方式是一次出行只用一种出行方式,或虽然使用了多种方式,但以其中一种主要方式为代表。复合出行方式是列出一次出行中所使用的所有方式。但步行同其他方式合用时,则不再把步行方式列出。图1 城市交通分类表(2)交通线路:分为固定线路和非固定线路两种。其中
16、固定线路有:公交车行驶线路、地铁、轻轨和磁悬浮列车行驶线路,非固定线路有出租车行驶线路。公交线路是指公共交通车辆从起点站始发,按规定走向到达终点站的通路。按不同的线路设置,可区别为:市内路线、市郊路线、郊县路线、长途路线、全日路线、夜宵路线、高峰路线、区间路线、临时路线、高架路线、地下路线、环形路线和游览路线等。因选用的车种不同,路线名称有区别,路线装备亦各异。(3)单位:为了快速寻找目的地,单位分类如下:停车场、加油站、旅游中心、宾馆、急救中心、药房、餐饮场所、娱乐场所、大卖场和其他公共设施。(4)站点:交通线路经过的站点是城市交通中很重要的类。公交站点类和轨道交通站点类分别是它的子类。(5
17、)道路:根据城市交通的需要和道路的不同作用,我们把道路类划分为4 个子类;主干道、次干道、快速干道、支路。主干道是连接城市各主要部分交通的道路,是城市道路网的骨架。次干道是城市一个区域内的主要道路。快速干道是具有较高车速和较大通行能力的一种特殊道路系统,为城市远距离交通服务。支路是一个地区如居住区内部的道路。(6)路口:两条或以上道路的交叉1 3。2 3 城市交通本体的槽以上给出了城市交通的分类方法。下面具体说明类中的槽,包括属性和关系。以公交线路类的槽为例来说明。它是交通线路类的一个子类,可以继承交通线路的槽并添加新的槽。在描述一条公交线路时,出行者首先关注的是这条线路的线路号,同一个线路号
18、可以由不同的交通公司来运营,一般应取不同的名称,以示区别。交通线路采取的票制,分为以下几类:常有计程票制、计时票制和复合票制。计程票制即按运营里程制定票价,它是一种国际通用的收费方式。又分为单票制和多级票制。单一票制为不论乘行里程远近,票价均相同,目前公交汽车和磁悬浮列车一般采取该方法。多级票制也称为梯形票制,就是将线路从起点至终点按照站点划分成几级,每一级实行不同的票价。这种票制常用在公交汽车和轨道交通中。计时票制是按租用车辆的时间计算票价的方法,未来轨道交通也会将计时票制纳入票价计算方法中,按在付费区内停留的时间计费。复合票制是计程和计时共用,是出租车经常使用的计费方法。出租车运行时按里程
19、计价,停车等待时则按时间计价。票制决定着票价。票价有基本票价和全程票价。基本票价指乘用公共交通工具的起始收费金额。其次描述线路的信息。该线路的车是否电车,是否月票有效等。为了用户查询信息的方便,需要包含如下信息:该线路经过站点个数、首班车时间和末班车时间运营时间,单程时间。另外,该线路经过的站点序列是重要的属性,也要求记1 9 3 万方数据录到属性之内,我们用第一站、第二站、第N 站来表示经过的站点序列。同一条线路有上行线和下行线之分。通常情况下,上行线和下行线经过的站点序不完全相反,所以有必要记录各自经过的站点序列。表1 记录了公交线路的槽定义。表1 公交线路的槽槽类型注释该线路的编号。不同
20、公司可以运营同样线路,线路名字符串线路名可不同所属公司字符串该线路所属公司名称起点站字符串该线路的起始站点终点站字符串该线路的终止站点计时票制;计程票制(单级票制,多极票制,月票制字符串票票制)基本票价实型乘用交通工具的起始收费金额全程票价实型从起点站到终点站的收费金额方向布尔型1 为下行,0 为上行从头班车发车时刻起至末班车收车时刻止的运营时间时间时间平均情况下车辆从起始站点起至终止站点的单程时间时间时间首班时间时间该线路最早班车出发的时问末班时间时间该线路最晚班车出发的时间是否电车布尔型1 为电车,0 为非电车空调车布尔型1 为空调车,0 为非空调车月票有效布尔型1 为月票有效,0 为月票
21、无效站点个数整型经过站点个数,大于0 的整数第一站字符串是站点类型,等于起始站第二站字符串是站点类型第N 站字符串是站点类型,等于终点站2 4 城市交通本体中的关系口概念。属性叫具嚣或马类撇类图2 交通线路和交通工具之间的关系在城市交通本体中存在一些关系,将概念之问联系起来,具有很重要的作用。例如交通线路和交通工具两个概念之间的关系是某交通工具运行在某条交通线路上,是属于的关系,如图2 所示。属于关系:交通工具行使在固定的交通线路上,即交通工具属于交通线路,交通工具属于单位拥有;道路属于单位负责。】9 4 停靠关系:交通线路停靠在站点。临近关系:站点和单位相互I 临近。位于关系:站点或单位位于
22、固定道路上;路口位于两条或以上道路的交叉1 2 1。图3 则表示了交通本体中所有类之间的关系。概念间的关系为本体推理提供了重要的基础。匝函丑吨回停靠上土属于嚷势好竺彰I道路l 属于位于t丽l 路口I图3 类间关系图3 知识的一致性分析在建立了城市交通本体和知识库之后,还有一个非常重要的任务,即对知识的检查和推理。而仅依据现有的本体是无法实现的,这就需要建立一个满足一致性的公理库,根据公理库对知识库中的知识进行检查和推理。公理的实质是描述了不同概念所对应的客观对象间的真实关系。公理本身也是知识,而且应该是更高层次的知识。一个本体建得好不好,很大程度上取决予它的公理库建得如何,因为公理主要是保证了
23、知识之间以及知识库与本体之间的一致性。另外,还可以利用公理对知识进行推理和利用公理实现知识之间的联通。3 1 公理表示法城市交通本体的公理使用一阶逻辑来表示嘲。使用“X:(类)”表示X 是一个类变量,X 的取值是类中的一个实例;使用“x S”表示X 的槽S 的值。S(X,聊表示X 的槽S 取值为Y。在城市交通本体中存在着表2 所示的函数和谓词。表2 城市交通本体中的函数和谓词表函数或谓词含义上位类(B)函数:A 是B 的上位类,A 所从属的概念或类为B下位类(A)函数:B 是A 的下位类,B 从属于类A加(A,B)函数:求A 和B 的和乘(A,B)函数:求A 和B 的积属于(A,B)谓词:a
24、属于A等于(A,B)谓词:A 的值等于B 的值大于等于(A,B)谓词:A 的值大于等于B 的值小于等于(A,B)谓词:A 的值小于等于B 的值3 2 城市交通本体中的公理我们从类内公理和类与类之间公理两个方面分别加以考察。3 2 1 类内公理获取城市交通的类内公理是对本体类中的槽及槽间关系的一种约束。我们对每一个槽进行分析,把类内公理分为值域公理、属性关系公理。3 2 1 1 值域公理对槽值的值域限定在一个合理范围内,用于知识的错误检查,发现常识上的一些矛盾,如表3 所示。3 2 1 2 属性关系公理对于类内属性间、关系间进行限定,用于知识的错误检查 万方数据和知识推理,如表4 所示。表3 类
25、的值域公理所有x:出租车 大于等于(X 载客数,O)公理1a M 小于等于(x 载客数,4)3公理2所有X:交通线路 大于等于(X 营运车辆个数,1)公理3所有x:交通线路 大于(x 停靠站点个数,1)公理4所有x:主干道P J,于等于(X 车速,最大车速值)公理5所有x:公交线路 等于()(方向,O)o r 等于(x 方向,1)所有x:公交线路 大于等于(X 起价,1)公理6a n d 小于等于(x 起价,2)表4 类的属性关系公理公理7所有x:交通线路 小于(起始时问,结束时间)公理8所有X:交通线路E l i,于等于(起价,全程票价)公理9所有X:交通线路 等于(起始站,第一站)所有x:
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 基于 本体 城市交通 知识 分析 推理

限制150内