OWL本體的重要組成部分
- Individuals：個體，代表一個領域里面的對象。可以理解成一個類的實例（instances of classes）。
- Properties：屬性，是兩個個體之間的雙重聯系，它有三個重要的特性（functional、transitive、symmetric）。
- Classes：個體的集合，是一系列概念的語義表達，和編程語言中的類相似，有繼承體系。
- Class Axiom：類的公理，在驗證一致性和推理中發揮作用。
- Class Expression：類的表達，有並、交、補、匿名類等。
Properties:
代表一種關系relationship。
- ObjectProperties，代表了individual之間的一種關系；
- Data Properties，代表了individual和基本數據類型的關系，就像類的屬性;
- AnnotationProperties，屬於元數據，數據的數據，可以用來解釋Classes、Individual、Object / Data Properties。
Properties特性:
- 反（逆）關系：inverse，如小張是老張的兒子，那么反關系中老張是小張的父親。
- 函數關系:functional，如小張最好的朋友是李四，小張最好的朋友是小豆子，那么李四和小豆子等同。
- 對等（對稱）關系：symmetric，指的是properties的對等性，是2個individual和1個properties，如老李與老張是鄰居，與上面的inverse是2個individual和2個properties，小張是老張的兒子，老張是小張的父親。
- 傳遞性：transitive。
- 非對稱關系：asymmetric，如反關系中的，小張是老張的兒子，不可能用對稱關系說老張是小張的兒子。
- 自反性：reflexive，即將一個properties指向自身，如小張知道小李，小張知道自己。
- 非自反性：irreflexive，如“是兒子”就非自反，自己不會是自己的兒子。
Properties的domain與rangeµ
domain、range和properties特性不一樣，特性是一種推理機制要用來約束（Constaint）的，約束即是限制，可以用推理機制來驗證，限制出問題就會推理出錯。而domain、range是一種公理（axiom），公理總是對的，推理要基於它們。
Data Properties:
- Equivalent to (another property): 兩個屬性表示的意思相同
- SubProperty of : 另外一個屬性的子屬性
- Domains (class): 主語，為一個類添加該屬性
- Ranges : 類型
- Disjoint With : 兩個屬性沒有交集,應該是指同一個類不能同時擁有這兩個屬性的意思.
定義類
總共有三類定義類的表達，一個是命名類(Named Class)，一個是對很多命名類的兩次集合運算而雜糅出新的類，再有就是限制性的類，也就是匿名類(Restriction Class)，用動賓形式表達。
- 命名類：是最常用的，沒有任何語義，僅僅是ID號，一個標示；
- 匿名類：沒有一個命名，沒有一個標志，會在每個命名類的父類聲明(涉及到一個建模原則：把一個類的各個特征抽象出來，將每個特征轉化為動賓結構，再將其表達為一個匿名類，一個類有多少個特征，它就有多少個父類)。
類公理
- SubClassOf：表示類與類的層次關系，上下所屬關系，能將所有的類與類之間的關系完整推理出來。
- EquivalentClasses：表示了類與類之間的等價關系。
- DisjointClasses：限制作用，將類與類從一個概念上完全隔離。