Hubungan Semantik

From Systems analysis Wiki
Jump to navigation Jump to search

Hubungan semantik — relasi formal antara entitas dalam graf pengetahuan, yang dinormalisasi ke inti predikat yang terbatas: subtipe (is‑a), instansi (instance‑of), bagian–keseluruhan (part‑of), anggota koleksi, lokalisasi/ketetanggaan, sebelum/sesudah, partisipasi/peran, properti/nilai, kausalitas, identitas/perbedaan, kepemilikan, kebalikan. Halaman ini menetapkan formulasi kanonik dan sinonim, properti logis, serta korespondensi terhadap standar (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).

Inti dasar hubungan semantik: normalisasi dan kamus sinonim

Formalisme (disederhanakan) Relasi dasar (kata kanonik) Normalisasi ke inti Kata kerja alami, frasa (sinonim) Kategori Tipe (lapisan semantik / mode penggunaan) Properti utama
subclass-of / superclass-of Subtipe (genus–spesies) adalah jenis dari / memiliki subtipe
  • adalah (genus–spesies)
  • ini (genus–spesies)
  • subtipe
  • spesies
  • tipe
 Taksonomi Ontologis (inti) transitif; pewarisan aksioma/pembatasan kelas (bukan nilai properti)
instance-of / has-instance Instansi adalah instansi dari / memiliki instansi
  • adalah (instansi)
  • ini (instansi)
  • termasuk ke kelas
  • milik kelas
  • representasi
  • instansi
 Taksonomi Ontologis (inti) individu → kelas; tidak transitif
part-of / has-part Bagian–keseluruhan (meronimi) adalah bagian dari / mencakup
  • terdiri dari
  • mencakup
  • memiliki sebagai komponen
  • mengandung sebagai bagian
  • dirakit dari
  • dilengkapi dengan komponen
 Meronimi Ontologis (kontekstual; memerlukan catatan domain) transitif untuk meronimi komponen; jangan dikacaukan dengan member-of; tanpa pewarisan nilai properti; transitivitas tidak berlaku untuk tipe «anggota–koleksi», «material–objek», «porsi–massa»; jangan dikacaukan dengan subclass-of (genus–spesies)
derived-from / gives-rise-to Asal-usul/derivasi berasal dari / menghasilkan
  • diperoleh dari
  • dibentuk dari
  • berasal dari
  • diturunkan dari
 Asal-usul Ontologis (kontekstual; memerlukan catatan domain) terarah; tidak simetris; memungkinkan rantai
has-property / property-of Properti/atribut memiliki properti / properti pada
  • memiliki properti
  • memiliki nilai
  • memiliki ciri
  • dicirikan oleh
  • memiliki parameter
 Atribut Ontologis (inti) terarah; tidak simetris; tidak transitif; untuk kualitas — pola has_quality/characteristic_of
located-in / contains Lokalisasi (penyarangan) terletak di / mengandung (sebagai tempat)
  • terletak di
  • berlokasi di
  • di dalam
  • dalam batas wilayah
  • di wilayah
 Ruang Ontologis (kontekstual; memerlukan catatan domain) terarah; transitif hanya saat penyarangan wilayah dalam satu model ruang; dalam interpretasi lain transitivitas tidak diasumsikan
before / after Kronologi mendahului / mengikuti
  • lebih awal
  • sebelum
  • datang sebelum
  • lebih lambat
  • sesudah
  • kemudian
 Waktu Ontologis (inti) transitif; asimetris; irrefleksif (urutan parsial ketat)
precondition-of / postcondition-of Kondisi/hasil peristiwa/tindakan adalah prakondisi dari / adalah pascakondisi dari
  • kondisi pelaksanaan
  • prakondisi
  • diperlukan untuk
  • dibutuhkan untuk
  • hasil
  • efek
  • konsekuensi
 Peristiwa Ontologis (kontekstual; memerlukan catatan domain) terarah; tidak simetris; umumnya asiklis; kontekstual
participates-in / has-participant Partisipasi dalam peristiwa berpartisipasi dalam / memiliki peserta
  • berpartisipasi dalam
  • terlibat dalam
  • ikut serta dalam
  • mengambil bagian dalam
 Peristiwa Ontologis (inti) terarah; tidak simetris; tidak transitif
