本体继承关系体系结构的OWL实现及其不一致性检查的形式化表示研究.pdfVIP

知识描述与描述语言 119 本体继承关系体系结构的OWL实现及其 不一致性检查的形式化表示研究· 赵波解敏 夏幼明 (云南师范大学计算机利学系昆明65(I)92) 摘要：继承(子麴r父类)关系是本体中的重要关系之·．．为了便于重用和推理，杠本将子．类／父类关系作了更 加细致的语义细化，分为四种不同的子类／父类关系．为了研究了它们的OWL实现，本文首先用代数理论形式 化定义了四种子类，父类关系．在此基础E，讨论了不同子类，父类关系的OWL实现。针对细化后继承关系中 常见的不—致性，给出了其形式化判定规则． 关铤阗：子类，父类关系，OWL，不—致性检查 OnOWL InheritanceBased-on of ImplementationTaxonomy andFormalizationofIt’S Ontology InconsistencyChecking ZhaoBoXieMJnXia Youw2ng 仨碑聊删矽∞唧冠‘舸跖嗽YunnanNomd狮西嘲Kunmin9650092) is iselaba-am]intofbur Ab醯嗽Inh础mce(鲫bc妇娼钿驴雷出哟retraioniIIlp哟ltin叫tology．Illhetit：moe把‰n in in ocder幻瞅and把罄商Dg deferent剐bc妇瓯奴p燃telatiom in 龙h的璐趾formalized OWL趣Id algeb醯t蛔yoFI矾bc棚Ⅺ嗡tl一可趣cjn平la暇l脚in tiers证∞出函曲cy deckingrules戤pr瞄眦 r．一-y wml,：SIlbda幽弘—档rel砸0n帆h嘲1si哟ch蜘 本体是—种能在语义和知识层次上描述系统的概念模型，从概念、关系、函数、公理和 实例方面描述应用领埘3】。本体通过概念之间的关系描述概念的语义，其中本体关系中最重 要的关系是继承关系(子类仪搂i关系)。为了准确描述现实世界，人们对本体中的继承关系 作了进—步深入研究，发现现实世界中存在各种各样的继承关系，这些不同的继承关系形成 了继承关系的体系结构。但oWI．语言作为W3C新推出的—种本体表示标准，却只提供了直接 标记其中两种继承关系的语句【3】。因此本文首先用代数集合理论给出了四种继承关系的严格 形式化定义，然后讨论不同继承关系的0wL实现；为了便于人们检查填删的正确性，研 究了继承关系体系结构中常见的不—致性，并给出了形式化判定规则。 1本体继承关系的体系结构的形式化表示 在本体中，通常从概念、关系、函数、公理和实例方面对应用领域进行描述，其中，关 勺-谓烫l获得云南省重点实验室开放基金资助，获得云南省自然科学基金重点项目(20041x1)062)和省院省校 合作项目(2004YX42)基金资助． 赵波，1963年生。副教授，硕士，主要研究领域：数据库设计和知识工程。通信地址：清华大学21号楼605 室，联系电话l010解‰1973年生，讲师，硕士，主要研究领域：数据库设计和知识工程．夏 幼明，1995年生·教授，硕士生导师．主要研究领域：人工智能。EII词：ykzb63@sina．oom． 120 程序设计语言及其教学探索 系中的子类投类关系通常被用于组织本体中的类和实例，在这样的关系中，包含着更复杂的 子类艘劣冬关系。从以下『1价顿f子和对例子的分析中可以看出这一点。 例l：本科生是学生。(分析：在该例中，有—个父类障．生