《OWL+Web本体语言+指南》由会员分享，可在线阅读，更多相关《OWL+Web本体语言+指南（60页珍藏版）》请在金锄头文库上搜索。
1、議w(htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#AbstTacr)MB(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#s 目 US)耳w(htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#conrensL 5 - w* (hhpAVWW.W3.org/TR/2004/RECowrguide20040210、#IntToduction)11 OWL n-H-B(hhpAVWW.W3.org/TR/2004/RECowrguide20040210、#owlvariet
2、ies)12MBs慕詳(htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#stTucrureofDOC 2 讲 w 戾 慕(htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#stTucrureofonrologies)21skzmffl(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#Namespaces)22wrsnF?(htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#onrologyHeaders)3mTU 洲(htlpAVWW
3、.W3.org/TR/2004/RECowlguide20040210、#BasicDefinitions) 31MBW(htlpZB (htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#Definingsimpleclasses)312 Tw(htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#DefiningIndividu 巴 s)3.13 注岳 H4s斗(hhpAVWW.W3.org/TR/2004/RECowrguide20040210、#DesignForuse) 32M4B1DW(httpAVWW.W3
4、.org、TR/2004、RECowrguide20040210、#simplepropeaes)3.21 和 X1DW(httpAVWW.W3.org、TR/2004、RECowrguide20040210、#Definingpropeaes) 3.22idwbb(hhpAVWW.W3.org/TR/2004/RECowrguide20040210、#Daratypesl) 3.23 Tws讪w (httpAVWW.W3.org/TR/2004/RECowlguide20040210、#propeaesofIndividuals)33 讪w戾 苹 耳 (httpyAVWW. w3 .org/
5、TR/2004/RECowlguide2004021 o、#propertycharacreristics)3.31 亠iMlDw(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#Transitiveproperg3.32錄葵讪(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#symmetTicproperg3.33 医 齊B讪w (httpyAVWW. w3 .org/TR/2004/RECowlguide2004021 o、#Functionalproperty)3.34IDW(htlpAVWW.W3.or
6、g/TR/2004/RECowlguide20040210、#inverseof3.35 间 医 齊B讪w (httpyAVWW. w3 .org/TR/2004/RECowlguide2004021 oInverseFuncrionalproperry) 34IDwzqM(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#propertyRestTicnons)3.4L 巴 IV 巴 ues From someV 巴 uesFrom(htlpAVWW.W3.org/TR/2004/RECowlguide20040210、#a=valuesFrom)3.
7、42 Cardinality (htlpAVWW.W3.org、TR/2004/RECowrguide20040210、#simplecardinalig3.4.3 hasValue (httpyAVWW.w3.org/TR/2004/RECowlguide2004021 o、#hasValue)41 B H 西 首 讪wH 巨 戾夕 (httpyAVWW. w3 .org/TR/2004/RECowlguide2004021 o、#equiv 巴 enrQass 1) 42wHfflslww(htlpAVWW.W3.org/TR/2004/RECowrguide20040210、#sameA
8、S) 43Iwsw(htlpB(hhpAVWW.W3.org/TR/2004/RECowrguide20040210、#complexclasses)51 淋ns(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#seroperarors)52 尊(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#Enumeraredclasses)53MHB(htlpAVWW.W3.org、TR/2004、RECowrguide20040210、#Disjoinrclasses)6FW(htlpAVWW.W3.org/TR/20
9、04/RECowlguide20040210、#onrologyversioning) 7岳鱼(htlpTyIfs:_n 国s(htlpAVWW.W3.org/TR/2004/RECowrguide20040210、#winepoll7.2. 关 于 酒 的 主 体 ( Agent ) (http:/www.w3.org/TR/2004/REC-owl-guide-20040210/#WineAgent)致谢 (http:/www.w3.org/TR/2004/REC-owl-guide-20040210/#Acknowledgements)OWL 词汇表 (http:/www.w3.org/
10、TR/2004/REC-owl-guide-20040210/#OWLGlossary) 术语索引和交叉引用 (http:/www.w3.org/TR/2004/REC-owl-guide-20040210/#TermIndex) 参考文献 (http:/www.w3.org/TR/2004/REC-owl-guide-20040210/#References)附 录 A: XML + RDF 基 础 (http:/www.w3.org/TR/2004/REC-owl-guide-20040210/#AppendixA)附录 B: 历史 (http:/www.w3.org/TR/2004/RE
11、C-owl-guide-20040210/#AppendixB)附 录 C: 上 次 发 布 以 来 的 修 改 日 志(http:/www.w3.org/TR/2004/REC-owl-guide-20040210/#changes-since-PR)1. 引言“告诉我我应该买什么酒提供给下列菜单的每道菜，随便说一下，我不喜欢苏特恩白葡萄 酒”。目前构造一个能够查找满足这个查询的酒的 Web 代理会是困难的。类似地，考虑派给软件 代理一个做出合 理的旅行安排的 任务 (更多 的用 例， 参考 OWL 需 求文 档 (http:/www.w3.org/TR/2004/REC-owl-guide
12、-20040210/#Requirements)。为了支持这种计算，不仅仅用关键词而是说明Web上描述的资源的含义是必要的。这个额 外的解释层表述了数据的“语义”。Web本体语言OWL是一种定义和实例化“Web本体”的语言。“本体”这个术语来自于哲 学，它是研究世界上的各种实体以及他们是怎么关联的科学。一个“Web本体”可能包含 了类， 属性和他们的实例的描述。 给出这样的一个本体， OWL 形式语义（http:/www.w3.org/TR/2004/REC-owl-semantics-20040210/）说明怎么获得它的逻辑结论，也就 是说，不是逐字写在本体中的事实，而是语义蕴涵的事实。这些
13、蕴涵可以是基于单个的文档 也或利用 OWL 机制（http:/www.w3.Org/TR/2004/REC-owl-guide-20040210/#import合并在一 起的多个分布的文档。本文档是W3CWeb本体工作组(WebOnt)制定的Web本体语言的描述的一部分。OWL 综述 (Overview (http:/www.w3.org/TR/2004/REC-owl-guide-20040210/#FeatureList), 1.1)的 文档指南 (http:/www.w3.org/TR/2004/REC-owl-features-20040210/#s1.1) 部分描述了不同部 分的文档
14、以及他们怎样结合的。当描述另外一个XML/Web标准时，有一个问题会冒出来:这个标准给了我什么XML和XML Schema不能给的。这个问题有两个答案。本体和 XML Schema 的区别是它是一种知识表示，而不是一种消息格式。大多数来自工业 界的Web标准包含了一个消息格式和协议规范的组合。这些格式已经被给予一个操作语义, 例如，一旦收到订单（PurchaseOrder）的消息，从AccountFrom账号转移Amount数量的 美元到AccountTo账号，并且发货（Product），但是这些规范并没有设计为支持此事务上下 文之外的推理。例如，一般来说，没有机制让我们推出:因为这个产品的类型是夏敦埃酒 （Chardonnay，一种无甜味白葡萄酒），它必定也是一种白色酒。OWL 本体的一个优点是会有能够对其做推理的工具。这些工具提
