Semantische Beziehung

From Systems analysis Wiki
Jump to navigation Jump to search

Eine semantische Beziehung ist eine formalisierte Relation zwischen Entitäten eines Wissensgraphen, die auf einen endlichen Kern von Prädikaten normalisiert wird: Untertyp (is‑a), Instanz (instance‑of), Teil–Ganzes (part‑of), Mitglied–Sammlung, Lokalisierung/Nachbarschaft, vor/nach, Teilnahme/Rolle, Eigenschaft/Wert, Kausalität, Identität/Unterschied, Besitz, Gegenteil. Diese Seite dokumentiert kanonische Formulierungen und Synonyme, logische Eigenschaften und die Übereinstimmung mit Standards (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).

Grundlegender Kern semantischer Beziehungen: Normalisierung und Synonymwörterbuch

Formalismus (vereinfacht) Grundlegende Beziehung (kanonischer Begriff) Normalisierung zum Kern (dt.) Natürliches Verb, Phrase (Synonyme) Kategorie Typ (semantische Schicht / Verwendungsmodus) Schlüsseleigenschaft
subclass-of / superclass-of Untertyp (Gattung–Art) ist eine Art von / hat Unterart
  • ist (Gattung–Art)
  • ist eine Art von
  • Untertyp
  • Art
  • Typ
Taxonomie Ontologisch (Kern) transitiv; Vererbung von Klassenaxiomen/-beschränkungen (nicht von Eigenschaftswerten)
instance-of / has-instance Instanz ist eine Instanz von / hat Instanz
  • ist (Instanz)
  • ist eine Instanz von
  • gehört zur Klasse
  • ist Mitglied der Klasse
  • Vertreter
  • Instanz
Taxonomie Ontologisch (Kern) Individuum → Klasse; nicht transitiv
part-of / has-part Teil–Ganzes (Meronymie) ist Teil von / umfasst
  • besteht aus
  • umfasst
  • beinhaltet
  • enthält als Teil
  • ist zusammengesetzt aus
  • wird aus Komponenten gebildet
Meronymie Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) transitiv für kompositionelle Meronymie; nicht zu verwechseln mit member-of; keine Vererbung von Eigenschaftswerten; Transitivität gilt nicht für die Typen „Mitglied–Sammlung“, „Material–Objekt“, „Portion–Masse“; nicht zu verwechseln mit subclass-of (Gattung–Art)
derived-from / gives-rise-to Herkunft/Ableitung stammt von / erzeugt
  • abgeleitet von
  • gebildet aus
  • stammt von
  • hergeleitet aus
Herkunft Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) gerichtet; nicht symmetrisch; erlaubt Verkettungen
has-property / property-of Eigenschaft/Attribut hat Eigenschaft / Eigenschaft von
  • hat die Eigenschaft
  • hat den Wert
  • besitzt das Merkmal
  • ist gekennzeichnet durch
  • hat den Parameter
Attribut Ontologisch (Kern) gerichtet; nicht symmetrisch; nicht transitiv; für Qualitäten – das Muster has_quality/characteristic_of
located-in / contains Lokalisierung (Einbettung) befindet sich in / enthält (als Ort)
  • befindet sich in
  • liegt in
  • innerhalb
  • innerhalb des Bereichs
  • auf dem Gebiet
Raum Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) gerichtet; transitiv nur bei der Einbettung von Regionen innerhalb eines einheitlichen Raummodells; in anderen Interpretationen wird Transitivität nicht angenommen
before / after Chronologie geht voraus / folgt auf
  • früher
  • vor
  • kommt vor
  • später
  • nach
  • danach
Zeit Ontologisch (Kern) transitiv; asymmetrisch; irreflexiv (strikte partielle Ordnung)
precondition-of / postcondition-of Bedingung/Ergebnis eines Ereignisses/einer Handlung ist Vorbedingung von / ist Nachbedingung von
  • Ausführungsbedingung
  • Vorbedingung
  • notwendig für
  • erforderlich für
  • Ergebnis
  • Effekt
  • Konsequenz
Ereignisse Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) gerichtet; nicht symmetrisch; typischerweise azyklisch; kontextabhängig
participates-in / has-participant Teilnahme an einem Ereignis nimmt teil an / hat Teilnehmer
  • nimmt teil an
  • ist beteiligt an
  • ist involviert in
  • wirkt mit bei
Ereignisse Ontologisch (Kern) gerichtet; nicht symmetrisch; nicht transitiv
has-role / role-of Rolle (thematisch) erfüllt die Rolle von / Rolle von
  • erfüllt die Rolle
  • tritt auf als
  • agiert als
  • dient als
  • ist Akteur
  • ist Patiens
  • ist Instrument
