2.學習本體-Property

關於Class的介紹相信不用贅述,關注本體的人應該都會知道這個東西是神馬,只是它的界定,貌似還是個問題,因此就不對這一部分多說了,因爲我很自信自己也沒有對它有太深刻的理解~。

今天讀的這一部分纔是真心累死了N多的腦細胞——Property

關係的設定是很需要技巧的,當然這也離不開紮實的基本功。必須要有足夠的知識才能在已有的Class之間設定Property。否則,一個不小心,就會出現問題。也許在編輯這個本體的時候這沒有什麼問題,但是到了後來的Reasoning的時候問題就會暴露出來,那時再解決這些事情,可能已經來不及了。所以還是現在多思考吧!

2.1.InverseProperty

關於Property實在沒有什麼可寫,唯一需要強調的就是,必須遵循事實,同時還是注意關係之間Necessary and Sufficiency 當然,這些都還是後話,只是,這裏需要留意一下。

關於InverseProperty,需要注意的是如果我們有一個關於披薩餅(Pizza)和披薩餅襯底(PizzaBase)的PropertyhasBase),那麼我們最好(Recommended)是爲其設定一個Inverse PropertyisBaseOf),這樣我們就能描述披薩餅襯底(PizzaBase)和披薩餅(Pizza)之間的關係了。

【注意】手動設定這些關係是爲了讓Reasoner可以實現推理,而實際上這樣設定也是合理的,因爲這就是事實,我們無可否認的事實。

2.2.OWLObject Property Characteristics

如果你也對這份材料感興趣,那麼看到這個標題你就會知道我現在要說的是Page304.6部分。這一部分主要是介紹了PropertyCharacteristic,在本體中每個Property都有一定的Characteristic,他們可以列表如下(原創):



1

Functional

It means that this property is a binary relationship, and at the same time, only one individual can be related to the given one.

2

Inverse Functional

Same to the upper.

3

Transitive

This property can be described as bellow:

4

Symmetric

This property can be described as bellow:

5

Asymmetric

This property can be described as bellow:

6

Reflexive

An individual can relate to itself via this kind of properties.

7

Irreflexive

The opposite to the upper.



從上面的這個表格可以看出,設計本體內部的Property是有一套很嚴格的要求的,這也是本體之所以能夠正確推理的前提所在。

2.3.PropertyDomains and Ranges

這一部分(材料Page34,ch4.7)主要介紹如何爲特定的Property設定其作用範圍。假如將Property視爲一個函數的話,那麼DomainRange就像是這個函數的定義域和值域

    這似乎是給Property增加了限定,那麼在後面的推理過程中也就應該有更好的表現了。然而事實卻並非如此,這份資料並不推薦(notrecommended)爲Property設定DomainRange,當然它只是說不推薦,這是在Recommended的基礎上說的。因爲Itis important to realize that in OWL domains and ranges should not be viewed asconstraints to be checked. They are used as ‘axioms’ in reasoning.甚至於,可能會因爲設定了DomainRange之後,存在不完備的Properties,使得Reasoner推理出unexpected result
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章