Semantik İlişki

From Systems analysis Wiki
Jump to navigation Jump to search

Semantik ilişki — bilgi grafiğinin varlıkları arasındaki biçimselleştirilmiş bağıntı; sonlu bir yüklem çekirdeğine normalize edilir: alt tür (is‑a), örnek (instance‑of), parça–bütün (part‑of), koleksiyon üyesi, yerelleştirme/komşuluk, önce/sonra, katılım/rol, özellik/değer, nedensellik, özdeşlik/farklılık, sahiplik, karşıtlık. Bu sayfa kanonik ifadeleri ve eş anlamlıları, mantıksal özellikleri ve standartlarla (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org) uygunlukları belgelemektedir.

Semantik İlişkilerin Temel Çekirdeği: Normalleştirme ve Eş Anlamlılar Sözlüğü

Formalizm (basitleştirilmiş) Temel ilişki (kanonik terim) Çekirdeğe normalleştirme Doğal fiil, ifade (eş anlamlılar) Kategori Tür (anlamsal katman / kullanım biçimi) Temel özellik
subclass-of / superclass-of Alt tür (cins–tür) türüdür / alt türü vardır
  • türüdür (cins–tür)
  • budur (cins–tür)
  • alt tür
  • tür
  • tip
 Taksonomi Ontolojik (çekirdek) geçişli; sınıf aksiyomlarının/kısıtlamalarının mirası (özellik değerlerinin değil)
instance-of / has-instance Örnek örneğidir / örneği vardır
  • örneğidir (örnek)
  • budur (örnek)
  • sınıfa aittir
  • sınıfa dahildir
  • temsilci
  • örnek
 Taksonomi Ontolojik (çekirdek) birey → sınıf; geçişli değil
part-of / has-part Parça–bütün (meronomi) parçasıdır / kapsar
  • oluşur
  • kapsar
  • bünyesinde barındırır
  • parça olarak içerir
  • bileşenlerinden oluşur
  • bileşenlerle donatılmıştır
 Meronomi Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) bileşen meronomisi için geçişli; member-of ile karıştırılmamalı; özellik değerlerinin mirası yok; geçişlilik "üye–koleksiyon", "madde–nesne", "porsiyon–kütle" türleri için geçerli değil; subclass-of ile karıştırılmamalı (cins–tür)
derived-from / gives-rise-to Köken/türetme kaynaklanır / doğurur
  • elde edilmiştir
  • oluşturulmuştur
  • kaynaklanır
  • türetilmiştir
 Köken Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) yönlü; simetrik değil; zincirlere izin verir
has-property / property-of Özellik/nitelik özelliğe sahiptir / özelliği olan
  • özelliğe sahiptir
  • değere sahiptir
  • niteliğe sahiptir
  • ile karakterize edilir
  • parametreye sahiptir
 Nitelik Ontolojik (çekirdek) yönlü; simetrik değil; geçişli değil; nitelikler için — has_quality/characteristic_of örüntüsü
located-in / contains Yerelleştirme (iç içelik) içindedir / içerir (mekân olarak)
  • içindedir
  • konumlanmıştır
  • dahilinde
  • bölge sınırları içinde
  • toprakları üzerinde
 Uzay Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) yönlü; yalnızca tek bir uzamsal modelde bölgeler iç içe geçtiğinde geçişli; diğer yorumlarda geçişlilik varsayılmaz
before / after Kronoloji önce gelir / sonra gelir
  • daha erken
  • önce
  • öncesinde yer alır
  • daha sonra
  • sonra
  • ardından
 Zaman Ontolojik (çekirdek) geçişli; asimetrik; anti-refleksif (katı kısmi sıralama)
precondition-of / postcondition-of Olay/eylemin koşulu/sonucu ön koşuludur / son koşuludur
  • yerine getirme koşulu
  • ön koşul
  • için gereklidir
  • için zorunludur
  • sonuç
  • etki
  • sonuç/yansıma
 Olaylar Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) yönlü; simetrik değil; genellikle asiklik; bağlamsal
participates-in / has-participant Olaya katılım katılır / katılımcısı vardır
  • katılır
  • dahil edilmiştir
  • içinde yer alır
  • katılım sağlar
 Olaylar Ontolojik (çekirdek) yönlü; simetrik değil; geçişli değil
has-role / role-of Rol (tematik) rolünü üstlenir / rolü olan
  • rolünü üstlenir
  • rol olarak hareket eder
  • olarak işlev görür
  • sıfatıyla hizmet eder
  • ajan olarak işlev görür
  • hasta olarak işlev görür
  • araç olarak işlev görür
 Roller Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) yönlü; simetrik değil; olay/süreçte gerçekleşir
