Relație semantică
Jump to navigation
Jump to search
Relație semantică — relație formalizată între entitățile unui graf de cunoștințe, normalizabilă la un nucleu finit de predicate: subtip (is‑a), instanță (instance‑of), parte–întreg (part‑of), membru al colecției, localizare/adiacență, înainte/după, participare/rol, proprietate/valoare, cauzalitate, identitate/diferență, posesie, antonimie. Pagina fixează formulările canonice și sinonimele, proprietățile logice și corespondențele cu standardele (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).
Nucleul de bază al relațiilor semantice: normalizare și vocabular de sinonime
| Formalism (simplificat) | Relație de bază (cuvânt canonic) | Normalizare în nucleu | Verb natural, expresie (sinonime) | Categorie | Tip (nivel semantic / mod de utilizare) | Proprietate cheie |
|---|---|---|---|---|---|---|
| subclass-of / superclass-of | Subtip (gen–specie) | este specie / are subtip |
|
Taxonomie | Ontologică (nucleu) | tranzitiv; moștenirea axiomelor/restricțiilor clasei (nu a valorilor proprietăților) |
| instance-of / has-instance | Instanță | este instanță a / are instanță |
|
Taxonomie | Ontologică (nucleu) | individ → clasă; netranzitiv |
| part-of / has-part | Parte–întreg (meronimie) | este parte a / include |
|
Meronimie | Ontologică (contextuală; necesită precizări de domeniu) | tranzitiv pentru meronimia componentelor; a nu se confunda cu member-of; fără moștenirea valorilor proprietăților; tranzitivitatea nu se transferă la tipurile „membru–colecție", „material–obiect", „porție–masă"; a nu se confunda cu subclass-of (gen–specie)
|
| derived-from / gives-rise-to | Proveniență/derivare | provine din / generează |
|
Proveniență | Ontologică (contextuală; necesită precizări de domeniu) | direcțional; nesimetric; admite lanțuri |
| has-property / property-of | Proprietate/atribut | are proprietatea / proprietate a |
|
Atribut | Ontologică (nucleu) | direcțional; nesimetric; netranzitiv; pentru calități — pattern has_quality/characteristic_of
|
| located-in / contains | Localizare (incluziune) | se află în / conține (ca loc) |
|
Spațiu | Ontologică (contextuală; necesită precizări de domeniu) | direcțional; tranzitiv doar la incluziunea zonelor în același model spațial; în alte interpretări tranzitivitatea nu este presupusă |
| before / after | Cronologie | precedă / urmează |
|
Timp | Ontologică (nucleu) | tranzitiv; asimetric; ireflexiv (ordine parțială strictă) |
| precondition-of / postcondition-of | Condiție/rezultat al evenimentului/acțiunii | este precondiție a / este postcondiție a |
|
Evenimente | Ontologică (contextuală; necesită precizări de domeniu) | direcțional; nesimetric; de obicei aciclic; contextual |
| participates-in / has-participant | Participare la eveniment | participă la / are participant |
|
Evenimente | Ontologică (nucleu) | direcțional; nesimetric; netranzitiv |
| has-role / role-of | Rol (tematic) | îndeplinește rolul / rol al |
|
Roluri | Ontologică (contextuală; necesită precizări de domeniu) | direcțional; nesimetric; se realizează în eveniment/proces |
| member-of / has-member | Membru al colecției | este membru al / are membri |
|
Colecții/apartenența (nu meronimie) | Ontologică (nucleu) | direcțional; nesimetric; fără tranzitivitate; a nu se confunda cu part-of (componente)
|
| causes / caused-by | Cauzalitate | cauzează / cauzat de |
|
Cauză–efect | Ontologică (contextuală; necesită precizări de domeniu) | direcțional; asimetric; aciclic în cadrul timpului de domeniu; pentru influență slabă utilizați prov:wasInfluencedBy
|
| owns / owned-by (belongs-to) | Posesie/apartenență | deține / aparține |
|
Apartenență | Ontologică (contextuală; necesită precizări de domeniu) | direcțional; nesimetric; netranzitiv; se face distincția între posesia juridică și deținerea de fapt (a nu se confunda cu located-in)
|
| same-as / same-as (simm.) | Identitate (echivalență) | este identic cu / este identic cu |
|
Echivalență | Ontologică (nucleu; de utilizat cu precauție) | reflexiv; simetric; tranzitiv |
| different-from / different-from (simm.) | Diferență/incompatibilitate | diferit de / diferit de |
|
Diferență | Ontologică (nucleu) | simetric; ireflexiv |
| adjacent-to / adjacent-to (simm.) | Adiacență (topologie) | adiacent cu / adiacent cu |
|
Topologie | Ontologică (nucleu) | simetric; ireflexiv; fără tranzitivitate |
| opposite-of / opposite-of (simm.) | Antonimie (opoziție) | este opus / este opus |
|
Lexico-semantică | Lexicală/tezaurală (a nu se axiomatiza) | relație lexico‑semantică; simetric; a nu se utiliza ca axiomă ontologică; preferabil de modelat prin scale calitative și disjuncție de clase |
Legenda tipurilor:
- Ontologică (nucleu) — permite axiomatizarea în OWL fără precizări speciale;
- Ontologică (contextuală; necesită precizări de domeniu) — interpretarea și inferențele depind de domeniu/model;
- Lexicală/tezaurală (a nu se axiomatiza) — doar pentru vocabular/KOS, a nu se utiliza pentru inferență logică.
Corespondența relațiilor semantice de bază cu standardele de ontologii
| Relație de bază (nucleu) | Relație de bază (cuvânt canonic) | RDF/RDFS/Dublin Core | SKOS | OWL / OWL‑Time / GeoSPARQL | OBO RO / BFO (dacă există) | Schema.org / altele | Note |
|---|---|---|---|---|---|---|---|
| subclass-of | Subtip (gen–specie) | rdfs:subClassOf | skos:broader / skos:narrower | — (în OWL se utilizează rdfs:subClassOf) | — | — | Ierarhie de clase; tranzitiv; moștenire de axiome/restricții (nu de valori). În SKOS — ierarhie tezaurală (implicit netranzitivă; există skos:broaderTransitive / skos:narrowerTransitive). Echivalența claselor se specifică separat: owl:equivalentClass. |
| instance-of | Instanță | rdf:type | — | owl:Class / owl:NamedIndividual | — | schema:additionalType | Tipizare „individ → clasă" (netranzitiv). Se admite tipizare multiplă. A nu se confunda cu subclass-of (clasă → clasă). |
| part-of / has-part | Parte–întreg (meronimie) | dcterms:isPartOf / dcterms:hasPart | — | owl:ObjectProperty personalizat (frecvent declarat ca owl:TransitiveProperty) | bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part | schema:isPartOf / schema:hasPart | Meronimie structurală/componentă; tranzitiv pentru „part_of" component. A nu se confunda cu membership (member-of). |
| member-of / has-member | Membru al colecției | rdfs:member | skos:member / skos:memberList | — | ro:member_of / ro:has_member | schema:member / schema:memberOf ; org:memberOf / org:hasMember | rdfs:member este utilizat istoric pentru containerele RDF; supraproprietate a proprietăților de container numerotate rdf:_1, rdf:_2, …; pentru grupuri/organizații se preferă schema.org sau W3C ORG. Netranzitiv. Diferit de component‑whole.
|
| located-in / contains | Localizare (incluziune) | dcterms:spatial | — | geosparql:sfWithin / geosparql:sfContains | ro:located_in | schema:containedInPlace / schema:containsPlace ; schema:location | Pentru geometrie strictă — GeoSPARQL (DE‑9IM; incluziunea zonelor). În GeoSPARQL tranzitivitatea nu este adnotată ca owl:TransitiveProperty; este admisibilă ca presupunere de model pentru ierarhii de zone. dcterms:spatial — ancorare referențială „slabă". În RO ro:located_in este declarat tranzitiv; la nivel aplicativ precizați domeniul/tipul localizării (administrativă, anatomică etc.) pentru ca tranzitivitatea să fie validă în modelul dvs.
|
| adjacent-to / overlaps | Adiacență / intersecție (topologie) | — | (dacă este necesar) skos:related | geosparql:sfTouches / geosparql:sfOverlaps | — | — | Relații diferite (touches ≠ overlaps); ambele simetrice; fără tranzitivitate. În termeni DE‑9IM: touches — frontiere în contact; overlaps — intersecție cu interioare comune nevide. |
| before / after | Secvență temporală (înainte/după) | — | — | time:before / time:after ; de asemenea time:intervalBefore / time:intervalAfter | bfo:precedes / bfo:preceded_by | — | Modelat ca ordine parțială strictă. În OWL‑Time tranzitivitatea este explicit specificată; asimetria/ireflexivitatea se specifică prin axiome ale ontologiei de proiect, dacă este necesar. |
| participates-in / has-participant | Participare la eveniment | — | — | — | ro:participates_in / ro:has_participant | sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer | Participarea ≠ rolul; pentru roluri — vezi has‑role. |
| has-role / role-of | Rol (roluri tematice) | — | — | owl:ObjectProperty personalizat | ro:has_role / ro:role_of ; bfo:Role | prov:hadRole (în interiorul prov:qualifiedAssociation) ; schema:Role (clasă), schema:roleName | Rolurile se realizează în evenimente/procese; a nu se confunda cu tipizarea (instance-of). |
| has-property / has-value | Proprietate / valoare | rdf:value (ancorare generală a valorii) | — | owl:DatatypeProperty / owl:ObjectProperty (tipuri de proprietăți) | ro:has_quality / ro:characteristic_of | schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue | Pentru calități este util pattern-ul RO (quality/characteristic of). owl:hasValue — constructor în restricții (nu proprietate obișnuită).
|
| causes | Cauzalitate | — | — | — | ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of | prov:wasInfluencedBy | Relație cauzală direcțională; de obicei aciclică. Precizați contextul temporal și domeniul de definiție. |
| same-as | Identitate (echivalență) | — | skos:exactMatch / skos:closeMatch | owl:sameAs ; pentru clase/proprietăți: owl:equivalentClass / owl:equivalentProperty | — | schema:sameAs | A se utiliza cu precauție. skos:exactMatch/closeMatch — doar pentru concepte SKOS, preponderent din scheme diferite (proprietăți de mapare); dintre proprietățile de mapare, doar skos:exactMatch este tranzitiv (ambele — simetrice); a nu se confunda cu owl:sameAs (identitatea resurselor).
|
| different-from | Diferență / incompatibilitate | — | — | owl:differentFrom ; owl:AllDifferent ; pentru clase: owl:disjointWith ; de asemenea owl:AllDisjointClasses / owl:AllDisjointProperties | — | — | Distincție explicită a indivizilor și disjuncție a claselor/proprietăților (pentru seturi — AllDisjoint). |
| owns / owned-by (belongs-to) | Posesie / apartenență | — | — | owl:ObjectProperty personalizat | — | schema:owns ; schema:OwnershipInfo | Se recomandă specificarea domeniului/intervalului și a cardinalităților; se face distincția între posesia juridică și deținerea de fapt (a nu se confunda cu located‑in). |
| opposite-of | Antonimie (opoziție) | — | — | — | — | (vocabular) lexinfo:antonym ; WordNet antonym | Relație lexicală; a nu se utiliza ca axiomă ontologică. În KOS, în absența unei proprietăți stricte, se admite skos:related. |
| derived-from / gives-rise-to | Proveniență / derivare | — | — | — | (dacă este necesar în bio‑ontologii) ro:develops_from | PROV‑O: prov:wasDerivedFrom | Derivare direcțională; admite lanțuri. A se separa de meronimie (part‑of) și de identitate (same‑as). |
| precondition-of / postcondition-of | Pre-/postcondiție a evenimentului/acțiunii | — | — | — | — | OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (istoric: process:hasEffect) | A se utiliza pentru ontologii de procese. În modele alternative — prin cauzalitate/timp (bfo:precedes, time:before) sau prin pattern-uri PROV (prov:used, prov:wasGeneratedBy) — în funcție de context.
|
| related-to | Relație asociativă (KOS) | — | skos:related | — | — | — | Simetric; fără tranzitivitate. A se utiliza doar în tezaure/KOS; semantică slabă — nu pentru inferență logică. |
Ontologii și vocabulare principale
- RDF și RDFS (W3C) — RDF: model abstract de graf de cunoștințe bazat pe triple subiect–predicat–obiect; RDFS: vocabular minim pentru definirea claselor/proprietăților și a ierarhiilor (subClassOf, subPropertyOf, domain/range).
- OWL / OWL 2 (W3C) — limbaj de reprezentare a cunoștințelor pentru definirea formală a ontologiilor (clase, axiome, tipuri și inversuri ale proprietăților, echivalență/disjuncție), conceput pentru inferență automată în logică DL.
- SKOS (W3C) — model pentru reprezentarea tezaurelor, clasificărilor și vocabularelor controlate peste RDF/RDFS (broader/narrower/related, colecții, corespondențe inter-tezaurale); nu definește ierarhii de clase.
- OWL‑Time (W3C) — ontologie a timpului în OWL 2 DL: momente, intervale, relații topologice (before/after), durate și poziții calendaristice-temporale.
- GeoSPARQL (OGC) — standard OGC pentru geosemantică: o mică ontologie OWL de „entități spațiale/geometrii", vocabular de relații topologice (within/contains, touches/overlaps etc.) și extensii SPARQL pentru interogări geografice.
- BFO și RO (OBO) — BFO: ontologie de nivel superior (continuant/occurrent etc.) pentru alinierea ontologiilor de domeniu; RO (Relations Ontology): set interdomenii de predicate relaționale (part_of/has_part, participates_in, cauzale etc.).
- PROV‑O (W3C) — ontologie OWL a provenienței datelor, implementând modelul PROV‑DM: entități, activități, agenți și relațiile lor pentru schimbul și analiza informațiilor de provenance.
- Schema.org — vocabular web aplicativ pentru marcarea datelor structurate pe pagini (JSON‑LD/RDFa/Microdata); inițiativă a motoarelor de căutare (2011) pentru unificarea tipurilor și proprietăților pe web-ul deschis.
Ontologii și vocabulare principale: referințe oficiale
| Denumire | Organism / statut | Documentație oficială |
|---|---|---|
| RDF 1.2 Concepts and Abstract Data Model | W3C Working Draft (2025) | Pagina specificației |
| RDF 1.2 Schema (RDFS) | W3C Working Draft (2025; revizie a versiunii 2014 fără modificări tehnice) | Pagina specificației |
| DCMI Metadata Terms (Dublin Core Terms) | DCMI Specification (2020) | Pagina specificației |
| OWL 2 Web Ontology Language | W3C Recommendation (2012, 2nd Ed.) | Prezentare generală/roadmap al specificațiilor OWL 2 |
| SKOS Reference | W3C Recommendation (2009) | Pagina specificației |
| Time Ontology in OWL (OWL‑Time) | W3C Candidate Recommendation Draft (2022) | Pagina specificației |
| GeoSPARQL 1.1 | OGC Implementation Standard | Pagina standardului OGC · Documentul standardului (OGC 22‑047r1) |
| Basic Formal Ontology (BFO) | OBO Foundry (upper ontology) | Fișă oficială/documentație |
| OBO Relations Ontology (RO) | OBO Foundry (relations) | Fișă oficială/documentație |
| PROV‑O: The PROV Ontology | W3C Recommendation (2013) | Pagina specificației |
| The Organization Ontology (ORG) | W3C Recommendation (2014) | Pagina specificației |
| Schema.org (documentation) | Documentație oficială a proiectului | Scheme și documentație |
| LexInfo (ontologie lexico‑semantică) | Site oficial/ontologie | Site oficial · OWL 3.0 |