Semantisk relation

From Systems analysis Wiki
Jump to navigation Jump to search

Semantisk relation — ett formaliserat förhållande mellan entiteter i en kunskapsgraf, normaliserat till ett ändligt kärnpredikatsystem: undertyp (is‑a), instans (instance‑of), del–helhet (part‑of), samlingsmedlem, lokalisering/angränsning, före/efter, deltagande/roll, egenskap/värde, kausalitet, identitet/skillnad, ägande, motsats. Sidan fastställer kanoniska formuleringar och synonymer, logiska egenskaper samt överensstämmelse med standarder (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).

Grundläggande kärna för semantiska relationer: normalisering och synonymordlista

Formalism (förenklad) Grundläggande relation (kanoniskt ord) Normalisering till kärnan Naturligt verb, fras (synonymer) Kategori Typ (semantiskt lager / användningsläge) Nyckelegenskap
subclass-of / superclass-of Undertyp (genus–art) är en art av / har undertyp
  • är (genus–art)
  • detta är (genus–art)
  • undertyp
  • art
  • typ
 Taxonomi Ontologisk (kärna) transitivt; arv av axiomet/klassbegränsningar (inte egenskapsvärden)
instance-of / has-instance Instans är en instans av / har instans
  • är (instans)
  • detta är (instans)
  • tillhör klass
  • ingår i klass
  • representant
  • instans
 Taxonomi Ontologisk (kärna) individ → klass; ej transitivt
part-of / has-part Del–helhet (meronymi) är en del av / inkluderar
  • består av
  • inkluderar
  • har som del
  • innehåller som del
  • sammansatt av
  • levereras med komponenter
 Meronymi Ontologisk (kontextuell; kräver domänförbehåll) transitivt för komponentmeronymi; förväxla ej med member-of; inget arv av egenskapsvärden; transitivitet gäller ej för typerna «medlem–samling», «material–objekt», «portion–massa»; förväxla ej med subclass-of (genus–art)
derived-from / gives-rise-to Ursprung/derivation härstammar från / ger upphov till
  • härledd från
  • bildad från
  • härstammar från
  • deducerad från
 Ursprung Ontologisk (kontextuell; kräver domänförbehåll) riktad; ej symmetrisk; tillåter kedjor
has-property / property-of Egenskap/attribut har egenskap / egenskap hos
  • har egenskap
  • har värde
  • besitter kännetecken
  • kännetecknas av
  • har parameter
 Attribut Ontologisk (kärna) riktad; ej symmetrisk; ej transitivt; för kvaliteter — mönstret has_quality/characteristic_of
located-in / contains Lokalisering (inkapsling) befinner sig i / innehåller (som plats)
  • befinner sig i
  • är belägen i
  • inuti
  • inom området
  • på territoriet
 Rum Ontologisk (kontextuell; kräver domänförbehåll) riktad; transitivt endast vid inkapsling av regioner i samma rumsliga modell; i andra tolkningar förutsätts inte transitivitet
before / after Kronologi föregår / följer efter
  • tidigare
  • före
  • kommer före
  • senare
  • efter
  • därefter
 Tid Ontologisk (kärna) transitivt; asymmetriskt; irreflexivt (strikt partiell ordning)
precondition-of / postcondition-of Villkor/resultat för händelse/handling är förhandsvillkor för / är efterhandsvillkor för
  • utförandevillkor
  • förhandsvillkor
  • nödvändigt för
  • krävs för
  • resultat
  • effekt
  • konsekvens
 Händelser Ontologisk (kontextuell; kräver domänförbehåll) riktad; ej symmetrisk; vanligtvis acyklisk; kontextuell
participates-in / has-participant Deltagande i händelse deltar i / har deltagare
  • deltar i
  • används i
  • är involverad i
  • tar del i
 Händelser Ontologisk (kärna) riktad; ej symmetrisk; ej transitivt
has-role / role-of Roll (tematisk) fyller rollen / rollen hos
  • fyller rollen
  • uppträder i rollen
  • agerar som
  • tjänar som
  • är agent
  • är patient
  • är instrument
 Roller Ontologisk (kontextuell; kräver domänförbehåll) riktad; ej symmetrisk; realiseras i händelse/process
