1、本體構(gòu)建、protg使用Web服務(wù)課內(nèi)實驗報告書院 系 名 稱 ：實 驗 題 目 ：本體構(gòu)建、Protege使用周從軍學(xué) 生 姓 名 ：專 業(yè) 名 稱 ： 班04112016班學(xué)時級 ：號 ：間 ：2014 年 11月 20日1本體構(gòu)建、protg使用Web服務(wù)實驗報告本體構(gòu)建、protege 使用一 、 實驗?zāi)康?.下載Protege，構(gòu)建本體；2.新建OWL本體，了解Protege軟件下的標(biāo)簽。二 、 實驗內(nèi)容打開ProtegeClass查詢。Protege知識支持本體的構(gòu)建和推理。1. 3種OWL語言簡介OWL網(wǎng)絡(luò)本體語言（外語全稱：Web Ontology Language、外語縮寫：

2、OWL）W3C開發(fā)的一種網(wǎng)絡(luò)本體語言，用于對本體進行語義描述。OWL是由子語言構(gòu)建的，分別是OWL Lite、OWL DL和OWL Full，而且各子語言的表達(dá)能力遞增。OWL Lite是表達(dá)能力最弱的子語言。它是OWL DL的一個子集，但是通過降低OWL DL中的公理約束，保證了迅速高效的推理。它支持基數(shù)約束，但基數(shù)值只能為0或l。因為OWL Lite表達(dá)能力較弱，為其開發(fā)支持工具要比其他兩個子語言容易一些。OWL Lite用于提供給那些僅需要一個分類層次和簡單約束的用戶6,7。OWL DL（Description Logic，描述邏輯）將可判定推理能力和較強表達(dá)能力作為首要目標(biāo)，而忽略了對

3、RDFS的兼容性。OWLDL包括了OWL語言的所有語言成分，但使用時必須符合一定的約束，受到一定的限制。OWL DL提供了描述邏輯的推理功能，描述邏輯是OWL的形式化基礎(chǔ)。OWL Full包含OWL的全部語言成分并取消了OWL DL中的限制，它將RDFScomputationalguarantees）但需要最強表達(dá)能力和完全自由的RDFS用戶6。在OWLFull中，一個類可以看成是個體的集合，也可以看成是一個個體。由于OWL Full取消了基數(shù)限制中對可傳遞性質(zhì)的約束，因此不能保證可判定推理。2.OWL本體的組成a、類2本體構(gòu)建、protg使用OWL如下定義：定義了Person、Man、Mal

4、e三個類，并且聲明了Man是Person和Male的子類。用抽象語法表示為(Class表示定義一個類，且前者是后者的子類。OWL所有個體都是類owl:thing的成員，定義空類用的是owl:Nothing)：Class(ex:Person partial owl:Thing)Class(ex:Male partial owl:Thing)Class(ex:Man partial owl:Thing)subClassOf(ex:Man ex:Person)subClassOf(ex:Man ex:Male) partial ex:Person ex:Male)b、個體除了描述類，本體還要描述類的

5、成員，也就是個體。在OWL DL和Lite中，個體和類是分離的集合，即一個資源不能同時是個體和類，但在Full中可以?？捎胷df:type為個體聲明多個其所屬的類：3本體構(gòu)建、protg使用抽象語法：Individual)ex:Tom type(ex:Person) type(ex:male)c、屬性一個屬性是一個二元關(guān)系，在OWL中有兩個類型的屬性：對象屬性和數(shù)據(jù)類型屬性，分別表示類的實例之間的關(guān)系和類的實例與文字之間的關(guān)系。對象屬性用owl:ObjectPropertyrdfs:domain和rdfs:range表示定義域與值域。以下定義了一個create屬性，它的定義域是Person類，

6、即只有Person類的實例才有這個屬性?？梢詫⒁粋€屬性定義為某個已有屬性的子屬性，如定義一個create的子屬性createBook，限定該屬性值只能是Book類的實例。屬性的使用，下例可以推斷出DiaryOfTom一定是一本書，即Book類的實例，因為createBook屬性的值域是Book。數(shù)據(jù)類型屬性和對象類型的區(qū)別在于其值域只能是數(shù)據(jù)類型。OWL使用的大部分XMLSchema定義的數(shù)據(jù)類型。3、復(fù)雜類OWL提供了一些類構(gòu)造子用于創(chuàng)建復(fù)雜類，如基本的集合操作，即并owl:unionOf、交owl:intersectionOf、補owl:complementOf。還有owl:oneOf構(gòu)造

7、子枚舉類的所有實例來定義一個類，還有聲明多個類不相交的owl:disjionWith。a、集合運算，用交運算作例4本體構(gòu)建、protg使用b、枚舉類c、匿名類OWL通過owl:Restriction定義匿名類，所謂匿名類是通過對其應(yīng)用的屬性約束義的，對應(yīng)于描述邏輯中通過存在約束、全稱約束和關(guān)系的基數(shù)約束等構(gòu)造子的概念。d、復(fù)雜類實現(xiàn)多層嵌套的復(fù)雜類定義。4、屬性的特性和約束正如描述邏輯中的關(guān)系可以有可傳遞、函數(shù)和逆關(guān)系等特性，OWL屬性也可以對其特性進行詳細(xì)的聲明。還可以對屬性取值的基數(shù)約束。三 、 設(shè)計與實現(xiàn)過程1.下載下載地址：/download/protege/4.3/installanywhere/Web_Installers/5本體構(gòu)建、protg使用6本體構(gòu)建、protg使用7本體構(gòu)建、prot