（计算机科学与技术专业论文）语义网粗糙本体的构建方法.pdf

、一j 0j 。j am e t h o df o rb u i l d i n gs e m a n t i cw e b r o u g ho n t o l o g y at h e s i ss u b m i t t e dt o d a f i a nm a r i t i m eu n i v e r s i t y i np a r t i a lf u l f i l l m e n to ft h er e q u i r e m e n t sf o r t h ed e g r e eo f m a s t e ro fe n g i n e e r i n g b y w a n gd o n g y a n ( c o m p u t e rs c i e n c ea n dt e c h n o l o g y ) t h e s i ss u p e r v i s o r ：p r o f e s s o rh u a n g y i n g h u i j u n 2 0 1 1 大连海事大学学位论文原创性声明和使用授权说明 原创性声明 本人郑重声明：本论文是在导师的指导下，独立进行研究工作所取得的成果， 撰写成硕士学位论文：适塞圆狙蕉奎签的捡建友洼：。除论文中已经注明引用 的内容外，对论文的研究做出重要贡献的个人和集体，均已在文中以明确方式标 明。本论文中不包含任何未加明确注明的其他个人或集体已经公开发表或未公开 发表的成果。本声明的法律责任由本人承担。 学位论文作者签名：王褓络 学位论文版权使用授权书 本学位论文作者及指导教师完全了解大连海事大学有关保留、使用研究生学 位论文的规定，即：大连海事大学有权保留并向国家有关部门或机构送交学位论 文的复印件和电子版，允许论文被查阅和借阅。本人授权大连海事大学可以将本 学位论文的全部或部分内容编入有关数据库进行检索，也可采用影印、缩印或扫 描等复制手段保存和汇编学位论文。同意将本学位论文收录到中国优秀博硕士 学位论文全文数据库( 中国学术期刊( 光盘版) 电子杂志社) 、中国学位论 文全文数据库( 中国科学技术信息研究所) 等数据库中，并以电子出版物形式 出版发行和提供信息服务。保密的论文在解密后遵守此规定。 本学位论文属于：保密口在年解密后适用本授权书。 不保密( 请在以上方框内打“刀) 论文作者签名：主碌艳导师签名：青睹4 日期：砂f f 年7 月2 日 中文摘要 摘要 语义网粗糙本体是对通常意义上的本体的一种扩展。本体表示的是精确概念 及其之间的确定性关系，粗糙本体则对应着粗糙概念以及粗糙概念之间的关系。 粗糙本体是对现实世界的不精确性的一种接受，是有效进行知识处理和知识应用 的工具。 粗糙本体是处理不精确性信息的一种基础性工具，其存在形式是由粗糙概念 以及粗糙概念之间的关系构成的树形结构。粗糙本体的具体形式由于参与构建的 领域专家的不同而呈现多样性，然而同样也是由粗糙概念及其之间的关系构成的 粗糙概念格却具有结构上的唯一性。粗糙本体的构建因而可以利用格与树组成与 结构的相似性，实现构建语义网粗糙本体的格树转化。从实际领域中构建粗糙本 体，将其应用于支持更接近现实世界的语义网的实际运行，是本论文的研究目标 与技术路线。本论文的主要研究内容如下： ( 1 ) 抽取粗糙概念。从不精确性信息中抽取粗糙概念，粗糙概念由上近似外 延、下近似外延和内涵组成。在抽取的过程中，将多值形式背景转化为单值形式 背景是关键的步骤。 ( 2 ) 构建粗糙概念格。采用渐进式的方法构建粗糙概念格，在生成所有粗糙 概念结点的同时，还生成了粗糙概念之间的父子关系，形成粗糙概念格。 ( 3 ) 转化为粗糙概念树。利用格和树的相似性，通过聚类技术将粗糙概念格 转化为粗糙概念树，利用概念之间的相似度来合并概念，将相似度低的概念归为 一类。 ( 4 ) 生成语义网粗糙本体。在研究粗糙形式概念分析应用于构建粗糙本体的 基础上，对粗糙概念树进行处理生成粗糙本体原型，并采用o w l 对粗糙本体进行 描述，实现粗糙概念树到语义网粗糙本体的转化。 ( 5 ) 进行实例验证。验证了语义网粗糙本体构建的格树转化方法的可行性和 实用价值。 关键词：语义网粗糙本体；粗糙形式背景；粗糙概念；粗糙概念格；粗糙概念树 英文摘要 a b s t r a c t s e m a n t i cw e br o u g ho n t o l o g yi sa ne x t e n s i o no ft h eo n t o l o g yi nt h eu s u a ls e n s e o n t o l o g ye x p r e s s e st h ea c c u r a c yc o n c e p ta n dt h ea c c u r a c yr e l a t i o nb e t w e e na c c u r a c y c o n c e p t s ，b u tt h er o u g ho n t o l o g yi sc o r r e s p o n d i n g t ot h er o u g hc o n c e p ta n dt h er o u g h r e l a t i o nb e t w e e nr o u g hc o n c e p t s r o u g ho n t o l o g yi sa na c c e p t a n c ea b o u tt h eu n c e r t a i n t y w o r l d ，a n di ti sa ne f f e c t i v et o o lo f k n o w l e d g ep r o c e s s i o na n dk n o w l e d g ea p p l i c a t i o n r o u g ho n t o l o g yi sab a s i ct o o lt oh a n d l ei m p r e c i s ei n f o r m a t i o n ，i t sf o r m i sat r c c c o m p o s e db yt h er o u g hc o n c e p t sa n dt h er o u g hr e l a t i o n t h ec o n c r e t ef o r mo fr o u g h o n t o l o g ya p p e a r sm u l t i p l i c i t yb e c a u s eo ft h ed i f f e r e n td o m a i ne x p e r tp a r t i c i p a t i n gi n c o n s t r u c t i n gi t , b u tt h es t r u c t u r eo fr o u g hc o n c e p tl a t t i c ea l s oc o m p o s e do ft h er o u g h c o n c e p t sa n dt h er o u g hr e l a t i o ni so fu n i q u e n e s s t h u si tc a l lu s et h es i m i l a r i t yo ft h e c o m p o s i t i o na n dt h es t r u c t u r eo f l a t t i c ea n dt r e et oc o n s t r u c tr o u g ho n t o l o g y , r e a l i z et h e l a t t i c e - t r e et r a n s f o r m i n gf o rb u i l d i n gs e m a n t i cw e br o u g ho n t o l o g y c o n s t r u c t i n gr o u g h o n t o l o g yf r o mp r a c t i c a ld o m a i ni sa p p l i e dt os u p p o r tt h ep r a c t i c a lo p e r a t i o no ft h e s e m a n t i cw e bm o r ec l o s e l yt ot h er e a lw o r l d , w h i c hi st h er e s e a r c ht a r g e ta n dt h e t e c h n i c a lr o u t eo ft h i sp a p e r t h em a i nr e s e a r c hc o n t e n t so ft h i sp a p e ra r ea sf o l l o w s ： f i r s t l y , e x t r a c tr o u g hc o n c e p t s r o u g hc o n c e p t sa r ee x t r a c t e d 舶ms o m ei m p r e c i s e i f o r m a t i o n ar o u g hc o n c e p ti sc o m p o s e db yt h eu p p e ra p p r o x i m a t i o ne x t e n ta n dt h e l o w e ra p p r o x i m a t i o ne x t e n ta n dt h ei n t e n t i nt h ee x t r a c t i n gp r o c e s s ，t r a n s f o r m i n g m u l t i v a l u e df o r m a lc o n t e x tt oo n e - v a l u ef o r m a lc o n t e x ti st h em o s ti m p o r t a n ts t e p s e c o n d l y , b u i l dr o u g hc o n c e p tl a t t i c e t oc o n s t r u c tr o u g hc o n c e p tl a t t i c e ，ag r a d u a l m e t h o di sa d o p t e d t h ef a t h e r - s o nr e l a t i o n s h i pb e t w e e nr o u g hc o n c e p t si sc r e a t e dw h e n g e n e r a t i n ga l lr o u g hc o n c e p tn o d e s ，t h e nar o u g hc o n c e p tl a t t i c ei sf o r m e d t h i r d l y , t r a n s f o r mt or o u g hc o n c e p tt r e e r o u g hc o n c e p tl a t t i c ei st r a n s f o r m e dt o r o u g hc o n c e p tt r e eb yc l u s t e r i n gt e c h n o l o g y , w h i c hu s et h es i m i l a r i t yb e t w e e nc o n c e p t s t om e r g ec o n c e p t st om a k et h ec o n c e p t so fl o ws i m i l a r i t yi n t oac a t e g o r y f o u r t h l y , g e n e r a t es e m a n t i cw e br o u g ho n t o l o g y b a s e do nt h es t u d yo fr o u g h f o r m a lc o n c e p ta n a l y s i sa p p l i e dt or o u g ho n t o l o g yb u i l d i n g , ar o u g hc o n c e p tt r e ei s p r o c e s s e dt ot r a n s f o r mt h er o u g ho n t o l o g y , a n do w l i su s e dt od e s c r i b er o u g h o n t o l o g y , t h e nt r a n s f o r m i n gr o u g hc o n c e p tt r e et os e m a n t i cw e br o u g ho n t o l o g yi s r e a l i z e d 英文摘要 f i n a l l y , c a r r yo u te x a m p l ev e r i f i c a t i o n t h ef e a s i b i l i t ya n dp r a c t i c a lv a l u eo ft h e l a t t i c e t r e et r a n s f o r m i n gm e t h o do fb u i l d i n gs e m a n t i cw e br o u g ho n t o l o g yc a nb e v e r i f i c a t e d k e yw o r d s ：s e m a n t i cw e br o u g ho n t o l o g y ；r o u g hf o r m a lc o n t e x t ；r o u g h c o n c e p t ；r o u g hc o n c e p tl a t t i c e ；r o u g hc o n c e p t t r e e 目录 目录 第1 章绪论。1 1 1 选题背景与意义1 1 2 研究现状：2 1 3 研究内容2 1 4 研究框架与论文结构3 第2 章语义网粗糙本体5 2 1 语义网本体5 2 1 1 语义网本体的提出5 2 1 2 语义网本体的构成6 2 1 3 语义网本体的开发工具。7 2 2 语义网粗糙本体8 2 2 1 语义网粗糙本体的定义8 2 2 2 语义网粗糙本体的表示语言9 2 2 3 语义网粗糙本体的特点1 0 第3 章语义网粗糙本体的构建方法1 2 3 1 语义网本体的构建方法1 2 3 1 1 基于o w l 的语义网本体构建方法1 2 3 1 2 基于概念格的语义网本体构建方法1 4 3 2 语义网粗糙本体的构建方法1 5 3 2 1 基于粗糙集理论构建粗糙本体1 6 3 2 2 基于现有本体构建方法构建粗糙本体1 6 3 3 格树转化方法18 3 3 1 格与树1 8 3 3 2 格树转化方法1 9 3 4 粗糙本体构建的格树转化方法2 0 3 4 1 构建过程。2 0 3 4 2 抽取生成粗糙概念2 1 3 4 - 3 构建生成粗糙概念格2 4 3 4 4 聚类生成粗糙概念树3 6 目录 3 4 5 映射生成语义网粗糙本体3 9 第4 章语义网粗糙本体的构建系统4 3 4 1 系统的概要设计4 3 4 2 系统的内容设计4 4 4 2 1 框架设计4 4 4 2 2 类关系设计。4 5 4 2 3 核心类设计4 6 4 2 4 数据库设计4 6 4 3 系统的实现5 0 4 4 实验结果与分析5 7 4 4 1 实验数据5 7 4 4 2 评估方法5 8 4 4 3 实验结果。5 8 4 4 4 结果分析5 9 第5 章结论6 0 5 1 研究结论6 0 5 2 进一步工作6 1 参考文献6 2 攻读学位期间公开发表论文6 5 致谢6 6 语义网粗糙本体的构建方法 第1 章绪论 1 1 选题背景与意义 语义网( s e m a n t i cw c b ) 由t i mb e r n c r s l i l 】提出，是当前万维网( w e b ) 的 扩展，使现有的万维网具有一定的推理和自动处理能力，更利于人机之间的交互。 语义网的目标是应用有效的标准和技术使得计算机能够更多地理解互联网上的 信息，而本体( o n t o l o g y ) 作为一种能在语义和知识层次上描述信息系统的概念建 模，它用公认的概念和这些概念之间的关系来反映该领域内的知识和知识结构【2 】。 本体自提出以来就引起了国内外众多科研人员的关注。本体的目标是获取、描述 和表示相关领域的知识，提供对该领域知识的共同理解，确定该领域内共同认可 的概念，并从不同层次的形式化模式上给出这些概念以及概念之间关系的明确定 义。 从本体的目标来看，本体构建的关键问题是确定概念以及概念之间的关系， 而现实生活中与某领域相关的概念以及概念之间的关系常常被人们所忽略，或不 易于人们的发现。人类仅仅善于维护精确完备的知识库，对于不精确欠完备的知 识库常常束手无策。使用不精确性本体( i m p r e c i s eo n t o l o g y ) 是寻求突破的一种途 径，本论文选择其中之一的粗糙本体 。其中c 是类集，j 是个体集，p 是属性集，么是公理集。 2 1 3 语义网本体的开发工具 本体开发工具种类繁多，有些本体开发工具是商业产品，有些则是学校和政 府有关本体技术的研究成果1 2 】。用户对开发工具的要求是不断变化的，尤其是当 它们与其他组件相关时。o n t o l i n g u a 提供了一种分布式协作的环境以便浏览、构建、 编辑、修改本体，它使用面向对象的结构视图表达和查阅知识，使用类子类的方 式展现类层次，是一个功能强大的本体构建工具，支持本体的协同构建以及共享。 o n t o e d i t 是一种通过使用图形工具来支持本体开发和维护的本体工程环境，它将本 体开发方法论与合作开发和推理功能相结合，分层构建本体，它不开放源代码， 利用模块和插件结构，能够方便地引进专门功能和词库，它是大多数本体和基于 本体的解决方案的完整模型和管理框架，用于不同结构、模式和模型的整合。o i l e d 是一个基于o i l 的本体开发工具，使用d a m l + o i l 来构建本体，结合了框架表示 和描述逻辑表示两者的长处，提供源代码，是本体开发工具的“记事本 ，为用 户构造本体提供足够的功能，并示范应如何使用事实推理来核查本体的一致性。 p r o t 6 9 6 能够依据用户的需求进行定制，经过定制用户的界面以更好的适应新语言 的使用，可以自行设置数据的输入格式，开放源代码，支持多重继承，存在着本 体构建所需的基本功能，模块划分清晰，为一种编辑环境提供了几种第三方插件。 分析上述工具发现，随着本体语言的发展，本体开发工具发展很快，而且界面多 采用图形结构，延续w i n d o w s 的风格，以方便用户的使用。它们的特点对比如表 2 1 所示。 第2 章语义网粗糙本体 表2 1 本体开发工具的对比 t a b 2 1t h ec o m p a r a t i o no f o n t o l o g yd e v e l o p m e n tt o o l s 2 2 语义网粗糙本体 2 2 1 语义网粗糙本体的定义 定义2 1 语义网粗糙本体是对应于不精确信息的一类本体。由粗糙概念以及粗 糙概念之间的关系组成，在本体理论的基础上引用了粗糙集理论，是对本体的一 种扩展。粗糙本体也可表示为两元组d 保，r r ，但此处q 为粗糙概念集，q 还 可以用三元组来表示，即俯( ml ，功，u 为粗糙概念q 的上近似外延，三为粗 糙概念q 的下近似外延，y 为粗糙概念q 的内涵，为粗糙概念之间的关系。 定义2 2 粗糙概念q ( r o u g hc o n c e p t ) 是一种用于描述内涵不确定的概念。可表 示为c r = ( u l ，功，其中，】，称为内涵( i n t e n t ) ，表示该粗糙概念所具有的属性；u 称为上近似外延( u p p e ra p p r o x i m a t i o ne x t e n t ) ，表示可能满足内涵y 中全体属性的对 象集；三称为下近似外延( 1 0 w e ra p p r o x i m a t i o ne x t e n t ) ，表示肯定满足内涵】，中全体 语义网粗糙本体的构建方法 属性的对象集。 定义2 3 上近似外延u 是可能满足内涵y 中全体属性的对象集。 定义2 4 下近似外延三是肯定满足内涵】，中全体属性的对象集。 定义2 5 内涵】，是概念所具有的属性。 定义2 6 粗糙关系r r ( r o u g hr e l a t i o n ) 是粗糙元组的有穷集合。它是集合叉集 p 1 ) x p ( d 2 ) x x p ) 的一个子集。其中，d f 是属性域，p ( d i ) 表示d f - f 的 幂集。 2 2 2 语义网粗糙本体的表示语言 o w l 主要从类和属性两个方面描述现实世界，与其对应的表达方式是面向对 象域( o b j o c td o m a i n ) 。面向对象域的表达方式是使用r d f s 和o w l 两者本身的 语法进行表示，应用在表达概念之间分类化、层次化的继承关系以及相互间的关 联关系【1 3 】。即使o w l 的某些语法和规则与d a m l + o i l 十分相似，但它的语义机 制却已大大加强，而且还添加了更多用于描述类和属性的词汇，具有更加强大的 语义和关系逻辑表示功能。o w l 十分强调知识的表示及推理规则的应用，是当前 语义网研究中最具有代表意义的本体描述语言。 实际上，因为o w l 建立在x m l r d f s 等在已有标准之上，并添加了大量基 于描述逻辑的语义来描述和开发不同种类的本体。因此，o w l 使用时保持了与 r d f 和r d f s 的最大兼容性，同时它基于l i m f s 的语法模式更适合自动处理 本体的交换和集成。 语义网粗糙本体是处理不精确信息的本体，而o w l 是描述本体的，因而仍可 用于表示粗糙本体。但是，o w l 用于描述粗糙本体和本体是有区别的。o w l 描 述粗糙本体时，加入了粗糙性即上近似和下近似。o w l 中的概念由类来表示，它 可以是名称( 如u r j ) 或表达式，并且使用大量的构造子来表述表达式，o w l 之 所以具有这么强大的表达能力正是由它所支持的概念构造子、性质构造子以及各 种公理所决定的。例如粗糙概念( o b j l ，o b j 2 ，o b j 3 ，o b j 4 ， o b j l ， e l ，c 2 ，c a ，d 1 ) ) 和 ( o b j l ，o b j 2 ，o b j 3 ， o b j 2 ， c l ，c 3 ，d 1 ) ) 用o w l 表示如下： 第2 章语义网粗糙本体 7 2 2 3 语义网粗糙本体的特点 语义网粗糙本体是用于描述语义网中的不精确性信息，而不精确性信息包括 粗糙性、模糊性、随机性【1 4 】。粗糙本体解决的是不精确信息中具有粗糙性的信息。 语义网粗糙本体是粗糙集理论和语义网本体相结合的产物。显然，语义网粗糙本 体的性质是由粗糙集的性质和语义网本体的性质所共同决定的。 粗糙集的性质主要是：粗糙集是一种用来表达不完整性和不精确性的数学工 具【1 5 1 。从隶属程度上来说，粗糙集理论根据集合的隶属程度对有关内容的论域划 分为三部分：肯定属于此集合、肯定不属于此集合和可能属于此集合。 粗糙集和模糊集、随机集扩充了普通集合理论，通过修改能够处理不确定性 和不精确性的内容和信息，三者都是处理信息系统中的某些具有不完全不精确性 知识的理论工具。虽然它们都是处理不精确知识的，但也有本质的区别，详细的 比较见表2 2 。 语义网粗糙本体的构建方法 表2 2 粗糙集理论与模糊集理论、随机理论的差异 t a b 2 2t h ed i f f e r e n c e sa m o n gr o u g hs e tt h e o r y , f u z z ys e tt h e o r ya n ds t o c h a s t i ct h e o r y 通过上述对粗糙集的分析，可以总结出语义网粗糙本体的特点如下： ( 1 ) 能够处理精确性数据和非精确性的数据； ( 2 ) 能够从不精确数据中找出隐含的概念、隐含的关系； 。 ( 3 ) 构成粗糙本体的概念及其之间的关系是经过不精确定义的； ( 4 ) 为机器或计算机所使用并可用粗糙集方法表达。 语义网粗糙本体是一种特殊的本体，是在本体理论的基础上引入了粗糙的性 质而得到的，故语义网粗糙本体与本体之间存在差异。如表2 3 所示。 表2 3 语义网本体与语义网粗糙本体的比较 t a b 2 3t h ec o m p a r a t i o nb e t w e e ns e m a n t i cw e bo n t o l o g ya n ds e m a n t i cw e b r o u g ho n t o l o g y 第3 章语义网粗糙本体的构建方法 第3 章语义网粗糙本体的构建方法 3 1 语义网本体的构建方法 本体构建的过程和方法会因知识领域、面向对象和描述语言的不同而有所不 同。本体构建方法指导开发人员根据所需的要求和基本步骤来构建本体，即怎样 获取知识和对知识进行抽象和提炼，最后以计算机可以理解的方式表达出来。本 体构建方法直接决定了本体对知识的表示和逻辑推理能力。出于对各学科领域知 识的差异和对工程实践的不同考虑，构建本体的过程也各不相同。本体的构建方 法有很多，主要包括骨架法、五步循环法、企业建模法等。这些方法各有特点， 但都有一个共同的基本思想，即首先确定应用领域，进行基本概念化设计，然后 再评估细化。这些方法的特点已在第1 章进行了阐述。随着对本体构建方法的不 断研究，国内外学者又提出了若干本体构建的新方法。本论文着重阐述其中的两 种方法：基于o w l 的语义网本体构建方法和基于概念格的语义网本体构建方法。 3 1 1 基于o w l 的语义网本体构建方法 构建本体是一种编码过程，也就是将领域知识通过某种转换机制，使语义信 息能够被机器所处理，所以领域专家在本体构建的整个过程中有着重要的作用， 在本体构建过程中的每一个步骤，领域专家都有其应负责的任务和对应的义务， 以确保本体构建的速度和质量。而将本体编码化，则使用o w l 。o w l 是用来表 示w e b 本体的标准描述语言，为本体从自然语言的表示格式转化成为机器可读的 逻辑表达格式提供标引工具；为本体在不同系统之间的导入和输出提供标准的机 读格式；形式化语言表示，利用机器可读的形式化表示语言表示本体，可以直接 被计算机存储、加工、利用，在不同的系统之间进行互操作。本体表示语言以描 述逻辑为基础，拥有完备的表示能力，为精确表达概念及其关系提供保证。o w l 拥 有3 个子语言：o w ll i t e 、o w ld l 、o w lf u l l ，并且表达能力依次增强。事实 上，o w l 也从某一方面表达了本体的语义信息及其建模原语，在某种程度上也会 影响本体构建方法、过程和步骤。因此从语义网的角度看，本体在构建过程中必 语义网粗糙本体的构建方法 须考虑其标准化的描述语言o w l 对本体构建的要求。面对这种情况，学者提出了 基于o w l 的语义网本体构建方法。其构建过程如图3 1 所示。 图3 1o w l 用于本体构建方法的过程 t a b 3 1t h e p r o c e s so f b u i l d i n go n t o l o g yb yo w l 该方法的具体步骤是： ( 1 ) 确定应用领域。本阶段需要明确领域本体构建的目的、范围、用途和使 用者。构建本体并不是目的所在，将本体应用于某一具体领域才是真正的目标。 所以构建本体的第一步便是确定本体的应用领域。采用和软件开发过程类似的办 法，在本体构建的初期，首先了解其应用的具体背景和需求。考虑到领域知识的 深度和广度以及关系的复杂程度，所以采用本体尽可能覆盖领域内的所有知识， 但一味的扩大本体的范围会造成工程的复杂度和成本的剧增，甚至会造成工程的 第3 章语义网粗糙本体的构建方法 失败，这是要注意的。据此，就可以确定本体应该包含的概念以及它们之间的关 系、本体的规模等。 ( 2 ) 选择子语言类型。o w l 包括三个子语言：o w ll i t e 、o w ld l 和o w l f u l l 。可以根据具体应用的不同选择不同的子语言。在确定本体描述语言之后还要 选择相应的本体开发工具。基于o w l 的本体开发工具主要有：p r o t 6 9 6 、s w o o p 和c o n s t r u c t 等。 ( 3 ) 定义类、属性和公理。类用来描述领域中的概念。在o w l 中，类是使 用“类描述 进行阐释的。o w l 共有六种不同类型的类描述：类标识符、个体的 穷尽枚举、属性限制、两个或多个类描述的交集、两个或多个类描述的并集、类 描述的补集。属性分为四个互不相同的类型，即个体值属性、数据值属性、注释 属性和本体属性。类公理包括三类：类公理、属性公理和限制。限制主要包括基 数限制和取值限制。 ( 4 ) 验证。验证包括三方面的内容：语法检验、本体语言检验和一致性检验。 语法检验就是验证所使用的本体构建语言的语法，检查是否存在语法错误。本体 语言检验是针对o w l 而言的，主要是