Rollen Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) gerichtet; nicht symmetrisch; wird in einem Ereignis/Prozess realisiert
member-of / has-member Mitglied einer Sammlung ist Mitglied von / hat Mitglieder
  • gehört zur Gruppe
  • ist im Team
  • Mitglied der Sammlung
  • ist Teil der Gruppe
  • Element der Menge
Sammlungen/Mitgliedschaft (keine Meronymie) Ontologisch (Kern) gerichtet; nicht symmetrisch; nicht transitiv; nicht zu verwechseln mit part-of (Komponenten)
causes / caused-by Kausalität verursacht / wird verursacht von
  • führt zu
  • verursacht
  • zieht nach sich
  • bedingt
  • resultiert in
  • ist die Ursache von
Kausal Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) gerichtet; asymmetrisch; azyklisch im Rahmen der Domänenzeit; für schwache Einflüsse verwenden Sie prov:wasInfluencedBy
owns / owned-by (belongs-to) Besitz/Zugehörigkeit besitzt / gehört
  • besitzt
  • ist Eigentümer von
  • befindet sich im Besitz von
  • ist im Bestand von
  • gehört
Zugehörigkeit Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) gerichtet; nicht symmetrisch; nicht transitiv; zwischen rechtlichem Eigentum und tatsächlichem Besitz unterscheiden (nicht mit located-in verwechseln)
same-as / same-as (симм.) Identität (Äquivalenz) ist identisch mit / ist identisch mit
  • identisch
  • gleichbedeutend
  • äquivalent
  • dasselbe wie
  • stimmt überein mit
Äquivalenz Ontologisch (Kern; mit Vorsicht anwenden) reflexiv; symmetrisch; transitiv
different-from / different-from (симм.) Unterschied/Inkompatibilität ist verschieden von / ist verschieden von
  • nicht identisch
  • verschieden
  • inkompatibel mit
  • stimmt nicht überein
Unterschied Ontologisch (Kern) symmetrisch; irreflexiv
adjacent-to / adjacent-to (симм.) Nachbarschaft (Topologie) ist benachbart zu / ist benachbart zu
  • grenzt an
  • schließt an
  • ist benachbart zu
  • steht in Kontakt mit
Topologie Ontologisch (Kern) symmetrisch; irreflexiv; nicht transitiv
opposite-of / opposite-of (симм.) Gegenteil (Antonymie) ist das Gegenteil von / ist das Gegenteil von
  • entgegengesetzt
  • antonymisch
  • von gegensätzlicher Qualität
  • konträr
  • gegenübergestellt
Lexikosemantik Lexikalisch/Thesaurisch (nicht axiomatisieren) lexikosemantische Beziehung; symmetrisch; nicht als ontologisches Axiom verwenden; vorzugsweise durch qualitative Skalen und Disjunktheit von Klassen modellieren

Legende der Typen:

  • Ontologisch (Kern) – erlaubt Axiomatisierung in OWL ohne besondere Vorbehalte;
  • Ontologisch (kontextabhängig; erfordert domänenspezifische Festlegungen) – Interpretation und Schlussfolgerungen hängen von der Domäne/dem Modell ab;
  • Lexikalisch/Thesaurisch (nicht axiomatisieren) – nur für Lexika/KOS verwenden, nicht für logische Schlussfolgerungen.

Entsprechung der grundlegenden semantischen Beziehungen zu Ontologie-Standards