member-of / has-member Koleksiyon üyesi üyesidir / üyeleri vardır
  • gruba aittir
  • takımda yer alır
  • koleksiyon üyesi
  • gruba dahildir
  • kümenin elemanı
 Koleksiyonlar/üyelik (meronomi değil) Ontolojik (çekirdek) yönlü; simetrik değil; geçişlilik yok; part-of ile karıştırılmamalı (bileşenler)
causes / caused-by Nedensellik neden olur / nedeni olan
  • yol açar
  • neden olur
  • sonuçlanır
  • koşullar
  • götürür
  • nedenidir
 Neden-sonuç Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) yönlü; asimetrik; etki alanı zamanı çerçevesinde asiklik; zayıf etki için prov:wasInfluencedBy kullanınız
owns / owned-by (belongs-to) Sahiplik/aitlik sahiptir / aittir
  • sahiptir
  • sahibidir
  • mülkiyetindedir
  • bilançosundadır
  • aittir
 Aitlik Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) yönlü; simetrik değil; geçişli değil; yasal sahiplik ile fiili elinde bulundurma arasındaki farkı gözetmek (located-in ile karıştırmamak)
same-as / same-as (simetrik) Özdeşlik (denklik) özdeştir / özdeştir
  • özdeştir
  • aynıdır
  • eşdeğerdir
  • ile aynı şeydir
  • ile örtüşür
 Denklik Ontolojik (çekirdek; dikkatli kullanılmalı) refleksif; simetrik; geçişli
different-from / different-from (simetrik) Farklılık/uyumsuzluk farklıdır / farklıdır
  • özdeş değildir
  • farklıdır
  • ile uyumsuzdur
  • örtüşmez
 Farklılık Ontolojik (çekirdek) simetrik; anti-refleksif
adjacent-to / adjacent-to (simetrik) Komşuluk (topoloji) komşudur / komşudur
  • sınır komşusudur
  • bitişiktir
  • yanındadır
  • temas halindedir
 Topoloji Ontolojik (çekirdek) simetrik; anti-refleksif; geçişlilik yok
opposite-of / opposite-of (simetrik) Karşıtlık (antonimi) karşıtıdır / karşıtıdır
  • karşıtıdır
  • antonimidir
  • nitelik bakımından tersidir
  • kontreridir
  • karşıt konumdadır
 Leksiko-semantik Leksikal/tezaurus (aksiyomatize edilmemeli) leksiko‑semantik ilişki; simetrik; ontolojik aksiyom olarak kullanılmamalı; niteliksel ölçekler ve sınıf ayrıklığı üzerinden modellenmesi tercih edilir

Tür Açıklaması:

  • Ontolojik (çekirdek) — özel açıklamalar olmaksızın OWL'de aksiyomatizasyona izin verir;
  • Ontolojik (bağlamsal; etki alanı açıklamaları gerektirir) — yorumlama ve çıkarımlar etki alanına/modele bağlıdır;
  • Leksikal/tezaurus (aksiyomatize edilmemeli) — yalnızca sözlük/KOS için, mantıksal çıkarım amacıyla kullanılmamalı.

Temel Semantik İlişkilerin Ontoloji Standartlarıyla Uygunluğu

