owl

由於OWL是針對各方面的需求在DAML+OIL的基礎上改進而開發的，所以一方面要保持對DAML+OIL/RDFS的兼容性，另一方面又要保證更加強大的語義表達能力，同時還要保證描述邏輯（DL，Description Logic）的可判定推理，因此，W3C的設計人員針對各類特徵的需求制定了三種相應的OWL的子語言，即OWL Lite、OWL DL和OWL Full，而且各子語言的表達能力遞增。

OWL Lite是表達能力最弱的子語言。它是OWL DL的一個子集，但是通過降低OWL DL中的公理約束，保證了迅速高效的推理。它支持基數約束，但基數值只能為0或l。因為OWL Lite表達能力較弱，為其開發支持工具要比其他兩個子語言容易一些。OWL Lite用於提供給那些僅需要一個分類層次和簡單約束的用戶[6,7]。

OWL DL（Description Logic，描述邏輯）將可判定推理能力和較強表達能力作為首要目標，而忽略了對RDFS的兼容性。OWL DL包括了OWL語言的所有語言成分，但使用時必須符合一定的約束，受到一定的限制。OWL DL提供了描述邏輯的推理功能，描述邏輯是OWL的形式化基礎。

OWL Full包含OWL的全部語言成分並取消了OWL DL中的限制，它將RDFS擴展為一個完備的本體語言，支持那些不需要可計算性保證（no computational guarantees）但需要最強表達能力和完全自由的RDFS用戶。在OWL Full中，一個類可以看成是個體的集合，也可以看成是一個個體。由於OWL Full取消了基數限制中對可傳遞性質的約束，因此不能保證可判定推理。

W3C Web本體工作組通過一系列文檔描述OWL語言，每個文檔都有不同的目的，並面向不同的讀者。OWL概述通過列出OWL的語言特徵並給出其簡要的描述，對OWL進行了簡單的介紹；OWL指南通過一個擴展的例子說明如何使用OWL語言。同時也給出了這些文檔中用到的術語的解釋；OWL參考以一種系統和簡潔的方式描述了OWL的所有建模原語；OWL語義和抽象語法文檔是對這個語言的最終的、形式化的規範性定義；OWL網路本體語言測試用例文檔包含了這個語言的一個大量的測試用例集合；OWL用例和需求文檔包含了一個網路本體語言的用例集合和關於OWL的需求集合。

OWL是語義網活動的一個組成部分。OWL被設計用來處理資訊的內容而不是僅僅向人類呈現信息的應用。通過提供更多具有形式語義的辭彙，使之在Web內容的機器可理解性方面要強於XML、RDF和RDF Schema（RDF-S）。OWL這項工作的目的是通過對增加關於那些描述或提供網路內容的資源的信息，從而使網路資源能夠更容易地被那些自動進程訪問。由於語義網路固有的分佈性，OWL必須允許信息能夠從分佈的信息源收集起來。其中，允許本體間相互聯繫，包括明確導入其他本體的信息，能夠部分實現這樣的功能。

另外，OWL提出了一個開放世界的假設。也就是說，對資源的描述並不局限於在一個簡單的文件或範圍內。類C1本來是由本體O1定義出來的，然而，它也可以是由其他的本體擴展出來的。新的信息不能否定之前的信息。新的信息可以是和舊的信息矛盾的，但是事實和推導只能被增加而不能被刪減。