Grundlegende Beziehung (Kern) Grundlegende Beziehung (kanonischer Begriff) RDF/RDFS/Dublin Core SKOS OWL / OWL‑Time / GeoSPARQL OBO RO / BFO (falls vorhanden) Schema.org / Sonstiges Anmerkungen
subclass-of Untertyp (Gattung–Art) rdfs:subClassOf skos:broader / skos:narrower — (in OWL wird rdfs:subClassOf verwendet) Klassenhierarchie; transitiv; Vererbung von Axiomen/Beschränkungen (nicht von Werten). In SKOS – Thesaurus-Hierarchie (standardmäßig nicht transitiv; es gibt skos:broaderTransitive / skos:narrowerTransitive). Klassenäquivalenz wird separat definiert: owl:equivalentClass.
instance-of Instanz rdf:type owl:Class / owl:NamedIndividual schema:additionalType Typisierung „Individuum → Klasse“ (nicht transitiv). Mehrfachtypisierung ist zulässig. Nicht mit subclass-of (Klasse → Klasse) verwechseln.
part-of / has-part Teil–Ganzes (Meronymie) dcterms:isPartOf / dcterms:hasPart benutzerdefinierte owl:ObjectProperty (oft als owl:TransitiveProperty deklariert) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Strukturelle/kompositionelle Meronymie; transitiv für das kompositionelle „part_of“. Nicht mit Mitgliedschaft (member-of) verwechseln.
member-of / has-member Mitglied einer Sammlung rdfs:member skos:member / skos:memberList ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member bezieht sich historisch auf RDF-Container; ist eine Suprereigenschaft der nummerierten Container-Eigenschaften rdf:_1, rdf:_2, …; für Gruppen/Organisationen sind schema.org oder W3C ORG vorzuziehen. Nicht transitiv. Unterscheidet sich von Komponente–Ganzes.
located-in / contains Lokalisierung (Einbettung) dcterms:spatial geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location Für strikte Geometrie – GeoSPARQL (DE‑9IM; Einbettung von Regionen). In GeoSPARQL wird Transitivität nicht als owl:TransitiveProperty annotiert; sie ist als Modellannahme für Hierarchien von Regionen zulässig. dcterms:spatial ist eine „weiche“ referenzielle Verknüpfung. In RO ist ro:located_in als transitiv deklariert; auf Anwendungsebene sollte der Bereich/Typ der Lokalisierung (administrativ, anatomisch usw.) präzisiert werden, damit die Transitivität in Ihrem Modell gültig ist.
adjacent-to / overlaps Nachbarschaft / Überlappung (Topologie) (bei Bedarf) skos:related geosparql:sfTouches / geosparql:sfOverlaps Unterschiedliche Beziehungen (touches ≠ overlaps); beide sind symmetrisch; keine Transitivität. In DE‑9IM-Terminologie: touches – Grenzen berühren sich; overlaps – Überschneidung mit einer nicht-leeren Schnittmenge der Inneren.
before / after Zeitliche Abfolge (vor/nach) time:before / time:after ; auch time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by Wird als strikte partielle Ordnung modelliert. In OWL‑Time ist die Transitivität explizit definiert; Asymmetrie/Irreflexivität werden bei Bedarf durch Axiome der Projektontologie festgelegt.
participates-in / has-participant Teilnahme an einem Ereignis ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Teilnahme ≠ Rolle; für Rollen siehe has‑role.
has-role / role-of Rolle (thematische Rollen) benutzerdefinierte owl:ObjectProperty ro:has_role / ro:role_of ; bfo:Role prov:hadRole (innerhalb prov:qualifiedAssociation) ; schema:Role (Klasse), schema:roleName Rollen werden in Ereignissen/Prozessen realisiert; nicht mit Typisierung (instance-of) verwechseln.
has-property / has-value Eigenschaft / Wert rdf:value (allgemeine Wertzuweisung) owl:DatatypeProperty / owl:ObjectProperty (Eigenschaftstypen) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue Für Qualitäten ist das RO-Muster (quality/characteristic of) praktisch. owl:hasValue ist ein Konstruktor in Beschränkungen (keine gewöhnliche Eigenschaft).
causes Kausalität ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Gerichtete kausale Beziehung; typischerweise azyklisch. Präzisieren Sie den zeitlichen Kontext und den Definitionsbereich.
same-as Identität (Äquivalenz) skos:exactMatch / skos:closeMatch owl:sameAs ; für Klassen/Eigenschaften: owl:equivalentClass / owl:equivalentProperty schema:sameAs Mit Vorsicht verwenden. skos:exactMatch/closeMatch – nur für SKOS-Konzepte, hauptsächlich aus verschiedenen Schemata (Mapping-Eigenschaften); von den Mapping-Eigenschaften ist nur skos:exactMatch transitiv (beide sind symmetrisch); nicht mit owl:sameAs (Identität von Ressourcen) verwechseln.
different-from Unterschied / Inkompatibilität owl:differentFrom ; owl:AllDifferent ; für Klassen: owl:disjointWith ; auch owl:AllDisjointClasses / owl:AllDisjointProperties Explizite Unterscheidung von Individuen und Disjunktheit von Klassen/Eigenschaften (für Mengen – AllDisjoint).
owns / owned-by (belongs-to) Besitz / Zugehörigkeit benutzerdefinierte owl:ObjectProperty schema:owns ; schema:OwnershipInfo Es wird empfohlen, Domäne/Wertebereich und Kardinalitäten zu definieren; zwischen rechtlichem Eigentum und tatsächlichem Besitz unterscheiden (nicht mit located‑in verwechseln).
opposite-of Gegenteil (Antonymie) (Lexikon) lexinfo:antonym ; WordNet antonym Lexikalische Beziehung; nicht als ontologisches Axiom verwenden. In KOS ist bei Fehlen einer strikten Eigenschaft die Verwendung von skos:related zulässig.
derived-from / gives-rise-to Herkunft / Ableitung (bei Bedarf in Bio-Ontologien) ro:develops_from PROV‑O: prov:wasDerivedFrom Gerichtete Ableitung; erlaubt Verkettungen. Von Meronymie (part‑of) und Identität (same‑as) zu unterscheiden.
precondition-of / postcondition-of Vor-/Nachbedingung eines Ereignisses/einer Handlung OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (historisch: process:hasEffect) Für Prozessontologien verwenden. In alternativen Modellen – je nach Kontext – über Kausalität/Zeit (bfo:precedes, time:before) oder PROV-Muster (prov:used, prov:wasGeneratedBy).
related-to Assoziative Beziehung (KOS) skos:related Symmetrisch; nicht transitiv. Nur in Thesauri/KOS verwenden; schwache Semantik – nicht für logische Schlussfolgerungen geeignet.