has-role / role-of Peran (tematik) menjalankan peran / peran pada
  • menjalankan peran
  • bertindak sebagai
  • berperan sebagai
  • berfungsi sebagai
  • adalah agen
  • adalah pasien
  • adalah instrumen
 Peran Ontologis (kontekstual; memerlukan catatan domain) terarah; tidak simetris; direalisasikan dalam peristiwa/proses
member-of / has-member Anggota koleksi adalah anggota dari / memiliki anggota
  • termasuk dalam kelompok
  • tergabung dalam tim
  • anggota koleksi
  • masuk dalam kelompok
  • elemen himpunan
 Koleksi/keanggotaan (bukan meronimi) Ontologis (inti) terarah; tidak simetris; tidak transitif; jangan dikacaukan dengan part-of (komponen)
causes / caused-by Kausalitas menyebabkan / disebabkan oleh
  • mengakibatkan
  • menyebabkan
  • menimbulkan
  • mengondisikan
  • mengarah ke
  • adalah penyebab dari
 Sebab-akibat Ontologis (kontekstual; memerlukan catatan domain) terarah; asimetris; asiklis dalam kerangka waktu domain; untuk pengaruh lemah gunakan prov:wasInfluencedBy
owns / owned-by (belongs-to) Kepemilikan/milik memiliki / dimiliki oleh
  • memiliki
  • adalah pemilik
  • berada dalam kepemilikan
  • tercatat dalam neraca
  • milik
 Kepemilikan Ontologis (kontekstual; memerlukan catatan domain) terarah; tidak simetris; tidak transitif; bedakan kepemilikan yuridis dan penguasaan faktual (jangan dicampuradukkan dengan located-in)
same-as / same-as (simm.) Identitas (ekuivalensi) identik dengan / identik dengan
  • identik
  • sama dengan
  • ekuivalen
  • hal yang sama dengan
  • bertepatan dengan
 Ekuivalensi Ontologis (inti; gunakan dengan hati-hati) refleksif; simetris; transitif
different-from / different-from (simm.) Perbedaan/ketidaksesuaian berbeda dari / berbeda dari
  • tidak identik
  • berbeda
  • tidak kompatibel dengan
  • tidak bertepatan
 Perbedaan Ontologis (inti) simetris; irrefleksif
adjacent-to / adjacent-to (simm.) Ketetanggaan (topologi) bersebelahan dengan / bersebelahan dengan
  • berbatasan dengan
  • berdampingan dengan
  • bertetangga dengan
  • bersinggungan dengan
 Topologi Ontologis (inti) simetris; irrefleksif; tidak transitif
opposite-of / opposite-of (simm.) Kebalikan (antonimi) berlawanan dengan / berlawanan dengan
  • berlawanan
  • antonim
  • kebalikan dalam kualitas
  • kontras
  • bertentangan dengan
 Leksiko-semantik Leksikal/tesaurus (jangan diaksiomasikan) hubungan leksiko‑semantik; simetris; jangan digunakan sebagai aksioma ontologis; sebaiknya dimodelkan melalui skala kualitas dan disjungsi kelas

Legenda tipe:

  • Ontologis (inti) — dapat diaksiomasikan dalam OWL tanpa catatan khusus;
  • Ontologis (kontekstual; memerlukan catatan domain) — interpretasi dan inferensi bergantung pada domain/model;
  • Leksikal/tesaurus (jangan diaksiomasikan) — hanya untuk leksikon/KOS, jangan digunakan untuk inferensi logis.

Korespondensi relasi semantik dasar terhadap standar ontologi

