• Asserted Hierarchy {tr: Bildirilen Hiyerarşi}
• Inferred Hierarchy : Hierarchies created by "Reasoners" {tr: Çıkarsanmış Hiyerarşi}
• Necessary Condition (Primitive Class)
  • Sample:
    • Cheesy Pizza hasTopping CheeseTopping.
    • {tr: "Peynirli Pizza" sınıfındaki tüm pizzalarda peynir malzemesi olması gerekir.}
    • {tr: Bu ortaya konabiliyorsa, önceki önerme "Gereklilik Koşulu"dur.}
• SubClassOf
• Necessary & Sufficient Condition (Defined Class)
  • Sample:
    • Cheesy Pizza hasTopping CheeseTopping.
    • {tr: "Peynirli Pizza" sınıfındaki tüm pizzalarda peynir malzemesi olması gerekir.}
    • {tr: "PeynirMalzemesi" gereklilik koşulunu sağlayan tüm pizzalar, peynirli pizzadır.}
    • {tr: Bu iki önerme ortaya konabiliyorsa, önceki önerme, gerekli ve yeterli olma koşulu'dur. (Necessary & Sufficient Condition)}
• Universal Restriction: ∀ (All Values From), "only"
  • Sample:
    • All VegeterianPizza hasTopping only (CheeseTopping or VegetableTopping).
    • {tr: Bütün VejeteryanPizza(larda), vardır, sadece (PeynirMalzemesi veya SebzeMalzemesi).}
      • {tr: Gerekli ve yeterli koşul olduğu için "Tanımlanmış Sınıf"a (Defined Class) dönüştürülebilir.}
• OWA/Open World Assumption : The fact that a class has not been defined does not mean that the class does not exist. {tr: Bir sınıfın tanımının yapılmamış olması, o sınıfın var olmadığı anlamına gelmez.}
• Closure Axiom : {tr: Kapatan Önerme} {TR} 1) İçinde sadece (peynir veya sebze malzemesi) olan tüm pizzalar, vejeteryan pizzadır. 2) Margerita Pizza, şu içeriğe sahiptir; bazı peynir malzemesi

1+2) Önermelerini dikkate alınarak çalışacak olan "Reasoner"lar, Margerita Pizza'yı vejeteryan pizza olarak tanımlamayacaklar. Nedeni, Margerita Pizza'da bazı peynir malzemesi olduğunu biliyoruz, ancak et ürünü olup olmadığını bilmiyoruz.

Alternatif 2) Margerita Pizza, şu içeriğe sahiptir; sadece peynir malzemesi.

1+Alternatif 2) Bu durumda, Margerita Pizza, VejeteryanPizza olarak Reasoner'lar tarafından tanımlanabilir.

• Range (Intersection) : {TR} Hedef Alan

Pizza hasBase PizzaBase.

{TR} Hedef Alan, pizza tabanıdır. (Pizza Base)

Eğer bu alanda birden fazla sınıf varsa, bu sınıfların kesişimine hedef alan denir.

VegetarianPizza hasTopping only (CheeseTopping or VegetableTopping).

Domain : Öznel Alan

Pizza hasBase PizzaBase.

Note: Domain and Range do not act as constraint. {TR} Not: Öznel Alan ve Hedef Alan , kısıtlama olarak davranmaz.

Property Restriction : {TR} Özellik/İlişki Kısıtlamaları

1) Quantifier : {TR} Nicelik 1-a) Existential (∃) / "SomeValuesFrom" : {TR} Kısmi 1-b) Universal (∀) / "AllValuesFrom" : {TR} Bütünsel 2) Cardinality : {TR} Önemlilik 3) hasValue : {TR} Öznitelik

MargeritaPizza hasTopping some (∃) TomatoTopping. MargeritaPizza hasTopping some (∃) MozarellaTopping.

{TR} En az 1 Mozarella ve en az 1 domates malzemesi olan pizza Margerita Pizzadır. Buradaki kısıtlama (1a) kısmi-nicelikseldir. (quantifier-existential)