2006年7月4日

          本篇將接著基礎(chǔ)篇,在動物本體中,建立獅子類(Lion)和肉食動物類(Carnivore),通過推理得到獅子是肉食動物。通過這個實例來簡單了解推理機(jī)Racer的用法。

          基本操作方法在基礎(chǔ)篇中有講解,以下步驟中的操作不清楚的朋友請先看基礎(chǔ)篇。點(diǎn)擊這里下載到此處的項目,在protege中點(diǎn)擊Open Project打開項目。

          步驟1 在Animal中建立獅子類和肉食動物類。定義這兩個類在同一級中,即這兩個類為兄弟關(guān)系,目的是推理后獅子變?yōu)槿馐硠游锏淖宇悺?/strong>

          步驟2 編輯獅子類的屬性。這里我們定義獅子只吃素食動物。

          步驟3 編輯肉食動物的屬性。這里我們需要建立一個eat的子屬性maineat(主要吃的是),因為肉食性動物可以吃植物,所以我們無法單純的靠eat來推理出Lion是不是肉食性動物。這里我們定義肉食性動物maineat的值域是所有的動物。如下圖

          步驟4 將肉食動物的maineat屬性變?yōu)槌浞直匾獥l件。因為在現(xiàn)在的邏輯模型中我們的標(biāo)準(zhǔn)是開放世界假說,也就是說在沒有成功證明某個陳述之前,我們將這個陳述定義為未知的事實而不是假的。因為我們沒有明確指出肉食動物不能主要吃植物,所以肉食動物主要吃植物這個陳述是未知的,而不是假的。這樣就給我們的推理造成了影響,所以我們需要明確指出肉食動物主要吃動物。也就是充分必要條件。做法是雙擊NECESSARY(必要條件)中的 將其拖拽到上方的NECECSSARY & SUFFICIENT(充分必要條件)中。同樣的方法將Animal也拖拽到充分必要條件中。狀態(tài)如下圖

          步驟5 啟動RacerPro推理機(jī)進(jìn)行推論。如果沒有的朋友請到RacerPro官方網(wǎng)站下載。需要注冊一下,然后在發(fā)給你郵件中,點(diǎn)擊鏈接就可以下載。安裝選默認(rèn)路徑即可,不然還需要設(shè)置路徑。

          步驟6 運(yùn)用推理機(jī)進(jìn)行推理。選擇菜單中OWL–>Classify taxonomy..(也可以點(diǎn)擊標(biāo)簽上方的Classify taxonomy..圖標(biāo))的。這時protege會連接RacerPro,然后推理機(jī)將做出推理。這時將推理機(jī)彈出的信息關(guān)閉,protege中間會出現(xiàn)新的類階層圖,這里獅子類已經(jīng)變?yōu)槿馐硠游锏淖宇?。并在信息對話框中的Lion Moved from Animal to Carnivore。

          步驟7 確認(rèn)關(guān)系圖。在OWLViz中Asserted Model是推理前的關(guān)系圖,Inferred Model是推理后的關(guān)系圖??梢钥吹姜{子類已經(jīng)成為肉食動物的子類。

          步驟8 保存項目。點(diǎn)擊下載該項目。

          posted @ 2006-07-04 19:31 水甲鳥 閱讀(1340) | 評論 (9)編輯 收藏

          這篇教程接著基礎(chǔ)篇和推理篇,對于基礎(chǔ)篇和推理篇解釋的步驟這里不在重復(fù)解釋。不知道的朋友請先看基礎(chǔ)篇和推理篇來熟悉基本操作步驟。點(diǎn)擊這里參照新手入門基礎(chǔ)篇和推理篇 在本篇進(jìn)階片教程中主要是介紹個體的編輯(Individuals),查詢插件(QueriesTab)的用法以及將編輯好的本體存儲到數(shù)據(jù)庫中(Owl Database)。對于Owl數(shù)據(jù)庫我這里采用Mysql(對于其他的數(shù)據(jù)庫請到官方網(wǎng)站查詢)。

          步驟1:這里要用到推理篇中保存的項目。沒有的朋友請點(diǎn)擊這里下載。打開推理篇中保存的newAnimal。根據(jù)推理機(jī)的推理我們知道了Lion是肉食動物,所以我們將其移到Carnivore肉食動物的下面作為它的子類

          步驟2:建立動物園的類Zoo。然后在屬性編輯器中編輯一個新的datatype property(數(shù)據(jù)性屬性)Address,設(shè)它的定義域是類Zoo,設(shè)它的值域是xsd:string,在rdfs:comment中注釋該屬性表示地址。同樣我們編輯一個新的datatype property(數(shù)據(jù)性屬性)Tel,設(shè)它的定義域是類Zoo,設(shè)它的值域是xsd:string。在rdfs:comment中注釋該屬性表示電話號碼。注意給定義域添加類的時候是用Add named Class(es),Domain后面的第2個按鈕,而不是第一個。第一個按鈕是新建一個類并給作為定義域時用。

          步驟3:建立類Zoo個體。選擇Individuals編輯器。在選擇左邊Zoo類的情況下,點(diǎn)擊INSTANCE BROWSER中的按鈕,出現(xiàn)了一個個體實例,在INSTANCE EDITOR中將它的名字變?yōu)锽eijing_Zoo。在下方的屬性Address中點(diǎn)擊加號,輸入地址。這里作為例子輸入Beijing Xizhimen Road,并選擇en。屬性Tel中輸入010-12345678,并選擇en。同樣的方法,創(chuàng)建另外2個個體實例Shanghai_Zoo和Tianjin_Zoo。屬性Address和Tel請任意輸入。這樣我們就創(chuàng)建了3個Zoo的個體實例。

          步驟4:建立動物個體。在建立動物個體之前,前建立一個對象性屬性Belonging,它的定義域是Animal,值域是Zoo?;氐絀ndividuals編輯器中,在選擇類Giaffe的情況下,建立一個個體實例,命名為Lanlan。在下方的Belonging屬性中點(diǎn)擊加號,在彈出的對話框中選擇Beijing_zoo。同樣的方法,建立2個個體實例讓它們本別屬于Shanghai_zoo和Tianjin_zoo。然后在建立3個Lion類的個體實例,BeiLion,ShangLion,TianLion讓它們分別屬于3個動物園。這樣我們就可以進(jìn)行下一步,用查詢表單來查詢。

          步驟5:使用查詢插件。點(diǎn)擊菜單中的Project–>Configure 在出現(xiàn)的對話框中選擇QueriesTab前加上對勾。然后就會出現(xiàn)Queries標(biāo)簽,選擇這個標(biāo)簽就會出現(xiàn)查詢界面。最初我們只在Class中加入Animal然后點(diǎn)擊Find。查詢結(jié)果會在右邊的Search Results中出現(xiàn),如下圖。然后將這個查詢保留,可以在以后利用。我們點(diǎn)擊在下方的Query Name中輸入?Animal然后點(diǎn)擊Add to Query Library按鈕。這樣這個查詢方式就被儲存到Query Library中。

          步驟6:利用Query Library中保存的查詢方式進(jìn)行進(jìn)一步查詢。點(diǎn)擊Query Library中的?Animal并點(diǎn)擊按鈕??梢哉{(diào)用這個查詢方式,在這里因為我們剛剛存儲了這個方式,所以上面的Query中不會有變化。我們在Slot中選擇Belonging然后選擇contains最后選擇Beijing_zoo。點(diǎn)擊Find 就會出現(xiàn)我們查找的結(jié)果??梢詫⑦@個查詢方式存儲為?Animal_belong_BeijingZoo。當(dāng)然并非每個查詢方式都需要儲存,實際操作中按照自己的需要存儲即可。

          步驟6:將本體存儲到數(shù)據(jù)庫中。這里我們使用Mysql。先做準(zhǔn)備工作,因為需要Mysql所以沒有的朋友請先安裝。Mysql在Windows,linux等的安裝方法在許多網(wǎng)站都有十分詳細(xì)的介紹,我在這里就不再重復(fù)了,請到網(wǎng)上查詢一下,最好安裝官方推薦的版本。安裝完后首先建立一個protege的數(shù)據(jù)庫,步驟如下

          Welcome to the MySQL monitor.  Commands end with ; or \g.
          Your MySQL connection id is 10 to server version: 3.23.55-max
          Type 'help;' or '\h' for help. Type '\c' to clear the buffer.
          //建立一個名字叫protege_db的數(shù)據(jù)庫。
          mysql> create database protege_db; 
          Query OK, 1 row affected (0.00 sec)
          //建立一個在localhost的用戶protegeuser,密碼為protegeuserpwd。并把protege_db的所有權(quán)限給他。
          mysql> grant all privileges on protege_db.* to protegeuser@localhost identified by 'protegeuserpwd';
          //使上述變更在服務(wù)器上有效。
          mysql> flush privileges;
          Query OK, 0 rows affected (0.07 sec)
          //退出mysql
          mysql> exit

          這里不用創(chuàng)建表格,protege會自動創(chuàng)建。請確認(rèn)你的mysql服務(wù)是運(yùn)行的,否則將不能儲存到數(shù)據(jù)庫。接下來還需要下載JDBC驅(qū)動程序,它的作用是將protege和數(shù)據(jù)庫連接起來。點(diǎn)擊這里下載JDBC驅(qū)動程序。下載完后展開,其中有一個mysql-connector-java-3.1.12-bin.jar文件,將其復(fù)制到protege的安裝目錄中(注意不是插件目錄),然后將它的名字變?yōu)閐river.jar。然后回到protege中,選擇菜單File–>Convert Project to Format...在彈出的對話框中選擇OWL Database。

          彈出的Owl Database對話框中按照下面規(guī)定填寫。
          Project 項目的名稱??梢匀我馊?。這里用newAnimalok.pprj
          Driver Class Name 中添入 com.mysql.jdbc.Driver
          JDBC URL  添入jdbc:mysql://+mysql服務(wù)器地址+數(shù)據(jù)庫名稱  這里用的是本地機(jī),所以使用localhost 
          數(shù)據(jù)庫為剛才創(chuàng)建的protege_db。所以添入jdbc:mysql://localhost/protege_db
          Table 數(shù)據(jù)庫中的表格名,可任意填寫但不能與相同數(shù)據(jù)庫中的表格重名,否則覆蓋。這里用Animal
          Username 數(shù)據(jù)庫用戶名。這里用protegeuser
          Password 數(shù)據(jù)庫用戶密碼。這里用protegeuserpwd

          然后點(diǎn)擊OK。如果出現(xiàn)錯誤,請參見The JDBC driver is not on the Classpath的錯誤,請參見錯誤提示的解決辦法

          確認(rèn)mysql

          //用protegeuser登陸數(shù)據(jù)庫,在Enter password:后輸入密碼
          mysql -u protegeuser -p 
          Enter password: 
          Welcome to the MySQL monitor.  Commands end with ; or \g.
          Your MySQL connection id is 14 to server version: 3.23.55-max
          
          Type 'help;' or '\h' for help. Type '\c' to clear the buffer.
          //使用protege_db數(shù)據(jù)庫
          mysql> use protege_db;
          Reading table information for completion of table and column names
          You can turn off this feature to get a quicker startup with -A
          
          Database changed
          //查看Animal表格
          mysql> select * from Animal;
          +-------+------------+-------+-------+-------------+-------------+------------+
          | frame | frame_type | slot  | facet | is_template | value_index | value_type | 
          +-------+------------+-------+-------+-------------+-------------+------------
          | 13373 |          5 | 13296 |     0 |           0 |           0 |          3 |

          可以看到owl本體已經(jīng)存儲到了數(shù)據(jù)庫中。其中的各個參數(shù)均為protege預(yù)定義,點(diǎn)擊這里查看各個參數(shù)的詳情 通過以上的做法可以將我們做的本體儲存到數(shù)據(jù)庫中。然后通過數(shù)據(jù)庫來訪問本體數(shù)據(jù)。Owl Database的配置一次后下一次就可以直接使用,只要使用命名為別的表格即可。

          posted @ 2006-07-04 19:27 水甲鳥 閱讀(1687) | 評論 (4)編輯 收藏

          此新手入門對應(yīng)protege3.1.x版本。通過制作一個簡單的動物本體,來使大家了解protege建立owl的基礎(chǔ)用法。

          步驟1 建立新的項目。打開protege,然后會出現(xiàn)對話框,點(diǎn)擊Create New Project...,出現(xiàn)Create New Project對話框后,選擇OWL Flies(.owl or .rdf)后,點(diǎn)擊Finish,而不選Next。

          步驟2 建立類。protege的主頁面中會出現(xiàn),OWL Classes(OWL類),Properties(屬性),Forms(表單),Individuals(個體),Metedata(元類)這幾個標(biāo)簽。我們選擇OWL Classes來編輯。在Asserted Hierarchy(添加階層)中,會有所有類的超類owl:Thing上點(diǎn)擊Asserted Hierarchy旁邊的Create subclass或者在OWL:Thing,點(diǎn)擊右鍵選擇Create subclass。會出現(xiàn)protege自動定義名為Class_1的類。在右邊的CLASS EDITOR(類編輯器)的Name選項中,輸入Animal來替換自動定義的名字。(建議使用英文,因為下面會用到OWLViz來生成關(guān)系圖,中文的話會容易出現(xiàn)問題。)

          步驟3 建立Animal的子類,在Animal點(diǎn)擊上右鍵,選擇Create subclass,并按照上述方法將其名字變?yōu)镠erbivore(素食動物)。

          步驟4然后按照上面的方法,建立OWL:Thing的另一個子類Plant(植物),然后建立Plant的子類Tree(樹)。狀態(tài)如下圖

          步驟5 因為動物和植物是不同的事物,也就是說它們互相具有排他性(owl:disjointWith),我們來定義這個關(guān)系。在選中Animal的狀態(tài)下,點(diǎn)擊右下角的Disjoints的第三個按鈕,在出現(xiàn)的Add sibling to disjoints(將互為兄弟節(jié)點(diǎn)的類設(shè)為排他)對話框中,選擇Mutually between all siblings。這樣動物和植物就有互相排斥的屬性了。

          步驟6 建立屬性。新建一個ObjectProperty(注意不是DataProperty)選擇Properties標(biāo)簽,Name改為is_part_of,然后在右下角Transitive前面打上對號,說明這是一個傳遞性屬性。然后建立一個對象屬性(owl:ObjectProperty)eat(吃),在Domain(定義域)中定義該屬性的主體的類是Animal。最后再建立一個屬性eated(被吃),它是屬性eat的逆關(guān)系(owl:inverseOf),在右下角Inverser框中選擇eat屬性。(參照圖)

          步驟7 建立一個owl:Plant的子類Branch(樹枝),并附加限制條件。在選擇Branch的狀態(tài)下,點(diǎn)擊中下方的Asserted Conditions(添加條件)中的第二個按鈕(Create restrition )。在彈出的對話框中,選擇Restrition中的allValuesFrom,然后點(diǎn)擊下方的Insert class...。最后選擇Tree,這樣我們就定義了類Branch,它是樹(Tree)的一部分(is_part_of)。

          步驟8 和步驟7一樣,建立owl:Plant的子類Leaf(樹葉)類。在Asserted Conditions選擇is_part_of屬性,并在Restrition中的選擇allValuesFrom,最后選擇屬性類Branch(樹枝)。這樣我們就定義了樹葉是樹枝的一部分。

          步驟9 定義草食動物。素食動物是動物的子類,而且只吃植物或是植物的一部分(植物和一部分植物的并集,也就是植物)。和步驟7一樣Create Restrition對話框中添加如下圖的式子。

          步驟10 定義類Giraffe(長頸鹿),它是素食動物,只吃樹葉。按照上面的步驟定義,如下圖 。

          步驟11 查看關(guān)系圖,在菜單中選擇Project–>Configure在出現(xiàn)的對話框中,在OWLVizTab前打上對號,就會出新OWLViz的標(biāo)簽。如果在這里出現(xiàn)DOT error的話請參照錯誤提示的解決辦法,然后點(diǎn)擊OWLViz標(biāo)簽,選擇Show all classes,就可以看到關(guān)系圖。

          步驟12 保存項目。點(diǎn)擊這里下載這個項目下載這個項目。解壓后用菜單中的File–>Open Project–>解壓路經(jīng)中的Animal.ppjr即可。

          posted @ 2006-07-04 19:25 水甲鳥 閱讀(1253) | 評論 (4)編輯 收藏


          僅列出標(biāo)題  

          posts - 3, comments - 17, trackbacks - 0, articles - 0

          Copyright © 水甲鳥

          主站蜘蛛池模板: 宜阳县| 贵德县| 南平市| 靖西县| 二连浩特市| 桂林市| 皮山县| 天台县| 新乡县| 噶尔县| 安图县| 龙陵县| 大名县| 高陵县| 阿坝县| 民乐县| 铜梁县| 定边县| 紫金县| 泰州市| 临江市| 勐海县| 南岸区| 芜湖市| 安国市| 原阳县| 曲周县| 武鸣县| 文水县| 禹州市| 永寿县| 蒙城县| 重庆市| 博爱县| 绥江县| 疏勒县| 苗栗县| 武川县| 东乌珠穆沁旗| 商水县| 全州县|