Relasi dasar (inti) Relasi dasar (kata kanonik) RDF/RDFS/Dublin Core SKOS OWL / OWL‑Time / GeoSPARQL OBO RO / BFO (jika ada) Schema.org / lainnya Catatan
subclass-of Subtipe (genus–spesies) rdfs:subClassOf skos:broader / skos:narrower — (dalam OWL digunakan rdfs:subClassOf) — — Hierarki kelas; transitif; pewarisan aksioma/pembatasan (bukan nilai). Dalam SKOS — hierarki tesaurus (secara default tidak transitif; tersedia skos:broaderTransitive / skos:narrowerTransitive). Ekuivalensi kelas dinyatakan secara terpisah: owl:equivalentClass.
instance-of Instansi rdf:type — owl:Class / owl:NamedIndividual — schema:additionalType Pengetikan «individu → kelas» (tidak transitif). Pengetikan jamak diperbolehkan. Jangan dikacaukan dengan subclass-of (kelas → kelas).
part-of / has-part Bagian–keseluruhan (meronimi) dcterms:isPartOf / dcterms:hasPart — owl:ObjectProperty kustom (sering dideklarasikan sebagai owl:TransitiveProperty) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Meronimi struktural/komponen; transitif untuk komponen «part_of». Jangan dikacaukan dengan keanggotaan (member-of).
member-of / has-member Anggota koleksi rdfs:member skos:member / skos:memberList — ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member secara historis untuk kontainer RDF; super-properti dari properti kontainer bernomor rdf:_1, rdf:_2, …; untuk kelompok/organisasi lebih disarankan schema.org atau W3C ORG. Tidak transitif. Berbeda dari component‑whole.
located-in / contains Lokalisasi (penyarangan) dcterms:spatial — geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location Untuk geometri ketat — GeoSPARQL (DE‑9IM; penyarangan wilayah). Dalam GeoSPARQL transitivitas tidak dianotasi sebagai owl:TransitiveProperty; dapat diterima sebagai asumsi model untuk hierarki wilayah. dcterms:spatial — referensi spasial «lunak». Dalam RO ro:located_in dideklarasikan transitif; pada level terapan, spesifikasikan domain/tipe lokalisasi (administratif, anatomis, dll.) agar transitivitas valid dalam model Anda.
adjacent-to / overlaps Ketetanggaan / persimpangan (topologi) — (bila diperlukan) skos:related geosparql:sfTouches / geosparql:sfOverlaps — — Relasi yang berbeda (touches ≠ overlaps); keduanya simetris; tidak transitif. Dalam istilah DE‑9IM: touches — bersinggungan pada batas; overlaps — perpotongan dengan irisan interior yang tidak kosong.
before / after Urutan waktu (sebelum/sesudah) — — time:before / time:after ; juga time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by — Dimodelkan sebagai urutan parsial ketat. Dalam OWL‑Time transitivitas dinyatakan secara eksplisit; asimetri/irrefleksivitas dinyatakan melalui aksioma ontologi proyek bila diperlukan.
participates-in / has-participant Partisipasi dalam peristiwa — — — ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Partisipasi ≠ peran; untuk peran — lihat has‑role.
has-role / role-of Peran (peran tematik) — — owl:ObjectProperty kustom ro:has_role / ro:role_of ; bfo:Role prov:hadRole (dalam prov:qualifiedAssociation) ; schema:Role (kelas), schema:roleName Peran direalisasikan dalam peristiwa/proses; jangan dikacaukan dengan pengetikan (instance-of).
has-property / has-value Properti / nilai rdf:value (keterikatan nilai umum) — owl:DatatypeProperty / owl:ObjectProperty (tipe properti) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue Untuk kualitas, pola RO (quality/characteristic of) lebih praktis. owl:hasValue — konstruktor dalam pembatasan (bukan properti biasa).
causes Kausalitas — — — ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Hubungan kausal terarah; umumnya asiklis. Spesifikasikan konteks waktu dan domain definisi.
same-as Identitas (ekuivalensi) — skos:exactMatch / skos:closeMatch owl:sameAs ; untuk kelas/properti: owl:equivalentClass / owl:equivalentProperty — schema:sameAs Gunakan dengan hati-hati. skos:exactMatch/closeMatch — hanya untuk konsep SKOS, terutama dari skema berbeda (properti pemetaan); dari properti pemetaan hanya skos:exactMatch yang transitif (keduanya simetris); jangan dikacaukan dengan owl:sameAs (identitas sumber daya).
different-from Perbedaan / ketidaksesuaian — — owl:differentFrom ; owl:AllDifferent ; untuk kelas: owl:disjointWith ; juga owl:AllDisjointClasses / owl:AllDisjointProperties — — Pembedaan eksplisit individu dan ketidaktumpangtindihan kelas/properti (pada himpunan — AllDisjoint).
owns / owned-by (belongs-to) Kepemilikan / milik — — owl:ObjectProperty kustom — schema:owns ; schema:OwnershipInfo Disarankan untuk menetapkan domain/range dan kardinalitas; bedakan kepemilikan yuridis dan penguasaan faktual (jangan dikacaukan dengan located‑in).
opposite-of Kebalikan (antonimi) — — — — (leksikon) lexinfo:antonym ; WordNet antonym Relasi leksikal; jangan digunakan sebagai aksioma ontologis. Dalam KOS bila tidak ada properti ketat, skos:related dapat diterima.
derived-from / gives-rise-to Asal-usul / derivasi — — — (bila diperlukan dalam ontologi bio) ro:develops_from PROV‑O: prov:wasDerivedFrom Derivasi terarah; memungkinkan rantai. Pisahkan dari meronimi (part‑of) dan dari identitas (same‑as).
precondition-of / postcondition-of Pra-/pascakondisi peristiwa/tindakan — — — — OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (historis: process:hasEffect) Gunakan untuk ontologi proses. Dalam model alternatif — melalui kausalitas/waktu (bfo:precedes, time:before) atau pola PROV (prov:used, prov:wasGeneratedBy) — sesuai konteks.
related-to Hubungan asosiatif (KOS) — skos:related — — — Simetris; tidak transitif. Gunakan hanya dalam tesaurus/KOS; semantik lemah — tidak untuk inferensi logis.