member-of / has-member Samlingsmedlem är medlem av / har medlemmar
  • tillhör grupp
  • ingår i team
  • samlingsmedlem
  • ingår i grupp
  • element i mängd
 Samlingar/medlemskap (ej meronymi) Ontologisk (kärna) riktad; ej symmetrisk; ingen transitivitet; förväxla ej med part-of (komponenter)
causes / caused-by Kausalitet orsakar / orsakas av
  • leder till
  • orsakar
  • medför
  • betingar
  • för med sig
  • är orsak till
 Orsak–verkan Ontologisk (kontextuell; kräver domänförbehåll) riktad; asymmetrisk; acyklisk inom domänens tid; för svag påverkan används prov:wasInfluencedBy
owns / owned-by (belongs-to) Ägande/tillhörighet äger / tillhör
  • äger
  • är ägare
  • är i ägo
  • är uppförd i balansräkning
  • tillhör
 Tillhörighet Ontologisk (kontextuell; kräver domänförbehåll) riktad; ej symmetrisk; ej transitivt; skilj mellan juridiskt ägande och faktiskt innehav (blanda ej med located-in)
same-as / same-as (symm.) Identitet (ekvivalens) är identisk med / är identisk med
  • identisk med
  • är densamme som
  • ekvivalent med
  • samma sak som
  • sammanfaller med
 Ekvivalens Ontologisk (kärna; använd med försiktighet) reflexivt; symmetriskt; transitivt
different-from / different-from (symm.) Skillnad/inkompatibilitet skiljer sig från / skiljer sig från
  • är inte identisk med
  • är skild från
  • är inkompatibel med
  • sammanfaller ej
 Skillnad Ontologisk (kärna) symmetriskt; irreflexivt
adjacent-to / adjacent-to (symm.) Angränsning (topologi) angränsar till / angränsar till
  • gränsar mot
  • ansluter till
  • är granne med
  • i kontakt med
 Topologi Ontologisk (kärna) symmetriskt; irreflexivt; ingen transitivitet
opposite-of / opposite-of (symm.) Motsats (antonymi) är motsats till / är motsats till
  • är motsats till
  • är antonymi till
  • omvänd i kvalitet
  • konträr
  • ställs mot
 Lexikosemantik Lexikal/tesaurus (axiomatiseras ej) lexikosemantisk relation; symmetrisk; använd ej som ontologisk axiom; modelleras helst via kvalitativa skalor och klassdisjunktivitet

Typlegendar:

  • Ontologisk (kärna) — tillåter axiomatisering i OWL utan särskilda förbehåll;
  • Ontologisk (kontextuell; kräver domänförbehåll) — tolkning och slutledningar beror på domän/modell;
  • Lexikal/tesaurus (axiomatiseras ej) — endast för lexikon/KOS, används ej för logisk slutledning.

Överensstämmelse mellan grundläggande semantiska relationer och ontologistandarder

