Semantische relatie

From Systems analysis Wiki
Jump to navigation Jump to search

Semantische relatie — een geformaliseerde relatie tussen entiteiten in een kennisgraaf, genormaliseerd tot een eindig kernvocabulaire van predicaten: subtype (is‑a), instantie (instance‑of), deel–geheel (part‑of), lidmaatschap van een collectie, lokalisatie/aangrenzendheid, voor/na, deelname/rol, eigenschap/waarde, causaliteit, identiteit/verschil, eigendom, tegengesteldheid. Deze pagina legt canonieke formuleringen en synoniemen, logische eigenschappen en overeenkomsten met standaarden (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org) vast.

Basiskernel van semantische relaties: normalisatie en synoniemenwoordenboek

Formalisme (vereenvoudigd) Basisrelatie (canoniek woord) Normalisatie naar kern (nl.) Natuurlijk werkwoord, frase (synoniemen) Categorie Type (semantische laag / gebruiksmodus) Sleuteleigenschap
subclass-of / superclass-of Subtype (genus–soort) is een soort van / heeft subtype
  • is (genus–soort)
  • dit is (genus–soort)
  • subtype
  • soort
  • type
 Taxonomie Ontologisch (kern) transitief; overerving van axioma's/beperkingen van de klasse (niet van eigenschapswaarden)
instance-of / has-instance Instantie is een instantie van / heeft instantie
  • is (instantie)
  • dit is (instantie)
  • behoort tot klasse
  • valt onder klasse
  • vertegenwoordiger
  • instantie
 Taxonomie Ontologisch (kern) individu → klasse; niet transitief
part-of / has-part Deel–geheel (meronymie) is een deel van / omvat
  • bestaat uit
  • omvat
  • heeft als onderdeel
  • bevat als deel
  • is samengesteld uit
  • bestaat uit componenten
 Meronymie Ontologisch (contextueel; vereist domeinvoorbehoud) transitief voor componentele meronymie; niet verwarren met member-of; geen overerving van eigenschapswaarden; transitiviteit geldt niet voor de typen «lid–collectie», «materiaal–object», «portie–massa»; niet verwarren met subclass-of (genus–soort)
derived-from / gives-rise-to Herkomst/derivatie is afgeleid van / voortgebracht door
  • verkregen uit
  • gevormd uit
  • afkomstig van
  • afgeleid van
 Herkomst Ontologisch (contextueel; vereist domeinvoorbehoud) gericht; niet symmetrisch; staat ketens toe
has-property / property-of Eigenschap/attribuut heeft eigenschap / eigenschap van
  • heeft eigenschap
  • heeft waarde
  • bezit kenmerk
  • wordt gekenmerkt door
  • heeft parameter
 Attribuut Ontologisch (kern) gericht; niet symmetrisch; niet transitief; voor kwaliteiten — patroon has_quality/characteristic_of
located-in / contains Lokalisatie (insluiting) bevindt zich in / bevat (als locatie)
  • bevindt zich in
  • is gelegen in
  • binnen
  • binnen het gebied
  • op het grondgebied van
 Ruimte Ontologisch (contextueel; vereist domeinvoorbehoud) gericht; transitief alleen bij insluiting van gebieden binnen één ruimtelijk model; in andere interpretaties wordt transitiviteit niet verondersteld
before / after Chronologie gaat vooraf aan / volgt op
  • eerder
  • voor
  • gaat voor
  • later
  • na
  • daarna
 Tijd Ontologisch (kern) transitief; asymmetrisch; irreflexief (strikte partiële ordening)
precondition-of / postcondition-of Voorwaarde/resultaat van een gebeurtenis/handeling is een voorwaarde voor / is een postconditie van
  • uitvoeringsvoorwaarde
  • preconditie
  • noodzakelijk voor
  • vereist voor
  • resultaat
  • effect
  • gevolg
 Gebeurtenissen Ontologisch (contextueel; vereist domeinvoorbehoud) gericht; niet symmetrisch; gewoonlijk acyclisch; contextueel
participates-in / has-participant Deelname aan een gebeurtenis neemt deel aan / heeft deelnemer
  • neemt deel aan
  • is betrokken bij
  • is verwikkeld in
  • participeert in
 Gebeurtenissen Ontologisch (kern) gericht; niet symmetrisch; niet transitief
