protege中本體的建模：
空的本體包含一個類稱爲Thing。
OWL類翻譯爲一系列個體，或一系列對象。
Thing類代表所有個體的集合。
Individuals 即爲，領域中我們關注的對象
個體可以看作：實例，類的實例。
Proegte中OWL沒有使用UNA(唯一命名規範)
這意味着，兩個不同的名稱可能指向同一個Individual。
Properties
是individuals之間的二元關係
Classes
包含individuals的集合
類可以用來分類（taxonomy），OWL中超類子類之間的關係能夠被推理機自動判定。
每個本體都使用一個URI來定義
Inverse Properties(反向關係)
Functional Properties
hasBirthMother可以當做一個函數來看待
Inverse Functional Properties
Transitive[傳遞] Properties
Symmetric[對稱] Properties
Antisymmetric[反對稱] Properties
Reflexive[反身、自反] Properties
Irreflexive[反自反] Properties
Property Domains and Ranges