Grundläggande relation (kärna) Grundläggande relation (kanoniskt ord) RDF/RDFS/Dublin Core SKOS OWL / OWL‑Time / GeoSPARQL OBO RO / BFO (om tillämpligt) Schema.org / övrigt Anmärkningar
subclass-of Undertyp (genus–art) rdfs:subClassOf skos:broader / skos:narrower — (i OWL används rdfs:subClassOf) — — Klasshierarki; transitivt; arv av axiom/begränsningar (ej värden). I SKOS — tesaurushierarki (ej transitivt som standard; skos:broaderTransitive / skos:narrowerTransitive finns). Klasslikvärdighet anges separat: owl:equivalentClass.
instance-of Instans rdf:type — owl:Class / owl:NamedIndividual — schema:additionalType Typning «individ → klass» (ej transitivt). Multipel typning är tillåten. Förväxla ej med subclass-of (klass → klass).
part-of / has-part Del–helhet (meronymi) dcterms:isPartOf / dcterms:hasPart — anpassad owl:ObjectProperty (deklareras ofta som owl:TransitiveProperty) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Strukturell/komponentmeronymi; transitivt för komponentbaserat «part_of». Förväxla ej med medlemskap (member-of).
member-of / has-member Samlingsmedlem rdfs:member skos:member / skos:memberList — ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member är historiskt avsett för RDF-containrar; superegenskap till numrerade containeregenskaper rdf:_1, rdf:_2, …; för grupper/organisationer föredras schema.org eller W3C ORG. Ej transitivt. Skiljer sig från komponent–helhet.
located-in / contains Lokalisering (inkapsling) dcterms:spatial — geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location För strikt geometri — GeoSPARQL (DE‑9IM; regioninkapsling). I GeoSPARQL annoteras inte transitivitet som owl:TransitiveProperty; det är acceptabelt som modellantagande för regionhierarkier. dcterms:spatial — «mjuk» referensanknytning. I RO är ro:located_in deklarerat transitivt; på tillämpningsnivå, specificera domän/lokaliseringstyp (administrativ, anatomisk osv.) för att transitiviteten ska vara giltig i din modell.
adjacent-to / overlaps Angränsning / överlappning (topologi) — (vid behov) skos:related geosparql:sfTouches / geosparql:sfOverlaps — — Olika relationer (touches ≠ overlaps); båda symmetriska; ingen transitivitet. I DE‑9IM-termer: touches — gränser tangerar; overlaps — överlappning med icke-tomt snitt av interiörer.
before / after Tidssekvens (före/efter) — — time:before / time:after ; även time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by — Modelleras som strikt partiell ordning. I OWL‑Time är transitivitet explicit angiven; asymmetri/irreflexivitet anges vid behov via axiom i projektontologin.
participates-in / has-participant Deltagande i händelse — — — ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Deltagande ≠ roll; för roller — se has‑role.
has-role / role-of Roll (tematiska roller) — — anpassad owl:ObjectProperty ro:has_role / ro:role_of ; bfo:Role prov:hadRole (inom prov:qualifiedAssociation) ; schema:Role (klass), schema:roleName Roller realiseras i händelser/processer; förväxla ej med typning (instance-of).
has-property / has-value Egenskap / värde rdf:value (generell värdebindning) — owl:DatatypeProperty / owl:ObjectProperty (egenskapstyper) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue För kvaliteter är RO-mönstret (quality/characteristic of) praktiskt. owl:hasValue — konstruktor i begränsningar (ej en vanlig egenskap).
causes Kausalitet — — — ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Riktad kausalrelation; vanligtvis acyklisk. Specificera tidskontext och definitionsdomän.
same-as Identitet (ekvivalens) — skos:exactMatch / skos:closeMatch owl:sameAs ; för klasser/egenskaper: owl:equivalentClass / owl:equivalentProperty — schema:sameAs Använd med försiktighet. skos:exactMatch/closeMatch — endast för SKOS-koncept, företrädesvis från olika scheman (mappingegenskaper); av mappingegenskaperna är endast skos:exactMatch transitivt (båda är symmetriska); förväxla ej med owl:sameAs (resursidentitet).
different-from Skillnad / inkompatibilitet — — owl:differentFrom ; owl:AllDifferent ; för klasser: owl:disjointWith ; även owl:AllDisjointClasses / owl:AllDisjointProperties — — Explicit särskilja individer och icke-överlappande klasser/egenskaper (för mängder — AllDisjoint).
owns / owned-by (belongs-to) Ägande / tillhörighet — — anpassad owl:ObjectProperty — schema:owns ; schema:OwnershipInfo Rekommenderas att ange domän/räckvidd och kardinaliteter; skilj mellan juridiskt ägande och faktiskt innehav (förväxla ej med located‑in).
opposite-of Motsats (antonymi) — — — — (lexikon) lexinfo:antonym ; WordNet antonym Lexikal relation; använd ej som ontologisk axiom. I KOS, när en strikt egenskap saknas, är skos:related acceptabelt.
derived-from / gives-rise-to Ursprung / derivation — — — (vid behov i bio-ontologier) ro:develops_from PROV‑O: prov:wasDerivedFrom Riktad derivation; tillåter kedjor. Skilj från meronymi (part‑of) och identitet (same‑as).
precondition-of / postcondition-of För-/efterhandsvillkor för händelse/handling — — — — OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (historiskt: process:hasEffect) Använd för processontologier. I alternativa modeller — via kausalitet/tid (bfo:precedes, time:before) eller PROV-mönster (prov:used, prov:wasGeneratedBy) — beroende på kontext.
related-to Associativ relation (KOS) — skos:related — — — Symmetriskt; ingen transitivitet. Använd endast i tesaurusar/KOS; svag semantik — ej för logisk slutledning.