has-role / role-of Rol (thematisch) vervult de rol van / rol van
  • vervult de rol van
  • treedt op als
  • handelt als
  • dient als
  • is de agent
  • is de patiënt
  • is het instrument
 Rollen Ontologisch (contextueel; vereist domeinvoorbehoud) gericht; niet symmetrisch; wordt gerealiseerd in een gebeurtenis/proces
member-of / has-member Lid van een collectie is lid van / heeft leden
  • behoort tot de groep
  • maakt deel uit van het team
  • lid van collectie
  • maakt deel uit van de groep
  • element van de verzameling
 Collecties/lidmaatschap (geen meronymie) Ontologisch (kern) gericht; niet symmetrisch; niet transitief; niet verwarren met part-of (componenten)
causes / caused-by Causaliteit veroorzaakt / veroorzaakt door
  • leidt tot
  • veroorzaakt
  • heeft als gevolg
  • bepaalt
  • leidt naar
  • is de oorzaak van
 Oorzaak–gevolg Ontologisch (contextueel; vereist domeinvoorbehoud) gericht; asymmetrisch; acyclisch binnen de domeintime; gebruik prov:wasInfluencedBy voor zwakke beïnvloeding
owns / owned-by (belongs-to) Eigendom/bezit bezit / behoort toe aan
  • bezit
  • is eigenaar van
  • is in bezit van
  • staat op de balans van
  • behoort toe aan
 Bezit Ontologisch (contextueel; vereist domeinvoorbehoud) gericht; niet symmetrisch; niet transitief; onderscheid juridisch eigendom van feitelijk bezit (niet verwarren met located-in)
same-as / same-as (symm.) Identiteit (equivalentie) is identiek aan / is identiek aan
  • identiek aan
  • gelijk aan
  • equivalent aan
  • hetzelfde als
  • valt samen met
 Equivalentie Ontologisch (kern; voorzichtig toepassen) reflexief; symmetrisch; transitief
different-from / different-from (symm.) Verschil/onverenigbaarheid verschilt van / verschilt van
  • niet identiek aan
  • verschilt
  • onverenigbaar met
  • valt niet samen met
 Verschil Ontologisch (kern) symmetrisch; irreflexief
adjacent-to / adjacent-to (symm.) Aangrenzendheid (topologie) grenst aan / grenst aan
  • grenst aan
  • sluit aan bij
  • ligt naast
  • raakt aan
 Topologie Ontologisch (kern) symmetrisch; irreflexief; niet transitief
opposite-of / opposite-of (symm.) Tegengesteldheid (antonymie) is tegengesteld aan / is tegengesteld aan
  • is tegengesteld aan
  • is antoniem van
  • omgekeerd van kwaliteit
  • contrair
  • staat tegenover
 Lexico-semantiek Lexicaal/thesaurus (niet axiomatiseren) lexico‑semantische relatie; symmetrisch; niet gebruiken als ontologische axioma; bij voorkeur modelleren via kwalitatieve schalen en disjunctheid van klassen

Legenda van typen:

  • Ontologisch (kern) — staat axiomatisering in OWL toe zonder speciale voorbehouden;
  • Ontologisch (contextueel; vereist domeinvoorbehoud) — interpretatie en gevolgtrekkingen zijn afhankelijk van domein/model;
  • Lexicaal/thesaurus (niet axiomatiseren) — alleen voor lexica/KOS, niet gebruiken voor logische redenering.

Overeenkomst van basisrelaties met ontologiestandaarden

