OWL
OWL（Web Ontology Language）是W3C開發(fā)的一種網(wǎng)絡(luò)本體語言，用于對本體進(jìn)行語義描述。由于OWL是針對各方面的需求在DAML+0IL 的基礎(chǔ)上改進(jìn)而開發(fā)的，所以一方面要保持對DAML+0IL/RDFS的兼容性，另一方面又要保證更加強(qiáng)大的語義表達(dá)能力，同時(shí)還要保證描述邏輯（DL，Description Logic）的可判定推理，因此，W3C的設(shè)計(jì)人員針對各類特征的需求制定了三種相應(yīng)的OWL的子語言，即
OWL Lite、OWL DL和OWL Full，而且各子語言的表達(dá)能力遞增[5]。
OWL Lite是表達(dá)能力最弱的子語言。它是OWL DL的一個子集，但是通過降低OWL DL中的公理約束，保證了迅速高效的推理。它支持基數(shù)約束，但基數(shù)值只能為0或l。因?yàn)镺WL Lite表達(dá)能力較弱，為其開發(fā)支持工具要比其他兩個子語言容易一些。OWL Lite用于提供給那些僅需要一個分類層次和簡單約束的用戶[6,7]。
OWL DL（Description Logic，描述邏輯）將可判定推理能力和較強(qiáng)表達(dá)能力作為首要目標(biāo)，而忽略了對RDFS的兼容性。OWL DL包括了OWL語言的所有語言成分，但使用時(shí)必須符合一定的約束，受到一定的限制。OWL DL提供了描述邏輯的推理功能，描述邏輯是OWL的形式化基礎(chǔ)。
OWL Full包含OWL的全部語言成分并取消了OWL DL中的限制，它將RDFS擴(kuò)展為一個完備的本體語言，支持那些不需要可計(jì)算性保證（no computational guarantees）但需要最強(qiáng)表達(dá)能力和完全自由的RDFS用戶[6]。在OWL Full中，一個類可以看成是個體的集合，也可以看成是一個個體。由于OWL Full取消了基數(shù)限制中對可傳遞性質(zhì)的約束，因此不能保證可判定推理。
OWL Lite是表達(dá)能力最弱的子語言。它是OWL DL的一個子集，但是通過降低OWL DL中的公理約束，保證了迅速高效的推理。它支持基數(shù)約束，但基數(shù)值只能為0或l。因?yàn)镺WL Lite表達(dá)能力較弱，為其開發(fā)支持工具要比其他兩個子語言容易一些。OWL Lite用于提供給那些僅需要一個分類層次和簡單約束的用戶[6,7]。
OWL DL（Description Logic，描述邏輯）將可判定推理能力和較強(qiáng)表達(dá)能力作為首要目標(biāo)，而忽略了對RDFS的兼容性。OWL DL包括了OWL語言的所有語言成分，但使用時(shí)必須符合一定的約束，受到一定的限制。OWL DL提供了描述邏輯的推理功能，描述邏輯是OWL的形式化基礎(chǔ)。
OWL Full包含OWL的全部語言成分并取消了OWL DL中的限制，它將RDFS擴(kuò)展為一個完備的本體語言，支持那些不需要可計(jì)算性保證（no computational guarantees）但需要最強(qiáng)表達(dá)能力和完全自由的RDFS用戶[6]。在OWL Full中，一個類可以看成是個體的集合，也可以看成是一個個體。由于OWL Full取消了基數(shù)限制中對可傳遞性質(zhì)的約束，因此不能保證可判定推理。
總結(jié)