Ontologi dan kosakata utama

  • RDF dan RDFS (W3C) — RDF: model abstrak graf pengetahuan berbasis tripel subjek–predikat–objek; RDFS: kosakata minimal untuk mendefinisikan kelas/properti dan hierarki (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) — bahasa representasi pengetahuan untuk mendefinisikan ontologi secara formal (kelas, aksioma, tipe dan invers properti, ekuivalensi/disjungsi), dirancang untuk inferensi otomatis dalam logika DL.
  • SKOS (W3C) — model untuk merepresentasikan tesaurus, klasifikasi, dan kosakata terkontrol di atas RDF/RDFS (broader/narrower/related, koleksi, korespondensi lintas-tesaurus); tidak mendefinisikan pewarisan kelas.
  • OWL‑Time (W3C) — ontologi waktu dalam OWL 2 DL: momen, interval, relasi topologis (before/after), durasi, dan posisi kalender-waktu.
  • GeoSPARQL (OGC) — standar OGC untuk geosemantika: ontologi OWL kecil tentang «entitas/geometri spasial», kosakata relasi topologis (within/contains, touches/overlaps, dll.) dan ekstensi SPARQL untuk kueri geo.
  • BFO dan RO (OBO) — BFO: ontologi tingkat atas (continuant/occurrent, dll.) untuk penyelarasan ontologi domain; RO (Relations Ontology): himpunan predikat relasional lintas-domain (part_of/has_part, participates_in, kausal, dll.).
  • PROV‑O (W3C) — ontologi OWL untuk provenance data, mengimplementasikan model PROV‑DM: entitas, aktivitas, agen, dan hubungannya untuk pertukaran dan analisis informasi provenance.
  • Schema.org — kosakata web terapan untuk markup data terstruktur pada halaman web (JSON‑LD/RDFa/Microdata); inisiatif mesin pencari (2011) untuk menyatukan tipe dan properti di web terbuka.

Ontologi dan kosakata utama: tautan resmi

Nama Badan / status Dokumentasi resmi
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) Halaman spesifikasi
RDF 1.2 Schema (RDFS) W3C Working Draft (2025; revisi versi 2014 tanpa perubahan teknis) Halaman spesifikasi
DCMI Metadata Terms (Dublin Core Terms) DCMI Specification (2020) Halaman spesifikasi
OWL 2 Web Ontology Language W3C Recommendation (2012, 2nd Ed.) Ikhtisar/peta jalan spesifikasi OWL 2
SKOS Reference W3C Recommendation (2009) Halaman spesifikasi
Time Ontology in OWL (OWL‑Time) W3C Candidate Recommendation Draft (2022) Halaman spesifikasi
GeoSPARQL 1.1 OGC Implementation Standard Halaman standar OGC · Dokumen standar (OGC 22‑047r1)
Basic Formal Ontology (BFO) OBO Foundry (upper ontology) Kartu/dokumentasi resmi
OBO Relations Ontology (RO) OBO Foundry (relations) Kartu/dokumentasi resmi
PROV‑O: The PROV Ontology W3C Recommendation (2013) Halaman spesifikasi
The Organization Ontology (ORG) W3C Recommendation (2014) Halaman spesifikasi
Schema.org (documentation) Dokumentasi resmi proyek Skema dan dokumentasi
LexInfo (ontologi leksiko‑semantik) Situs resmi/ontologi Situs resmi · OWL 3.0
Retrieved from "https://systems-analysis.info/int/index.php?title=Hubungan_Semantik&oldid=2960"