Szemantikai kapcsolat
Jump to navigation
Jump to search
Szemantikai kapcsolat — tudásgráf entitások között fennálló formalizált viszony, amely véges predikátummagra normalizálható: altípus (is‑a), példány (instance‑of), rész–egész (part‑of), gyűjteménytagság, lokalizáció/szomszédosság, előtte/utána, részvétel/szerep, tulajdonság/érték, kauzalitás, azonosság/különbség, tulajdonlás, ellentétesség. Az oldal rögzíti a kanonikus megfogalmazásokat és szinonimákat, a logikai tulajdonságokat, valamint a szabványoknak való megfelelést (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).
A szemantikai kapcsolatok alap magja: normalizálás és szinonimaszótár
| Formalizmus (egyszerűsített) | Alapvető viszony (kanonikus szó) | Normalizálás a magba (hu.) | Természetes ige, kifejezés (szinonimák) | Kategória | Típus (szemantikai réteg / felhasználási mód) | Kulcstulajdonság |
|---|---|---|---|---|---|---|
| subclass-of / superclass-of | Altípus (nem–faj) | faja / alfaja van |
|
Taxonómia | Ontológiai (mag) | tranzitív; osztályaxiómák/megszorítások öröklése (nem tulajdonságértékeké) |
| instance-of / has-instance | Példány | példánya / példánya van |
|
Taxonómia | Ontológiai (mag) | egyéni → osztály; nem tranzitív |
| part-of / has-part | Rész–egész (meronímia) | részét képezi / tartalmazza |
|
Meronímia | Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) | tranzitív komponensmeronímia esetén; nem tévesztendő össze member-of-gyel; nem örökíti a tulajdonságértékeket; a tranzitivitás nem terjed ki a „tag–gyűjtemény", „anyag–tárgy", „adag–massza" típusokra; nem tévesztendő össze subclass-of-vel (nem–faj)
|
| derived-from / gives-rise-to | Eredet/deriváció | származik / létrehozza |
|
Eredet | Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) | irányított; nem szimmetrikus; láncok megengedettek |
| has-property / property-of | Tulajdonság/attribútum | tulajdonsága van / tulajdonsága |
|
Attribútum | Ontológiai (mag) | irányított; nem szimmetrikus; nem tranzitív; minőségek esetén — has_quality/characteristic_of minta
|
| located-in / contains | Lokalizáció (beágyazottság) | benne található / tartalmazza (mint helyet) |
|
Tér | Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) | irányított; tranzitív csak területek beágyazódásakor egyazon térbeli modellen belül; más értelmezésekben a tranzitivitás nem feltételezhető |
| before / after | Kronológia | megelőzi / követi |
|
Idő | Ontológiai (mag) | tranzitív; aszimmetrikus; irreflex (szigorú részleges rendezés) |
| precondition-of / postcondition-of | Esemény/cselekvés feltétele/eredménye | előfeltétele / utófeltétele |
|
Események | Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) | irányított; nem szimmetrikus; általában aciklikus; kontextuális |
| participates-in / has-participant | Részvétel eseményben | részt vesz benne / résztvevője van |
|
Események | Ontológiai (mag) | irányított; nem szimmetrikus; nem tranzitív |
| has-role / role-of | Szerep (tematikus) | szerepet tölt be / szerepe van |
|
Szerepek | Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) | irányított; nem szimmetrikus; eseményben/folyamatban realizálódik |
| member-of / has-member | Gyűjtemény tagja | tagja / tagjait tartalmazza |
|
Gyűjtemények/tagság (nem meronímia) | Ontológiai (mag) | irányított; nem szimmetrikus; nem tranzitív; nem tévesztendő össze part-of-tel (komponensek)
|
| causes / caused-by | Kauzalitás | okozza / okozta |
|
Ok-okozati | Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) | irányított; aszimmetrikus; aciklikus a domén időkeretein belül; gyenge hatáshoz használja prov:wasInfluencedBy-ot
|
| owns / owned-by (belongs-to) | Tulajdonlás/hovatartozás | tulajdonosa / tulajdonát képezi |
|
Hovatartozás | Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) | irányított; nem szimmetrikus; nem tranzitív; megkülönböztetendő a jogi tulajdonlás és a tényleges birtoklás (nem keverendő össze located-in-tel)
|
| same-as / same-as (szimm.) | Azonosság (ekvivalencia) | azonos / azonos |
|
Ekvivalencia | Ontológiai (mag; körültekintően alkalmazandó) | reflexív; szimmetrikus; tranzitív |
| different-from / different-from (szimm.) | Különbség/összeférhetetlenség | különbözik / különbözik |
|
Különbség | Ontológiai (mag) | szimmetrikus; irreflex |
| adjacent-to / adjacent-to (szimm.) | Szomszédosság (topológia) | szomszédos / szomszédos |
|
Topológia | Ontológiai (mag) | szimmetrikus; irreflex; nem tranzitív |
| opposite-of / opposite-of (szimm.) | Ellentétesség (antonímia) | ellentétes / ellentétes |
|
Lexiko-szemantika | Lexikai/tezauruszi (nem axiomatizálandó) | lexiko‑szemantikai kapcsolat; szimmetrikus; nem használható ontológiai axiómaként; preferáltan minőségi skálák és osztálydiszjunktság révén modellezendő |
Típusok jelmagyarázata:
- Ontológiai (mag) — OWL-ban speciális kikötések nélkül axiomatizálható;
- Ontológiai (kontextuális; doménspecifikus kikötéseket igényel) — az értelmezés és a következtetések a doméntől/modelltől függenek;
- Lexikai/tezauruszi (nem axiomatizálandó) — csak lexikához/KOS-hoz, logikai következtetésre nem használandó.
Az alapvető szemantikai viszonyok megfeleltetése ontológiai szabványokhoz
| Alapvető viszony (mag) | Alapvető viszony (kanonikus szó) | RDF/RDFS/Dublin Core | SKOS | OWL / OWL‑Time / GeoSPARQL | OBO RO / BFO (ha van) | Schema.org / egyéb | Megjegyzések |
|---|---|---|---|---|---|---|---|
| subclass-of | Altípus (nem–faj) | rdfs:subClassOf | skos:broader / skos:narrower | — (OWL-ban rdfs:subClassOf használatos) | — | — | Osztályhierarchia; tranzitív; axiómák/megszorítások öröklése (nem értékeké). SKOS-ban — tezauruszi hierarchia (alapértelmezés szerint nem tranzitív; létezik skos:broaderTransitive / skos:narrowerTransitive). Osztályok ekvivalenciája külön adható meg: owl:equivalentClass. |
| instance-of | Példány | rdf:type | — | owl:Class / owl:NamedIndividual | — | schema:additionalType | Típusozás „egyedi → osztály" (nem tranzitív). Többszörös típusozás megengedett. Nem tévesztendő össze a subclass-of-fal (osztály → osztály). |
| part-of / has-part | Rész–egész (meronímia) | dcterms:isPartOf / dcterms:hasPart | — | egyéni owl:ObjectProperty (gyakran owl:TransitiveProperty-ként deklarálják) | bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part | schema:isPartOf / schema:hasPart | Strukturális/komponens meronímia; tranzitív a komponens „part_of" esetén. Nem tévesztendő össze a tagság-gal (member-of). |
| member-of / has-member | Gyűjtemény tagja | rdfs:member | skos:member / skos:memberList | — | ro:member_of / ro:has_member | schema:member / schema:memberOf ; org:memberOf / org:hasMember | Az rdfs:member hagyományosan RDF-konténerekhez tartozik; felső-tulajdonsága a számozott konténertulajdonságoknak rdf:_1, rdf:_2, …; csoportok/szervezetek esetén a schema.org vagy W3C ORG preferált. Nem tranzitív. Különbözik a komponens–egész viszonytól.
|
| located-in / contains | Lokalizáció (beágyazottság) | dcterms:spatial | — | geosparql:sfWithin / geosparql:sfContains | ro:located_in | schema:containedInPlace / schema:containsPlace ; schema:location | Szigorú geometria esetén — GeoSPARQL (DE‑9IM; területek beágyazása). A GeoSPARQL-ban a tranzitivitás nem owl:TransitiveProperty-ként van annotálva; területhierarchiákra modellezési feltételezésként elfogadható. A dcterms:spatial — „puha" referenciális kötés. Az RO-ban ro:located_in tranzitívként van deklarálva; alkalmazási szinten pontosítsa a lokalizáció területét/típusát (adminisztratív, anatómiai stb.), hogy a tranzitivitás érvényes legyen a modelljében.
|
| adjacent-to / overlaps | Szomszédosság / metszetesség (topológia) | — | (szükség esetén) skos:related | geosparql:sfTouches / geosparql:sfOverlaps | — | — | Különböző viszonyok (touches ≠ overlaps); mindkettő szimmetrikus; nem tranzitív. DE‑9IM terminológiában: touches — határok érintkeznek; overlaps — metszet nem üres belső metszettel. |
| before / after | Időbeli sorrend (előtte/utána) | — | — | time:before / time:after ; valamint time:intervalBefore / time:intervalAfter | bfo:precedes / bfo:preceded_by | — | Szigorú részleges rendezésként modellezendő. Az OWL‑Time-ban a tranzitivitás explicit; az aszimmetria/irreflexivitás szükség esetén a tervezési ontológia axiómáival adható meg. |
| participates-in / has-participant | Részvétel eseményben | — | — | — | ro:participates_in / ro:has_participant | sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer | Részvétel ≠ szerep; szerepekhez — lásd has‑role. |
| has-role / role-of | Szerep (tematikus szerepek) | — | — | egyéni owl:ObjectProperty | ro:has_role / ro:role_of ; bfo:Role | prov:hadRole (prov:qualifiedAssociation-ön belül) ; schema:Role (osztály), schema:roleName | A szerepek eseményekben/folyamatokban realizálódnak; nem tévesztendő össze a típusozással (instance-of). |
| has-property / has-value | Tulajdonság / érték | rdf:value (általános értékkötés) | — | owl:DatatypeProperty / owl:ObjectProperty (tulajdonságtípusok) | ro:has_quality / ro:characteristic_of | schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue | Minőségekhez célszerű az RO minta (quality/characteristic of). owl:hasValue — megszorításokban használt konstruktor (nem közönséges tulajdonság).
|
| causes | Kauzalitás | — | — | — | ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of | prov:wasInfluencedBy | Irányított kauzális kapcsolat; általában aciklikus. Pontosítsa az időbeli kontextust és az értelmezési tartományt. |
| same-as | Azonosság (ekvivalencia) | — | skos:exactMatch / skos:closeMatch | owl:sameAs ; osztályok/tulajdonságok esetén: owl:equivalentClass / owl:equivalentProperty | — | schema:sameAs | Körültekintően alkalmazandó. skos:exactMatch/closeMatch — csak SKOS-fogalmakhoz, elsősorban különböző sémák között (mapping-tulajdonságok); a mapping-tulajdonságok közül csak skos:exactMatch tranzitív (mindkettő szimmetrikus); nem tévesztendő össze owl:sameAs-tel (erőforrás-azonosság).
|
| different-from | Különbség / összeférhetetlenség | — | — | owl:differentFrom ; owl:AllDifferent ; osztályok esetén: owl:disjointWith ; valamint owl:AllDisjointClasses / owl:AllDisjointProperties | — | — | Egyedek explicit megkülönböztetése és osztályok/tulajdonságok diszjunktsága (halmazokra — AllDisjoint). |
| owns / owned-by (belongs-to) | Tulajdonlás / hovatartozás | — | — | egyéni owl:ObjectProperty | — | schema:owns ; schema:OwnershipInfo | Javasolt a domén/tartomány és a kardinalitások megadása; megkülönböztetendő a jogi tulajdonlás és a tényleges birtoklás (nem keverendő össze a located‑in-nel). |
| opposite-of | Ellentétesség (antonímia) | — | — | — | — | (lexika) lexinfo:antonym ; WordNet antonym | Lexikai viszony; nem használható ontológiai axiómaként. KOS-ban szigorú tulajdonság hiányában a skos:related megengedett. |
| derived-from / gives-rise-to | Eredet / deriváció | — | — | — | (szükség esetén bio-ontológiákban) ro:develops_from | PROV‑O: prov:wasDerivedFrom | Irányított deriváció; láncok megengedettek. Elkülönítendő a meronímiatól (part‑of) és az azonosságtól (same‑as). |
| precondition-of / postcondition-of | Esemény/cselekvés elő-/utófeltétele | — | — | — | — | OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (korábban: process:hasEffect) | Folyamat-ontológiákhoz használandó. Alternatív modellekben — kauzalitáson/időn keresztül (bfo:precedes, time:before) vagy PROV-mintákkal (prov:used, prov:wasGeneratedBy) — a kontextustól függően.
|
| related-to | Asszociatív kapcsolat (KOS) | — | skos:related | — | — | — | Szimmetrikus; nem tranzitív. Csak tezauruszokban/KOS-ban használandó; gyenge szemantika — logikai következtetésre nem alkalmas. |
Főbb ontológiák és szótárak
- RDF és RDFS (W3C) — RDF: absztrakt tudásgráf-modell alany–predikátum–objektum hármasokra épülve; RDFS: minimális szótár osztályok/tulajdonságok és hierarchiák megadásához (subClassOf, subPropertyOf, domain/range).
- OWL / OWL 2 (W3C) — tudásreprezentációs nyelv formális ontológiák megadásához (osztályok, axiómák, tulajdonságtípusok és inverziók, ekvivalencia/diszjunktság), DL logikában automatikus következtetésre tervezve.
- SKOS (W3C) — tezauruszok, osztályozások és kontrollált szótárak megjelenítési modellje RDF/RDFS felett (broader/narrower/related, gyűjtemények, tezauruszközi megfeleltetések); nem definiál osztályhierarchiát.
- OWL‑Time (W3C) — időontológia OWL 2 DL-ben: pillanatok, intervallumok, topológiai viszonyok (before/after), időtartamok és naptári-időbeli pozíciók.
- GeoSPARQL (OGC) — OGC szabvány geoszemantikához: kis OWL-ontológia „térbeli entitások/geometriák" számára, topológiai viszonyok szótára (within/contains, touches/overlaps stb.) és SPARQL-kiterjesztések geo-lekérdezésekhez.
- BFO és RO (OBO) — BFO: felső szintű ontológia (continuant/occurrent stb.) doménontológiák összehangolásához; RO (Relations Ontology): doménközi relációspredikatív készlet (part_of/has_part, participates_in, kauzális stb.).
- PROV‑O (W3C) — OWL-ontológia adatok provenienciájához, a PROV‑DM modellt megvalósítva: entitások, aktivitások, ágensek és kapcsolataik a provenance-információk cseréjéhez és elemzéséhez.
- Schema.org — alkalmazott webes szótár strukturált adatok oldaljelöléséhez (JSON‑LD/RDFa/Microdata); keresőmotorok kezdeményezése (2011) a nyílt web típusainak és tulajdonságainak egységesítésére.
Főbb ontológiák és szótárak: hivatalos hivatkozások
| Megnevezés | Szervezet / státusz | Hivatalos dokumentáció |
|---|---|---|
| RDF 1.2 Concepts and Abstract Data Model | W3C Working Draft (2025) | Specifikáció oldala |
| RDF 1.2 Schema (RDFS) | W3C Working Draft (2025; a 2014-es verzió felülvizsgálata technikai változtatások nélkül) | Specifikáció oldala |
| DCMI Metadata Terms (Dublin Core Terms) | DCMI Specification (2020) | Specifikáció oldala |
| OWL 2 Web Ontology Language | W3C Recommendation (2012, 2nd Ed.) | OWL 2 specifikációk áttekintése/ütemterve |
| SKOS Reference | W3C Recommendation (2009) | Specifikáció oldala |
| Time Ontology in OWL (OWL‑Time) | W3C Candidate Recommendation Draft (2022) | Specifikáció oldala |
| GeoSPARQL 1.1 | OGC Implementation Standard | OGC szabvány oldala · Szabványdokumentum (OGC 22‑047r1) |
| Basic Formal Ontology (BFO) | OBO Foundry (upper ontology) | Hivatalos lap/dokumentáció |
| OBO Relations Ontology (RO) | OBO Foundry (relations) | Hivatalos lap/dokumentáció |
| PROV‑O: The PROV Ontology | W3C Recommendation (2013) | Specifikáció oldala |
| The Organization Ontology (ORG) | W3C Recommendation (2014) | Specifikáció oldala |
| Schema.org (documentation) | A projekt hivatalos dokumentációja | Sémák és dokumentáció |
| LexInfo (lexiko‑szemantikai ontológia) | Hivatalos weboldal/ontológia | Hivatalos weboldal · OWL 3.0 |