Introduction学习课件.pptVIP

Ontology的建模元语(Cont.) 函数（functions） 一类特殊的关系。该关系的前n-1个元素可以唯一决定第n个元素。形式化的定义为F:C1×C2×…×Cn-1→Cn 如Mother-of就是一个函数，mother-of(x,y)表示y是x的母亲 公理（axioms） 代表永真断言 如概念乙属于概念甲的范围 实例（instances） 代表元素。从语义上讲实例表示的就是对象 Such as: Student called Peter is the instance of Student class 精选 4种基本关系 关系名 关系描述 part-of 表达概念之间部分与整体的关系。 kind-of 表达概念之间的继承关系，类似于面向对象中的父类与子类之间的关系。 instance-of 表达概念的实例与概念之间的关系，类似于面向对象中的对象和类之间的关系。 attribute-of 表达某个概念是另一个概念的属性。如“价格”是桌子的一个属性。 精选 Ontology 的两个问题 Ontology 讲究对词语含义的完整表达，在逻辑学和词语学上，具有语义的学术深度 但问题是不可能在有限的表达中穷尽其词语的语义 Ontology 和 OO （面向对象的概念设计）的主要区别是什么？ OO （面向对象的概念设计）：UML 主要用于人和人的交互共享，人和机器的交互共享，但基本不用于机器系统之间的交互共享 Ontology （语义网）：OWL 主要用于人和机器的交互共享，以及机器系统之间的交互共享。但在人和人之间的交互共享上，通常会嫌它叙述太啰嗦，… 精选 构造Ontology的规则 最有影响的是Gruber在1995年提出的5条规则： 明确性和客观性：Ontology应该用自然语言对所定义的术语给出明确、客观的语义定义 完全性：所给出的定义是完整的，完全能表达所描述的术语的含义 一致性：由术语得出的推论与术语本身的含义是相容的，不会产生矛盾 最大单调可扩展性：向Ontology中添加通用或专用的术语时，不需要修改已有的内容 最小承诺：对待建模对象给出尽可能少的约束 目前大家公认在构造特定领域的Ontology的过程中需要领域专家的参与 精选 构建本体的例子 类目等级结构 类名 类目定义 特性名 特性类型 限制 赋值 精选 本体构建工具(1) Protégé-2000 / 美国斯坦福大学医学院开发 使用Java和Open Source作为操作平台 可用于编制实用分类系统和知识库（Knowledge Base），可自行设置的数据输入格式，能够输入数据，也可插入插件来扩展一些特殊的功能如提问、XML转换等 输出格式有文本、HTML、JDBC、RDF Schema、及XML Schema 精选 Protégé Interface 精选 本体构建工具(2) OntoEdit / OntoBroker / OntoStudio http://www.ontoprise.de/ 德国的Ontoprise公司开发 提供实用分类系统工程环境，支持构造概念、关系、定理，不依赖于某一表述语言 利用模块和插件结构，灵活性强，并能够方便地引进专门功能和词库 支持RDF和DAML，并能输入和输出数据库结构与数据（如Oracle, MSSQL, DB2） 精选 探索性的实验项目 利用已有的词汇表或分类表来改造成本体系统 将《艺术和建筑词汇表》中的西方家具部分改造成本体系统 （Wielinga等，2001） 英国曼彻斯特大学的OpenGalen项目（Rectoret al 2001） 利用现有文献和领域专家从头做起 美国加州大学圣巴巴拉分校的地理科学数字化图书馆项目 （Smith Zeng, 2003） 精选 OpenGalen系统的概念表述实例 手术: Insertion of pins in neck of femur 语句表述: Fixation of femur by insertion of pins in neck of femur 中介表述： MAIN fixation ACTS-ON femur BY-MEANS-OF insertion INTO neck ACTS-ON pins INTO neck IS-PART-OF FEMUR GRAIL/GALEN实用分类系统（本体） Performance which isOf (‘SurgicalFixation’ which actsOn Femur h