給類添加限制可以通過subClassOf 和equivalent to。兩者的區別在於前者是必要條件，後者是充要條件。有充要條件的類爲defined類，推理機會將類規定其下。只要必要條件的類爲primitive類，推理機不能確定其子類。
Some限制和only限制。Only限制在屬性不存在時也認爲是符合的，因此some和only合在一起作爲閉合公理可以使得值域封閉。
同級Class要設置爲disjoint，否則根據開放世界假設，它們是可以重合的。
有些tab下的功能幫助快速建立類分類體系，或者建立disjoint關係，這些技巧用多了就熟悉了。