Huvudsakliga ontologier och vokabulärer

  • RDF och RDFS (W3C) — RDF: abstrakt kunskapsgrafsmodell baserad på tripletter subjekt–predikat–objekt; RDFS: minimalt vokabulär för att definiera klasser/egenskaper och hierarkier (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) — kunskapsrepresentationsspråk för formell definition av ontologier (klasser, axiom, egenskapstyper och inversioner, ekvivalens/disjunktivitet), avsett för automatisk slutledning i DL-logik.
  • SKOS (W3C) — modell för representation av tesaurusar, klassifikationer och kontrollerade vokabulärer ovanpå RDF/RDFS (broader/narrower/related, samlingar, inter-tesaurusmappningar); definierar ej klassarv.
  • OWL‑Time (W3C) — tidsontologi i OWL 2 DL: tidpunkter, intervaller, topologiska relationer (before/after), durationer och kalender-/tidspositioner.
  • GeoSPARQL (OGC) — OGC-standard för geosemantik: en liten OWL-ontologi för «rumsliga entiteter/geometrier», ett vokabulär för topologiska relationer (within/contains, touches/overlaps m.fl.) och SPARQL-tillägg för geofrågor.
  • BFO och RO (OBO) — BFO: toppnivåontologi (continuant/occurrent m.fl.) för harmonisering av domänontologier; RO (Relations Ontology): tvärdomänt predikatset (part_of/has_part, participates_in, kausala relationer m.fl.).
  • PROV‑O (W3C) — OWL-ontologi för dataursprung som implementerar PROV-DM-modellen: entiteter, aktiviteter, agenter och deras relationer för utbyte och analys av provenance-information.
  • Schema.org — praktiskt webbvokabulär för strukturerad datamärkning på webbsidor (JSON‑LD/RDFa/Microdata); ett initiativ från sökmotorer (2011) för att standardisera typer och egenskaper på den öppna webben.

Huvudsakliga ontologier och vokabulärer: officiella referenser

Benämning Organ / status Officiell dokumentation
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) Specifikationssida
RDF 1.2 Schema (RDFS) W3C Working Draft (2025; revision av 2014 års version utan tekniska ändringar) Specifikationssida
DCMI Metadata Terms (Dublin Core Terms) DCMI Specification (2020) Specifikationssida
OWL 2 Web Ontology Language W3C Recommendation (2012, 2nd Ed.) Översikt/roadmap för OWL 2-specifikationer
SKOS Reference W3C Recommendation (2009) Specifikationssida
Time Ontology in OWL (OWL‑Time) W3C Candidate Recommendation Draft (2022) Specifikationssida
GeoSPARQL 1.1 OGC Implementation Standard OGC-standardsida · Standarddokument (OGC 22‑047r1)
Basic Formal Ontology (BFO) OBO Foundry (övre ontologi) Officiellt kort/dokumentation
OBO Relations Ontology (RO) OBO Foundry (relationer) Officiellt kort/dokumentation
PROV‑O: The PROV Ontology W3C Recommendation (2013) Specifikationssida
The Organization Ontology (ORG) W3C Recommendation (2014) Specifikationssida
Schema.org (documentation) Officiell projektdokumentation Scheman och dokumentation
LexInfo (lexikosemantisk ontologi) Officiell webbplats/ontologi Officiell webbplats · OWL 3.0
Retrieved from "https://systems-analysis.info/int/index.php?title=Semantisk_relation&oldid=6685"