Relation Types

DISJOINT: {TR} Ayrık Eleman

Pizza is disjoint with PizzaTopping and PizzaBase. {TR} Pizza tabanı, pizza olamaz. Pizza malzemesi, pizza olamaz.

SIBLING: {TR} Kardeş (eş düzeyde / eküri) eleman

SeepPanBase and ThinCrispyBase are siblings. {TR} Kalın hamur ve ince hamur eş düzeyde elemanlardır. Kalın hamur ve ince hamur, pizza tabanının alt-sınıfıdır. (SubClassOf)

OBJECT PROPERTY: {TR} İlişki

Pizza hasIngredient Base. {TR} Pizza şu içeriğe sahiptir: Pizza Tabanı.

INVERSE PROPERTY: {TR} Tersinir İlişki (Tersi de geçerli olan)

Base isIngredientOf Pizza. Pizza hasIngredient Base.

FUNCTIONAL PROPERTY (Single Valued Properties): {TR} Tek nesne ile kurulabilen ilişki

{TR} Osman şuAnneyeSahiptir: Ayşe. Osman şuAnneyeSahiptir: Fatma. "şuAnnayeSahiptir" ilişkisi fonksiyonel ise Ayşe ve Fatma aynı kişidir.

INVERSE FUNCTIONAL PROPERTY: {TR}

Ayşe, şuKişininAnnesidir: Osman. Fatma, şuKişininAnnesidir: Osman. "şuKişininAnnesidir" ilişkisi, "şuAnnyeSahiptir" ilişkisinin ters fonksiyonu ise, yine Ayşe ve Fatma'nın aynı kişi olduğu söylenir.

TRANSITIVE PROPERTY : {TR} Kalıtımsal İlişki

Mathew hasAncestor Peter. Peter hasAncestor William.

If "hasAncestor" transitive property, then it can be said that "Mathew hasAncestor William."

If property is transitive, then inverse property should alsobe transitive. For exp: 1) Peter isDescendantOf Mathew. 2) William isDescendantOf Peter. 1+2) William isDescendantOf Mathew. {TR} Eğer ilişki kalıtımsal ise, ters ilişki de kalıtımsaldır.

If property is transitive, then it can not be functional. {TR} Eğer ilişki kalıtımsal ise, fonksiyonel olamaz.

SYMMETRIC PROPERTY: {TR} Simetrik İlişki

Mathew hasSibling Gemma. If "hasSibling" symmetric property, then it can be said that "Gemma hasSibling Mathew."

ASYMMETRIC PROPERTY: {TR} Asimetrik İlişki

{TR} Robert şuKişininÇocuğudur: David. "şuKişininÇocuğudur" asimetrik ilişki ise, "David şuKişininÇocuğudur: Robert." yanlış önerme olur.

REFLEXIVE PROPERTY: {TR} Refleksif (Yansıyan) İlişki

George knows Simone. If "knows" property is reflexive, then it can be said that: - George knows George. - Simone knows Simone.

IRREFLEXIVE PROPERTY: {TR} Refleksif olmayan (Yansımayan) ilişki

Alice isMotherOf Bob. If "isMotherOf" property is irreflexive, then it can be said that: - Alice isNOTMotherOf Alice. - Bob isNOTMotherOf Bob.