關於Class的介紹相信不用贅述,關注本體的人應該都會知道這個東西是神馬,只是它的界定,貌似還是個問題,因此就不對這一部分多說了,因爲我很自信自己也沒有對它有太深刻的理解~。
今天讀的這一部分纔是真心累死了N多的腦細胞——Property。
關係的設定是很需要技巧的,當然這也離不開紮實的基本功。必須要有足夠的知識才能在已有的Class之間設定Property。否則,一個不小心,就會出現問題。也許在編輯這個本體的時候這沒有什麼問題,但是到了後來的Reasoning的時候問題就會暴露出來,那時再解決這些事情,可能已經來不及了。所以還是現在多思考吧!
2.1.InverseProperty
關於Property實在沒有什麼可寫,唯一需要強調的就是,必須遵循事實,同時還是注意關係之間Necessary and Sufficiency 當然,這些都還是後話,只是,這裏需要留意一下。
關於InverseProperty,需要注意的是如果我們有一個關於披薩餅(Pizza)和披薩餅襯底(PizzaBase)的Property(hasBase),那麼我們最好(Recommended)是爲其設定一個Inverse Property(isBaseOf),這樣我們就能描述披薩餅襯底(PizzaBase)和披薩餅(Pizza)之間的關係了。
【注意】手動設定這些關係是爲了讓Reasoner可以實現推理,而實際上這樣設定也是合理的,因爲這就是事實,我們無可否認的事實。
2.2.OWLObject Property Characteristics
如果你也對這份材料感興趣,那麼看到這個標題你就會知道我現在要說的是Page30的4.6部分。這一部分主要是介紹了Property的Characteristic,在本體中每個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視爲一個函數的話,那麼Domain和Range就像是這個函數的定義域和值域。
這似乎是給Property增加了限定,那麼在後面的推理過程中也就應該有更好的表現了。然而事實卻並非如此,這份資料並不推薦(notrecommended)爲Property設定Domain和Range,當然它只是說不推薦,這是在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.甚至於,可能會因爲設定了Domain和Range之後,存在不完備的Properties,使得Reasoner推理出unexpected result。