Związek semantyczny
Jump to navigation
Jump to search
Związek semantyczny — sformalizowana relacja między encjami grafu wiedzy, normalizowana do skończonego jądra predykatów: podtyp (is‑a), instancja (instance‑of), część–całość (part‑of), członek kolekcji, lokalizacja/sąsiedztwo, przed/po, uczestnictwo/rola, właściwość/wartość, przyczynowość, tożsamość/różnica, posiadanie, przeciwieństwo. Strona zawiera kanoniczne sformułowania i synonimy, właściwości logiczne oraz odpowiedniki w standardach (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).
Podstawowe jądro związków semantycznych: normalizacja i słownik synonimów
| Formalizm (uproszczony) | Relacja podstawowa (słowo kanoniczne) | Normalizacja do jądra | Naturalny czasownik, fraza (synonimy) | Kategoria | Typ (warstwa semantyczna / tryb użycia) | Kluczowa właściwość |
|---|---|---|---|---|---|---|
| subclass-of / superclass-of | Podtyp (rodzaj–gatunek) | jest gatunkiem / ma podgatunek |
|
Taksonomia | Ontologiczny (jądro) | tranzytywne; dziedziczenie aksjomatów/ograniczeń klasy (nie wartości właściwości) |
| instance-of / has-instance | Instancja | jest instancją / ma instancję |
|
Taksonomia | Ontologiczny (jądro) | indywiduum → klasa; nietranzytywne |
| part-of / has-part | Część–całość (meronimia) | jest częścią / zawiera |
|
Meronimia | Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) | tranzytywne dla meronimii komponentowej; nie mylić z member-of; bez dziedziczenia wartości właściwości; tranzytywność nie przenosi się na typy „członek–kolekcja", „materiał–obiekt", „porcja–masa"; nie mylić z subclass-of (rodzaj–gatunek)
|
| derived-from / gives-rise-to | Pochodzenie/derywacja | pochodzi z / daje początek |
|
Pochodzenie | Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) | kierunkowe; niesymetryczne; dopuszcza łańcuchy |
| has-property / property-of | Właściwość/atrybut | ma właściwość / właściwość należy do |
|
Atrybut | Ontologiczny (jądro) | kierunkowe; niesymetryczne; nietranzytywne; dla jakości — wzorzec has_quality/characteristic_of
|
| located-in / contains | Lokalizacja (zagnieżdżenie) | znajduje się w / zawiera (jako miejsce) |
|
Przestrzeń | Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) | kierunkowe; tranzytywne tylko przy zagnieżdżaniu obszarów w jednym modelu przestrzennym; w innych interpretacjach tranzytywność nie jest zakładana |
| before / after | Chronologia | poprzedza / następuje po |
|
Czas | Ontologiczny (jądro) | tranzytywne; asymetryczne; irrefleksywne (ścisły porządek częściowy) |
| precondition-of / postcondition-of | Warunek/wynik zdarzenia/działania | jest warunkiem wstępnym / jest warunkiem końcowym |
|
Zdarzenia | Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) | kierunkowe; niesymetryczne; zazwyczaj acykliczne; kontekstowe |
| participates-in / has-participant | Uczestnictwo w zdarzeniu | uczestniczy w / ma uczestnika |
|
Zdarzenia | Ontologiczny (jądro) | kierunkowe; niesymetryczne; nietranzytywne |
| has-role / role-of | Rola (tematyczna) | pełni rolę / rola należy do |
|
Role | Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) | kierunkowe; niesymetryczne; realizowane w zdarzeniu/procesie |
| member-of / has-member | Członek kolekcji | jest członkiem / ma członków |
|
Kolekcje/członkostwo (nie meronimia) | Ontologiczny (jądro) | kierunkowe; niesymetryczne; brak tranzytywności; nie mylić z part-of (komponenty)
|
| causes / caused-by | Przyczynowość | powoduje / jest spowodowany przez |
|
Przyczynowo-skutkowa | Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) | kierunkowe; asymetryczne; acykliczne w ramach czasu domenowego; dla słabego oddziaływania używaj prov:wasInfluencedBy
|
| owns / owned-by (belongs-to) | Posiadanie/przynależność | posiada / należy do |
|
Przynależność | Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) | kierunkowe; niesymetryczne; nietranzytywne; rozróżniać posiadanie prawne od faktycznego dzierżenia (nie mylić z located-in)
|
| same-as / same-as (symm.) | Tożsamość (równoważność) | jest tożsamy z / jest tożsamy z |
|
Równoważność | Ontologiczny (jądro; stosować ostrożnie) | refleksywne; symetryczne; tranzytywne |
| different-from / different-from (symm.) | Różnica/niezgodność | różni się od / różni się od |
|
Różnica | Ontologiczny (jądro) | symetryczne; irrefleksywne |
| adjacent-to / adjacent-to (symm.) | Sąsiedztwo (topologia) | sąsiaduje z / sąsiaduje z |
|
Topologia | Ontologiczny (jądro) | symetryczne; irrefleksywne; brak tranzytywności |
| opposite-of / opposite-of (symm.) | Przeciwieństwo (antonimia) | jest przeciwny do / jest przeciwny do |
|
Leksykalno-semantyczna | Leksykalna/tezaurusowa (nie aksjomatyzować) | relacja leksykalno‑semantyczna; symetryczne; nie używać jako aksjomatu ontologicznego; preferowane modelowanie poprzez skale jakościowe i rozłączność klas |
Legenda typów:
- Ontologiczny (jądro) — dopuszcza aksjomatyzację w OWL bez szczególnych zastrzeżeń;
- Ontologiczny (kontekstowy; wymaga zastrzeżeń domenowych) — interpretacja i wnioskowanie zależą od domeny/modelu;
- Leksykalny/tezaurusowy (nie aksjomatyzować) — tylko dla leksyki/KOS, nie używać do wnioskowania logicznego.
Odpowiedniki podstawowych relacji semantycznych w standardach ontologii
| Relacja podstawowa (jądro) | Relacja podstawowa (słowo kanoniczne) | RDF/RDFS/Dublin Core | SKOS | OWL / OWL‑Time / GeoSPARQL | OBO RO / BFO (jeśli istnieje) | Schema.org / inne | Uwagi |
|---|---|---|---|---|---|---|---|
| subclass-of | Podtyp (rodzaj–gatunek) | rdfs:subClassOf | skos:broader / skos:narrower | — (w OWL używane rdfs:subClassOf) | — | — | Hierarchia klas; tranzytywne; dziedziczenie aksjomatów/ograniczeń (nie wartości). W SKOS — hierarchia tezaurusowa (domyślnie nietranzytywna; dostępne skos:broaderTransitive / skos:narrowerTransitive). Równoważność klas definiowana oddzielnie: owl:equivalentClass. |
| instance-of | Instancja | rdf:type | — | owl:Class / owl:NamedIndividual | — | schema:additionalType | Typowanie „indywiduum → klasa" (nietranzytywne). Dopuszczalne wielokrotne typowanie. Nie mylić z subclass-of (klasa → klasa). |
| part-of / has-part | Część–całość (meronimia) | dcterms:isPartOf / dcterms:hasPart | — | niestandardowa owl:ObjectProperty (często deklarowana jako owl:TransitiveProperty) | bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part | schema:isPartOf / schema:hasPart | Meronimia strukturalna/komponentowa; tranzytywne dla komponentowego „part_of". Nie mylić z członkostwem (member-of). |
| member-of / has-member | Członek kolekcji | rdfs:member | skos:member / skos:memberList | — | ro:member_of / ro:has_member | schema:member / schema:memberOf ; org:memberOf / org:hasMember | rdfs:member historycznie dotyczy kontenerów RDF; nad-właściwość numerowanych właściwości kontenerów rdf:_1, rdf:_2, …; dla grup/organizacji preferowane schema.org lub W3C ORG. Nietranzytywne. Różni się od component‑whole.
|
| located-in / contains | Lokalizacja (zagnieżdżenie) | dcterms:spatial | — | geosparql:sfWithin / geosparql:sfContains | ro:located_in | schema:containedInPlace / schema:containsPlace ; schema:location | Dla ścisłej geometrii — GeoSPARQL (DE‑9IM; zagnieżdżanie obszarów). W GeoSPARQL tranzytywność nie jest adnotowana jako owl:TransitiveProperty; dopuszczalna jako założenie modelu dla hierarchii obszarów. dcterms:spatial — „miękkie" odwołanie referencyjne. W RO ro:located_in zadeklarowane jako tranzytywne; na poziomie aplikacyjnym należy doprecyzować zakres/typ lokalizacji (administracyjna, anatomiczna itp.), aby tranzytywność była ważna w danym modelu.
|
| adjacent-to / overlaps | Sąsiedztwo / przecięcie (topologia) | — | (w razie potrzeby) skos:related | geosparql:sfTouches / geosparql:sfOverlaps | — | — | Różne relacje (touches ≠ overlaps); obie symetryczne; brak tranzytywności. W terminach DE‑9IM: touches — stykają się granicami; overlaps — przecięcie z niepustym przecięciem wnętrz. |
| before / after | Kolejność czasowa (przed/po) | — | — | time:before / time:after ; także time:intervalBefore / time:intervalAfter | bfo:precedes / bfo:preceded_by | — | Modelowane jako ścisły porządek częściowy. W OWL‑Time tranzytywność jest jawnie zdefiniowana; asymetria/irrefleksywność w razie potrzeby definiowane aksjomatami ontologii projektowej. |
| participates-in / has-participant | Uczestnictwo w zdarzeniu | — | — | — | ro:participates_in / ro:has_participant | sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer | Uczestnictwo ≠ rola; dla ról — zob. has‑role. |
| has-role / role-of | Rola (role tematyczne) | — | — | niestandardowa owl:ObjectProperty | ro:has_role / ro:role_of ; bfo:Role | prov:hadRole (wewnątrz prov:qualifiedAssociation) ; schema:Role (klasa), schema:roleName | Role realizowane w zdarzeniach/procesach; nie mylić z typowaniem (instance-of). |
| has-property / has-value | Właściwość / wartość | rdf:value (ogólne powiązanie wartości) | — | owl:DatatypeProperty / owl:ObjectProperty (typy właściwości) | ro:has_quality / ro:characteristic_of | schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue | Dla jakości wygodny wzorzec RO (quality/characteristic of). owl:hasValue — konstruktor w ograniczeniach (a nie zwykła właściwość).
|
| causes | Przyczynowość | — | — | — | ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of | prov:wasInfluencedBy | Kierunkowy związek przyczynowy; zazwyczaj acykliczny. Należy doprecyzować kontekst czasowy i zakres definicji. |
| same-as | Tożsamość (równoważność) | — | skos:exactMatch / skos:closeMatch | owl:sameAs ; dla klas/właściwości: owl:equivalentClass / owl:equivalentProperty | — | schema:sameAs | Używać ostrożnie. skos:exactMatch/closeMatch — tylko dla konceptów SKOS, głównie różnych schematów (właściwości mapowania); spośród właściwości mapowania tylko skos:exactMatch jest tranzytywny (obie — symetryczne); nie mylić z owl:sameAs (tożsamość zasobów).
|
| different-from | Różnica / niezgodność | — | — | owl:differentFrom ; owl:AllDifferent ; dla klas: owl:disjointWith ; także owl:AllDisjointClasses / owl:AllDisjointProperties | — | — | Jawne rozróżnianie indywiduów i rozłączność klas/właściwości (dla zbiorów — AllDisjoint). |
| owns / owned-by (belongs-to) | Posiadanie / przynależność | — | — | niestandardowa owl:ObjectProperty | — | schema:owns ; schema:OwnershipInfo | Zaleca się definiowanie domeny/zakresu i kardynalności; rozróżniać posiadanie prawne od faktycznego dzierżenia (nie mylić z located‑in). |
| opposite-of | Przeciwieństwo (antonimia) | — | — | — | — | (leksyka) lexinfo:antonym ; WordNet antonym | Relacja leksykalna; nie używać jako aksjomatu ontologicznego. W KOS przy braku ścisłej właściwości dopuszczalne skos:related. |
| derived-from / gives-rise-to | Pochodzenie / derywacja | — | — | — | (w razie potrzeby w bio-ontologiach) ro:develops_from | PROV‑O: prov:wasDerivedFrom | Kierunkowa derywacja; dopuszcza łańcuchy. Oddzielać od meronimii (part‑of) i od tożsamości (same‑as). |
| precondition-of / postcondition-of | Warunek wstępny/końcowy zdarzenia/działania | — | — | — | — | OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (historycznie: process:hasEffect) | Używać dla ontologii procesowych. W alternatywnych modelach — poprzez przyczynowość/czas (bfo:precedes, time:before) lub wzorce PROV (prov:used, prov:wasGeneratedBy) — zależnie od kontekstu.
|
| related-to | Związek asocjacyjny (KOS) | — | skos:related | — | — | — | Symetryczne; brak tranzytywności. Używać tylko w tezaurusach/KOS; słaba semantyka — nie do wnioskowania logicznego. |
Główne ontologie i słowniki
- RDF i RDFS (W3C) — RDF: abstrakcyjny model grafu wiedzy oparty na trójkach podmiot–predykat–obiekt; RDFS: minimalny słownik do definiowania klas/właściwości i hierarchii (subClassOf, subPropertyOf, domain/range).
- OWL / OWL 2 (W3C) — język reprezentacji wiedzy do formalnego definiowania ontologii (klasy, aksjomaty, typy i inwersje właściwości, równoważność/rozłączność), przeznaczony do automatycznego wnioskowania w logice DL.
- SKOS (W3C) — model reprezentacji tezaurusów, klasyfikacji i kontrolowanych słowników na bazie RDF/RDFS (broader/narrower/related, kolekcje, mapowania między tezaurusami); nie definiuje dziedziczenia klasowego.
- OWL‑Time (W3C) — ontologia czasu w OWL 2 DL: momenty, interwały, relacje topologiczne (before/after), czasy trwania i pozycje kalendarzowo-czasowe.
- GeoSPARQL (OGC) — standard OGC dla geosemantyki: niewielka OWL‑ontologia „encji przestrzennych/geometrii", słownik relacji topologicznych (within/contains, touches/overlaps i in.) oraz rozszerzenia SPARQL do zapytań geo.
- BFO i RO (OBO) — BFO: górnopoziomowa ontologia (continuant/occurrent i in.) do uzgadniania ontologii domenowych; RO (Relations Ontology): międzydziedzinowy zestaw predykatów relacyjnych (part_of/has_part, participates_in, przyczynowe i in.).
- PROV‑O (W3C) — OWL‑ontologia proweniencji danych implementująca model PROV‑DM: encje, aktywności, agenci i ich relacje do wymiany i analizy informacji proweniencji.
- Schema.org — praktyczny słownik webowy do oznaczania danych strukturalnych na stronach (JSON‑LD/RDFa/Microdata); inicjatywa wyszukiwarek (2011) na rzecz ujednolicenia typów i właściwości w otwartej sieci.
Główne ontologie i słowniki: oficjalne odnośniki
| Nazwa | Organ / status | Oficjalna dokumentacja |
|---|---|---|
| RDF 1.2 Concepts and Abstract Data Model | W3C Working Draft (2025) | Strona specyfikacji |
| RDF 1.2 Schema (RDFS) | W3C Working Draft (2025; redakcja wersji 2014 bez zmian technicznych) | Strona specyfikacji |
| DCMI Metadata Terms (Dublin Core Terms) | DCMI Specification (2020) | Strona specyfikacji |
| OWL 2 Web Ontology Language | W3C Recommendation (2012, 2nd Ed.) | Przegląd/mapa drogowa specyfikacji OWL 2 |
| SKOS Reference | W3C Recommendation (2009) | Strona specyfikacji |
| Time Ontology in OWL (OWL‑Time) | W3C Candidate Recommendation Draft (2022) | Strona specyfikacji |
| GeoSPARQL 1.1 | OGC Implementation Standard | Strona standardu OGC · Dokument standardu (OGC 22‑047r1) |
| Basic Formal Ontology (BFO) | OBO Foundry (upper ontology) | Oficjalna karta/dokumentacja |
| OBO Relations Ontology (RO) | OBO Foundry (relations) | Oficjalna karta/dokumentacja |
| PROV‑O: The PROV Ontology | W3C Recommendation (2013) | Strona specyfikacji |
| The Organization Ontology (ORG) | W3C Recommendation (2014) | Strona specyfikacji |
| Schema.org (documentation) | Oficjalna dokumentacja projektu | Schematy i dokumentacja |
| LexInfo (ontologia leksykalno‑semantyczna) | Oficjalna strona/ontologia | Oficjalna strona · OWL 3.0 |