Temel ilişki (çekirdek) Temel ilişki (kanonik terim) RDF/RDFS/Dublin Core SKOS OWL / OWL‑Time / GeoSPARQL OBO RO / BFO (varsa) Schema.org / diğer Notlar
subclass-of Alt tür (cins–tür) rdfs:subClassOf skos:broader / skos:narrower — (OWL'de rdfs:subClassOf kullanılır) — — Sınıf hiyerarşisi; geçişli; aksiyomların/kısıtlamaların mirası (değerlerin değil). SKOS'ta — tezaurus hiyerarşisi (varsayılan olarak geçişli değil; skos:broaderTransitive / skos:narrowerTransitive mevcuttur). Sınıf denkliği ayrıca belirtilir: owl:equivalentClass.
instance-of Örnek rdf:type — owl:Class / owl:NamedIndividual — schema:additionalType "Birey → sınıf" tipleme (geçişli değil). Çoklu tiplemeye izin verilir. subclass-of (sınıf → sınıf) ile karıştırılmamalı.
part-of / has-part Parça–bütün (meronomi) dcterms:isPartOf / dcterms:hasPart — özel owl:ObjectProperty (genellikle owl:TransitiveProperty olarak tanımlanır) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Yapısal/bileşen meronomisi; bileşen "part_of" için geçişli. Üyelikle (member-of) karıştırılmamalı.
member-of / has-member Koleksiyon üyesi rdfs:member skos:member / skos:memberList — ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member tarihsel olarak RDF konteynerleri içindir; numaralı konteyner özelliklerinin üst özelliği rdf:_1, rdf:_2, …; gruplar/kuruluşlar için schema.org veya W3C ORG tercih edilir. Geçişli değil. component‑whole'dan farklıdır.
located-in / contains Yerelleştirme (iç içelik) dcterms:spatial — geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location Kesin geometri için — GeoSPARQL (DE‑9IM; bölge iç içeliği). GeoSPARQL'de geçişlilik owl:TransitiveProperty olarak anotasyonlu değildir; bölge hiyerarşileri için model varsayımı olarak kabul edilebilir. dcterms:spatial — "esnek" referansal bağlantı. RO'da ro:located_in geçişli olarak tanımlanmıştır; uygulama düzeyinde geçişliliğin modelinizde geçerli olması için alan/yerelleştirme türünü (idari, anatomik vb.) belirtiniz.
adjacent-to / overlaps Komşuluk / kesişme (topoloji) — (gerekirse) skos:related geosparql:sfTouches / geosparql:sfOverlaps — — Farklı ilişkiler (touches ≠ overlaps); ikisi de simetriktir; geçişlilik yok. DE‑9IM terimleriyle: touches — sınırlar temas halindedir; overlaps — iç kısımların boş olmayan kesişimiyle çakışma.
before / after Zamansal sıralama (önce/sonra) — — time:before / time:after ; ayrıca time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by — Katı kısmi sıralama olarak modellenir. OWL‑Time'da geçişlilik açıkça tanımlanmıştır; asimetri/anti-refleksiflik gerektiğinde proje ontolojisi aksiyomlarıyla belirtilir.
participates-in / has-participant Olaya katılım — — — ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Katılım ≠ rol; roller için — has‑role'a bakınız.
has-role / role-of Rol (tematik roller) — — özel owl:ObjectProperty ro:has_role / ro:role_of ; bfo:Role prov:hadRole (prov:qualifiedAssociation içinde) ; schema:Role (sınıf), schema:roleName Roller olaylar/süreçlerde gerçekleşir; tiplemeyle (instance-of) karıştırılmamalı.
has-property / has-value Özellik / değer rdf:value (genel değer bağlama) — owl:DatatypeProperty / owl:ObjectProperty (özellik türleri) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue Nitelikler için RO örüntüsü uygundur (quality/characteristic of). owl:hasValue — kısıtlamalarda bir yapıcı (sıradan bir özellik değil).
causes Nedensellik — — — ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Yönlü nedensel ilişki; genellikle asiklik. Zamansal bağlamı ve tanım alanını belirtiniz.
same-as Özdeşlik (denklik) — skos:exactMatch / skos:closeMatch owl:sameAs ; sınıflar/özellikler için: owl:equivalentClass / owl:equivalentProperty — schema:sameAs Dikkatli kullanınız. skos:exactMatch/closeMatch — yalnızca SKOS kavramları için, ağırlıklı olarak farklı şemalar arasında (eşleme özellikleri); eşleme özelliklerinden yalnızca skos:exactMatch geçişlidir (ikisi de simetriktir); owl:sameAs ile karıştırılmamalı (kaynak özdeşliği).
different-from Farklılık / uyumsuzluk — — owl:differentFrom ; owl:AllDifferent ; sınıflar için: owl:disjointWith ; ayrıca owl:AllDisjointClasses / owl:AllDisjointProperties — — Bireylerin açık ayrımı ve sınıfların/özelliklerin örtüşmezliği (kümeler için — AllDisjoint).
owns / owned-by (belongs-to) Sahiplik / aitlik — — özel owl:ObjectProperty — schema:owns ; schema:OwnershipInfo Alan/aralık ve kardinalitelerin tanımlanması önerilir; yasal sahiplik ile fiili elinde bulundurma arasındaki farkı gözetmek (located‑in ile karıştırmamak).
opposite-of Karşıtlık (antonimi) — — — — (sözcüksel) lexinfo:antonym ; WordNet antonym Leksikal ilişki; ontolojik aksiyom olarak kullanılmamalı. KOS'ta katı bir özellik yoksa skos:related kullanılabilir.
derived-from / gives-rise-to Köken / türetme — — — (biyoloji ontolojilerinde gerekirse) ro:develops_from PROV‑O: prov:wasDerivedFrom Yönlü türetme; zincirlere izin verir. Meronimiden (part‑of) ve özdeşlikten (same‑as) ayrılmalıdır.
precondition-of / postcondition-of Olay/eylemin ön/son koşulu — — — — OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (tarihsel olarak: process:hasEffect) Süreç ontolojileri için kullanılmalıdır. Alternatif modellerde — nedensellik/zaman üzerinden (bfo:precedes, time:before) veya PROV örüntüleri (prov:used, prov:wasGeneratedBy) — bağlama göre.
related-to Çağrışımsal ilişki (KOS) — skos:related — — — Simetrik; geçişlilik yok. Yalnızca tezaurus/KOS'ta kullanılmalı; zayıf anlambilim — mantıksal çıkarım için uygun değil.

Temel Ontolojiler ve Sözcükler

  • RDF ve RDFS (W3C) — RDF: özne–yüklem–nesne üçlüleri üzerine kurulu bilgi grafiği için soyut model; RDFS: sınıfları/özellikleri ve hiyerarşileri tanımlamak için asgari sözcük (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) — DL mantığında otomatik çıkarıma yönelik ontolojilerin biçimsel olarak tanımlanması için bilgi temsil dili (sınıflar, aksiyomlar, özellik türleri ve inversleri, denklik/ayrıklık).
  • SKOS (W3C) — RDF/RDFS üzerinde tezaurus, sınıflandırma ve kontrollü sözcüklerin temsili için model (broader/narrower/related, koleksiyonlar, tezauruslar arası eşleşmeler); sınıf mirası tanımlamaz.
  • OWL‑Time (W3C) — OWL 2 DL'de zaman ontolojisi: anlar, aralıklar, topolojik ilişkiler (before/after), süreler ve takvim-zamansal konumlar.
  • GeoSPARQL (OGC) — Jeosemantik için OGC standardı: küçük bir OWL "uzamsal varlıklar/geometriler" ontolojisi, topolojik ilişkiler sözlüğü (within/contains, touches/overlaps vb.) ve coğrafi sorgular için SPARQL uzantıları.
  • BFO ve RO (OBO) — BFO: etki alanı ontolojilerini uyumlu kılmak için üst düzey ontoloji (continuant/occurrent vb.); RO (Relations Ontology): etki alanları arası ilişkisel yüklemler kümesi (part_of/has_part, participates_in, nedensel vb.).
  • PROV‑O (W3C) — PROV‑DM modelini uygulayan OWL veri kökeni ontolojisi: provenance bilgisinin paylaşımı ve analizi için varlıklar, etkinlikler, ajanlar ve bunlar arasındaki ilişkiler.
  • Schema.org — Sayfalardaki yapılandırılmış verilerin işaretlenmesi için uygulamalı web sözcüğü (JSON‑LD/RDFa/Microdata); açık web'de tür ve özellikleri birleştirmek amacıyla arama motorlarının (2011) girişimi.

Temel Ontolojiler ve Sözcükler: Resmi Bağlantılar

Ad Kuruluş / durum Resmi belgeleme
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) Belirtim sayfası
RDF 1.2 Schema (RDFS) W3C Working Draft (2025; teknik değişiklik olmaksızın 2014 sürümünün revizyonu) Belirtim sayfası
DCMI Metadata Terms (Dublin Core Terms) DCMI Specification (2020) Belirtim sayfası
OWL 2 Web Ontology Language W3C Recommendation (2012, 2nd Ed.) OWL 2 belirtimlerine genel bakış/yol haritası
SKOS Reference W3C Recommendation (2009) Belirtim sayfası
Time Ontology in OWL (OWL‑Time) W3C Candidate Recommendation Draft (2022) Belirtim sayfası
GeoSPARQL 1.1 OGC Implementation Standard OGC standart sayfası · Standart belgesi (OGC 22‑047r1)
Basic Formal Ontology (BFO) OBO Foundry (üst ontoloji) Resmi kart/belgeleme
OBO Relations Ontology (RO) OBO Foundry (ilişkiler) Resmi kart/belgeleme
PROV‑O: The PROV Ontology W3C Recommendation (2013) Belirtim sayfası
The Organization Ontology (ORG) W3C Recommendation (2014) Belirtim sayfası
Schema.org (documentation) Projenin resmi belgelemesi Şemalar ve belgeleme
LexInfo (leksiko‑semantik ontoloji) Resmi site/ontoloji Resmi site · OWL 3.0
Retrieved from "https://systems-analysis.info/int/index.php?title=Semantik_İlişki&oldid=6682"