OWLWEB本体语言指南.doc

OWL Web本体语言 指南 摘要 目前这种结构的万维网，很像一本地图做得很差的地理书，我们对于Web中可以使用的文档和服务的了解，都是基于关键字搜索的，同时还需要灵活地使用文档的链接和使用模式。如果没有强有力的工具的支持，这么大规模的数据是很难管理的，为了能够给Web绘制出更为详实的地图，计算代理需要对于网络上可用资源的内容和能力做一个机器能够读得懂的描述。这些描述是人类能够读得懂的信息的扩展。 OWL，这种本体描述语言，可以用来描述Web文档和应用中内在的类和关系。 这篇文章解释了OWL语言的使用： 通过定义类以及类的属性来形式化某个领域； 定义个体并说明它们之间的属性； 在OWL语言的形式化语义允许的层次上，对类和个体进行推理。 本文的各章节间是按照类、属性、个体的集合的定义给出来的，从最简单的概念开始，逐渐过渡到更为复杂的概念。 目录 摘要 (/TR/2004/REC-owl-guide#Abstract) 本文档状态 (/TR/2004/REC-owl-guide#Status) 内容 (/TR/2004/REC-owl-guide#Contents) 1. 引言 (/TR/2004/REC-owl-guide#Introduction) 1.1. OWL的种类 (/TR/2004/REC-owl-guide#OwlVarieties) 1.2. 本文档的结构 (/TR/2004/REC-owl-guide#StructureOfDoc) 2. 本体的结构 (/TR/2004/REC-owl-guide#StructureOfOntologies) 2.1. 命名空间 (/TR/2004/REC-owl-guide#Namespaces) 2.2. 本体头信息 (/TR/2004/REC-owl-guide#OntologyHeaders) 2.3. 数据聚合和隐私 (/TR/2004/REC-owl-guide#Privacy) 3. 基本元素 (/TR/2004/REC-owl-guide#BasicDefinitions) 3.1. 简单类和个体 (/TR/2004/REC-owl-guide#SimpleClasses) 3.1.1. 简单具名类 (/TR/2004/REC-owl-guide#DefiningSimpleClasses) 3.1.2. 个体 (/TR/2004/REC-owl-guide#DefiningIndividuals) 3.1.3. 使用时的设计 (/TR/2004/REC-owl-guide#DesignForUse) 3.2. 简单属性 (/TR/2004/REC-owl-guide#SimpleProperties) 3.2.1. 定义属性 (/TR/2004/REC-owl-guide#DefiningProperties) 3.2.2. 属性和数据类型 (/TR/2004/REC-owl-guide#Datatypes1) 3.2.3. 个体的属性 (/TR/2004/REC-owl-guide#PropertiesOfIndividuals) 3.3. 属性的特征 (/TR/2004/REC-owl-guide#PropertyCharacteristics) 3.3.1. 传递属性 (/TR/2004/REC-owl-guide#TransitiveProperty) 3.3.2. 对称属性 (/TR/2004/REC-owl-guide#SymmetricProperty) 3.3.3. 函数型属性 (/TR/2004/REC-owl-guide#FunctionalProperty) 3.3.4. 逆属性 (/TR/2004/REC-owl-guide#inverseOf) 3.3.5. 反函数型属性 (/TR/2004/REC-owl-guide#InverseFunctionalProperty) 3.4. 属性约束 (/TR/2004/REC-owl-guide#PropertyRestri