Wichtige Ontologien und Vokabulare

  • RDF und RDFS (W3C) – RDF: ein abstraktes Modell für Wissensgraphen, basierend auf Subjekt-Prädikat-Objekt-Tripeln; RDFS: ein minimales Vokabular zur Definition von Klassen, Eigenschaften und Hierarchien (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) – eine Wissensrepräsentationssprache zur formalen Definition von Ontologien (Klassen, Axiome, Typen und Inversionen von Eigenschaften, Äquivalenz/Disjunktheit), ausgelegt für automatisches Schließen in Beschreibungslogik (DL).
  • SKOS (W3C) – ein Modell zur Repräsentation von Thesauri, Klassifikationen und kontrollierten Vokabularen auf Basis von RDF/RDFS (broader/narrower/related, Sammlungen, Mappings zwischen Thesauri); definiert keine Klassenvererbung.
  • OWL‑Time (W3C) – eine Zeitontologie in OWL 2 DL: Zeitpunkte, Intervalle, topologische Beziehungen (before/after), Dauern und kalendarisch-zeitliche Positionen.
  • GeoSPARQL (OGC) – ein OGC-Standard für Geosemantik: eine kleine OWL-Ontologie für „räumliche Entitäten/Geometrien“, ein Vokabular topologischer Beziehungen (within/contains, touches/overlaps etc.) und SPARQL-Erweiterungen für Geo-Anfragen.
  • BFO und RO (OBO) – BFO: eine Top-Level-Ontologie (continuant/occurrent etc.) zur Harmonisierung von Domänenontologien; RO (Relations Ontology): eine domänenübergreifende Sammlung von Beziehungprädikaten (part_of/has_part, participates_in, kausale etc.).
  • PROV‑O (W3C) – eine OWL-Ontologie für Datenprovenienz, die das PROV-DM-Modell implementiert: Entitäten, Aktivitäten, Agenten und ihre Beziehungen zum Austausch und zur Analyse von Provenienzinformationen.
  • Schema.org – ein anwendungsorientiertes Web-Vokabular zur Auszeichnung strukturierter Daten auf Webseiten (JSON‑LD/RDFa/Microdata); eine Initiative von Suchmaschinen (2011) zur Vereinheitlichung von Typen und Eigenschaften im offenen Web.
Bezeichnung Gremium / Status Offizielle Dokumentation
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) Spezifikationsseite
RDF 1.2 Schema (RDFS) W3C Working Draft (2025; überarbeitete Version von 2014 ohne technische Änderungen) Spezifikationsseite
DCMI Metadata Terms (Dublin Core Terms) DCMI Specification (2020) Spezifikationsseite
OWL 2 Web Ontology Language W3C Recommendation (2012, 2nd Ed.) Überblick/Roadmap der OWL 2-Spezifikationen
SKOS Reference W3C Recommendation (2009) Spezifikationsseite
Time Ontology in OWL (OWL‑Time) W3C Candidate Recommendation Draft (2022) Spezifikationsseite
GeoSPARQL 1.1 OGC Implementation Standard OGC-Standardseite · Standarddokument (OGC 22‑047r1)
Basic Formal Ontology (BFO) OBO Foundry (upper ontology) Offizieller Eintrag/Dokumentation
OBO Relations Ontology (RO) OBO Foundry (relations) Offizieller Eintrag/Dokumentation
PROV‑O: The PROV Ontology W3C Recommendation (2013) Spezifikationsseite
The Organization Ontology (ORG) W3C Recommendation (2014) Spezifikationsseite
Schema.org (documentation) Offizielle Dokumentation des Projekts Schemata und Dokumentation
LexInfo (lexikosemantische Ontologie) Offizielle Website/Ontologie Offizielle Website · OWL 3.0