Basisrelatie (kern) Basisrelatie (canoniek woord) RDF/RDFS/Dublin Core SKOS OWL / OWL‑Time / GeoSPARQL OBO RO / BFO (indien aanwezig) Schema.org / overige Opmerkingen
subclass-of Subtype (genus–soort) rdfs:subClassOf skos:broader / skos:narrower — (in OWL wordt rdfs:subClassOf gebruikt) — — Klassenhiërarchie; transitief; overerving van axioma's/beperkingen (niet van waarden). In SKOS — thesaurushiërarchie (standaard niet transitief; er zijn skos:broaderTransitive / skos:narrowerTransitive). Klasse-equivalentie wordt apart gespecificeerd: owl:equivalentClass.
instance-of Instantie rdf:type — owl:Class / owl:NamedIndividual — schema:additionalType Typering «individu → klasse» (niet transitief). Meervoudige typering is toegestaan. Niet verwarren met subclass-of (klasse → klasse).
part-of / has-part Deel–geheel (meronymie) dcterms:isPartOf / dcterms:hasPart — aangepaste owl:ObjectProperty (vaak gedeclareerd als owl:TransitiveProperty) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Structurele/componentele meronymie; transitief voor componenteel «part_of». Niet verwarren met lidmaatschap (member-of).
member-of / has-member Lid van een collectie rdfs:member skos:member / skos:memberList — ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member is historisch bedoeld voor RDF‑containers; supereigenschap van genummerde containereigenschappen rdf:_1, rdf:_2, …; voor groepen/organisaties heeft schema.org of W3C ORG de voorkeur. Niet transitief. Verschilt van component–geheel.
located-in / contains Lokalisatie (insluiting) dcterms:spatial — geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location Voor strikte geometrie — GeoSPARQL (DE‑9IM; insluiting van gebieden). In GeoSPARQL wordt transitiviteit niet geannoteerd als owl:TransitiveProperty; aanvaardbaar als modelaanname voor gebiedshiërarchieën. dcterms:spatial — «zachte» referentiebinding. In RO is ro:located_in transitief gedeclareerd; specificeer op toepassingsniveau het domein/type lokalisatie (administratief, anatomisch enz.) om transitiviteit geldig te maken in uw model.
adjacent-to / overlaps Aangrenzendheid / overlapping (topologie) — (indien nodig) skos:related geosparql:sfTouches / geosparql:sfOverlaps — — Verschillende relaties (touches ≠ overlaps); beide symmetrisch; niet transitief. In termen van DE‑9IM: touches — grenzen raken elkaar; overlaps — overlapping met niet-lege doorsnede van de interieurs.
before / after Tijdsvolgorde (voor/na) — — time:before / time:after ; ook time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by — Gemodelleerd als strikte partiële ordening. In OWL‑Time is transitiviteit expliciet vastgelegd; asymmetrie/irreflexiviteit worden indien nodig als axioma's in de projectontologie gedefinieerd.
participates-in / has-participant Deelname aan een gebeurtenis — — — ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Deelname ≠ rol; voor rollen — zie has‑role.
has-role / role-of Rol (thematische rollen) — — aangepaste owl:ObjectProperty ro:has_role / ro:role_of ; bfo:Role prov:hadRole (binnen prov:qualifiedAssociation) ; schema:Role (klasse), schema:roleName Rollen worden gerealiseerd in gebeurtenissen/processen; niet verwarren met typering (instance-of).
has-property / has-value Eigenschap / waarde rdf:value (algemene waardebinding) — owl:DatatypeProperty / owl:ObjectProperty (eigenschapstypen) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue Voor kwaliteiten is het RO‑patroon (quality/characteristic of) handig. owl:hasValue — constructor in beperkingen (geen gewone eigenschap).
causes Causaliteit — — — ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Gerichte causale relatie; gewoonlijk acyclisch. Specificeer de tijdscontext en het definitiedomein.
same-as Identiteit (equivalentie) — skos:exactMatch / skos:closeMatch owl:sameAs ; voor klassen/eigenschappen: owl:equivalentClass / owl:equivalentProperty — schema:sameAs Voorzichtig gebruiken. skos:exactMatch/closeMatch — alleen voor SKOS‑concepten, hoofdzakelijk uit verschillende schema's (mapping-eigenschappen); van de mapping-eigenschappen is alleen skos:exactMatch transitief (beide zijn symmetrisch); niet verwarren met owl:sameAs (identiteit van resources).
different-from Verschil / onverenigbaarheid — — owl:differentFrom ; owl:AllDifferent ; voor klassen: owl:disjointWith ; ook owl:AllDisjointClasses / owl:AllDisjointProperties — — Expliciete onderscheiding van individuen en disjunctheid van klassen/eigenschappen (voor verzamelingen — AllDisjoint).
owns / owned-by (belongs-to) Eigendom / bezit — — aangepaste owl:ObjectProperty — schema:owns ; schema:OwnershipInfo Aanbevolen om domein/bereik en kardinaliteiten te definiëren; maak onderscheid tussen juridisch eigendom en feitelijk bezit (niet verwarren met located‑in).
opposite-of Tegengesteldheid (antonymie) — — — — (lexicaal) lexinfo:antonym ; WordNet antonym Lexicale relatie; niet gebruiken als ontologische axioma. In KOS is bij afwezigheid van een strikte eigenschap skos:related toegestaan.
derived-from / gives-rise-to Herkomst / derivatie — — — (indien nodig in bio-ontologieën) ro:develops_from PROV‑O: prov:wasDerivedFrom Gerichte derivatie; staat ketens toe. Onderscheiden van meronymie (part‑of) en identiteit (same‑as).
precondition-of / postcondition-of Voor-/postconditie van een gebeurtenis/handeling — — — — OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (historisch: process:hasEffect) Gebruiken voor procesontologieën. In alternatieve modellen — via causaliteit/tijd (bfo:precedes, time:before) of PROV‑patronen (prov:used, prov:wasGeneratedBy) — afhankelijk van de context.
related-to Associatieve relatie (KOS) — skos:related — — — Symmetrisch; niet transitief. Alleen gebruiken in thesauri/KOS; zwakke semantiek — niet voor logische redenering.

