标签：specific 引用 tle lang pre rip 一个 href fat
??OWL2 Web本体语言(OWL)是一种语义Web语言，它被设计用来表示关于实体、实体间关系的丰富和复杂知识。
??OWL是一个以计算逻辑为基础的语言，用OWL表示的知识可以通过计算机程序进行推理(演绎推理)，从而验证知识一致性，或者使隐性知识显性化。
??OWL文档，也被称为本体，能够在万维网上发布，可以引用其他的OWL本体或者被其他的OWL本体引用。OWL是W3C Semantic Web技术堆栈（其中还包括RDF和SPARQL）的一部分（RDF和SPARQL后面会有专栏进行总结分享）
??需要说明的是W3C Semantic Web技术堆栈为W3C制定的学界规范，在与相关标准委员会关联人员交流时了解到，现在正在制定的业界标准规范部分内容并非采用W3C体系，后续会专门写一篇，阐述学界和业界的关系
??OWL提供了各种可用的语法，服务于不同的目的。具体来说包括函数式语法、RDF/XML语法、曼彻斯特语法、XML语法、Turtle语法等 ，其中RDF/XML语法是唯一一个所有的OWL2工具都必须支持的语法，个人觉得OWL 2 Specification语法入门是最简单的，所以入门案例都会围绕OWL 2 Specification语法展开
| 语法名称 | 连接 | 约束 | 说明 |
|---|---|---|---|
| RDF/XML | Mapping to RDF Graphs,RDF/XML | 必须支持 | 用于OWL的RDF/XML语法，就是RDF/XML |
| OWL/XML | XML Serialization | 可选 | 用于OWL的XML语法，用XML schema定义OWL 2 XML |
| Functional Syntax | Structural Specification | 可选 | OWL 2 Specification语法规范直观，并且给OWL2工具（例如推理机）的实现提供一个基础 |
| Manchester Syntax | Manchester Syntax | 可选 | OWL 2 Manchester Syntax语法的目的是让非逻辑学家更好的阅读 |
| Turtle | Mapping to RDF Graphs,Turtle | 可选 | 便于 triples读写 |
??OWL2的目的是捕获知识，可以用OWL表示的“知识”当然不能反映人类知识的所有方面。OWL2可以被看作是一种针对人类知识某些部分的强大而通用的建模语言。建模的结果被称为本体，先明确一些基本术语：
SubClassOf( :Woman :Person )
Declaration( Class( :Woman ) )
Declaration( NamedIndividual( :John ) )
EquivalentClasses( :Parent ObjectUnionOf( :Mother :Father ) )
[1] OWL 2 Web Ontology Language Document Overview (Second Edition)
[2] OWL 2 Web Ontology Language Primer
标签：specific 引用 tle lang pre rip 一个 href fat
原文地址：https://www.cnblogs.com/TaoOrigin/p/12207840.html