Belangrijkste ontologieën en vocabulaires

  • RDF en RDFS (W3C) — RDF: abstract model van een kennisgraaf op basis van drietallen subject–predicaat–object; RDFS: minimaal vocabulaire voor het definiëren van klassen/eigenschappen en hiërarchieën (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) — kennisrepresentatietaal voor het formeel definiëren van ontologieën (klassen, axioma's, eigenschapstypen en -inversies, equivalentie/disjunctheid), ontworpen voor automatische redenering in DL-logica.
  • SKOS (W3C) — model voor de representatie van thesauri, classificaties en gecontroleerde vocabulaires bovenop RDF/RDFS (broader/narrower/related, collecties, inter-thesaurus-overeenkomsten); definieert geen klassenovererving.
  • OWL‑Time (W3C) — tijdsontologie in OWL 2 DL: momenten, intervallen, topologische relaties (before/after), duren en kalender-/tijdsposities.
  • GeoSPARQL (OGC) — OGC-standaard voor geosemantiek: een kleine OWL-ontologie van «ruimtelijke entiteiten/geometrieën», een vocabulaire van topologische relaties (within/contains, touches/overlaps enz.) en SPARQL-extensies voor geo-queries.
  • BFO en RO (OBO) — BFO: bovenliggende ontologie (continuant/occurrent enz.) voor de afstemming van domeinontologieën; RO (Relations Ontology): een domeinoverschrijdende verzameling relatiepredicaten (part_of/has_part, participates_in, causale relaties enz.).
  • PROV‑O (W3C) — OWL-ontologie voor dataprovenance, die het PROV‑DM-model implementeert: entiteiten, activiteiten, agenten en hun relaties voor de uitwisseling en analyse van provenance-informatie.
  • Schema.org — een praktisch webvocabulaire voor het markeren van gestructureerde gegevens op pagina's (JSON‑LD/RDFa/Microdata); een initiatief van zoekmachines (2011) voor de unificatie van typen en eigenschappen op het open web.

Belangrijkste ontologieën en vocabulaires: officiële verwijzingen

Naam Instantie / status Officiële documentatie
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) Specificatiepagina
RDF 1.2 Schema (RDFS) W3C Working Draft (2025; herziening van de versie van 2014 zonder technische wijzigingen) Specificatiepagina
DCMI Metadata Terms (Dublin Core Terms) DCMI Specification (2020) Specificatiepagina
OWL 2 Web Ontology Language W3C Recommendation (2012, 2nd Ed.) Overzicht/roadmap van OWL 2-specificaties
SKOS Reference W3C Recommendation (2009) Specificatiepagina
Time Ontology in OWL (OWL‑Time) W3C Candidate Recommendation Draft (2022) Specificatiepagina
GeoSPARQL 1.1 OGC Implementation Standard OGC-standaardpagina · Standaarddocument (OGC 22‑047r1)
Basic Formal Ontology (BFO) OBO Foundry (upper ontology) Officiële kaart/documentatie
OBO Relations Ontology (RO) OBO Foundry (relations) Officiële kaart/documentatie
PROV‑O: The PROV Ontology W3C Recommendation (2013) Specificatiepagina
The Organization Ontology (ORG) W3C Recommendation (2014) Specificatiepagina
Schema.org (documentation) Officiële projectdocumentatie Schema's en documentatie
LexInfo (lexico-semantische ontologie) Officiële website/ontologie Officiële website · OWL 3.0
Retrieved from "https://systems-analysis.info/int/index.php?title=Semantische_relatie&oldid=6684"