Семантическая связь

Материал из Systems analysis wiki
Перейти к навигации Перейти к поиску

Семантическая связь — формализованное отношение между сущностями графа знаний, нормализуемое до конечного ядра предикатов: подтип (is‑a), экземпляр (instance‑of), часть–целое (part‑of), член‑коллекции, локализация/смежность, до/после, участие/роль, свойство/значение, причинность, тождество/различие, владение, противоположность. Страница фиксирует канонические формулировки и синонимы, логические свойства и соответствия стандартам (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).

Базовое ядро семантических связей: нормализация и словарь синонимов

Формализм (упрощённый) Базовое отношение (каноническое слово) Нормализация в ядро (рус.) Естественный глагол, фраза (синонимы) Категория Тип (семантический слой / режим использования) Ключевое свойство
subclass-of / superclass-of Подтип (род–вид) является видом / имеет подвид
  • является (род–вид)
  • это (род–вид)
  • подтип
  • вид
  • тип
 Таксономия Онтологическая (ядро) транзитивно; наследование аксиом/ограничений класса (не значений свойств)
instance-of / has-instance Экземпляр является экземпляром / имеет экземпляр
  • является (экземпляр)
  • это (экземпляр)
  • относится к классу
  • принадлежит классу
  • представитель
  • экземпляр
 Таксономия Онтологическая (ядро) индивид → класс; не транзитивно
part-of / has-part Часть–целое (меронимия) является частью / включает
  • состоит из
  • включает
  • имеет в составе
  • содержит как часть
  • собран из
  • комплектуется компонентами
 Меронимия Онтологическая (контекстная; требует доменных оговорок) транзитивно для компонентной меронимии; не путать с member-of; без наследования значений свойств; транзитивность не переносится на типы «член–коллекция», «материал–объект», «порция–масса»; не путать с subclass-of (род–вид)
derived-from / gives-rise-to Происхождение/деривация происходит из / порождает
  • получен из
  • образован из
  • происходит из
  • выведен из
 Происхождение Онтологическая (контекстная; требует доменных оговорок) направлено; не симметрично; допускает цепочки
has-property / property-of Свойство/атрибут имеет свойство / свойство у
  • имеет свойство
  • имеет значение
  • обладает признаком
  • характеризуется
  • имеет параметр
 Атрибут Онтологическая (ядро) направлено; не симметрично; не транзитивно; для качеств — паттерн has_quality/characteristic_of
located-in / contains Локализация (вложенность) находится в / содержит (как место)
  • находится в
  • расположен в
  • внутри
  • в пределах области
  • на территории
 Пространство Онтологическая (контекстная; требует доменных оговорок) направлено; транзитивно только при вложении областей в одной пространственной модели; в иных интерпретациях транзитивность не предполагается
before / after Хронология предшествует / следует за
  • раньше
  • до
  • идёт перед
  • позже
  • после
  • затем
 Время Онтологическая (ядро) транзитивно; асимметрично; иррефлексивно (строгий частичный порядок)
precondition-of / postcondition-of Условие/результат события/действия является предусловием / является постусловием
  • условие выполнения
  • предусловие
  • необходимо для
  • требуется для
  • результат
  • эффект
  • последствие
 События Онтологическая (контекстная; требует доменных оговорок) направлено; не симметрично; обычно ациклично; контекстно
participates-in / has-participant Участие в событии участвует в / имеет участника
  • участвует в
  • задействован в
  • вовлечён в
  • принимает участие в
 События Онтологическая (ядро) направлено; не симметрично; не транзитивно
has-role / role-of Роль (тематическая) выполняет роль / роль у
  • выполняет роль
  • выступает в роли
  • действует как
  • служит в качестве
  • является агентом
  • является пациентом
  • является инструментом
 Роли Онтологическая (контекстная; требует доменных оговорок) направлено; не симметрично; реализуется в событии/процессе
member-of / has-member Член коллекции является членом / имеет членов
  • принадлежит группе
  • состоит в команде
  • член коллекции
  • входит в группу
  • элемент множества
 Коллекции/членство (не меронимия) Онтологическая (ядро) направлено; не симметрично; нет транзитивности; не путать с part-of (компоненты)
causes / caused-by Причинность вызывает / вызван
  • приводит к
  • вызывает
  • влечёт
  • обусловливает
  • ведёт к
  • является причиной
 Причинно-следственная Онтологическая (контекстная; требует доменных оговорок) направлено; асимметрично; ациклично в рамках доменного времени; для слабого воздействия используйте prov:wasInfluencedBy
owns / owned-by (belongs-to) Владение/принадлежность владеет / принадлежит
  • владеет
  • является собственником
  • находится во владении
  • состоит на балансе
  • принадлежит
 Принадлежность Онтологическая (контекстная; требует доменных оговорок) направлено; не симметрично; не транзитивно; различать юридическое владение и фактическое удержание (не смешивать с located-in)
same-as / same-as (симм.) Идентичность (эквивалентность) тождественен / тождественен
  • идентичен
  • тождественен
  • эквивалентен
  • то же самое что
  • совпадает с
 Эквивалентность Онтологическая (ядро; применять с осторожностью) рефлексивно; симметрично; транзитивно
different-from / different-from (симм.) Различие/несовместимость отличен от / отличен от
  • не тождественен
  • различен
  • несовместим с
  • не совпадает
 Различие Онтологическая (ядро) симметрично; иррефлексивно
adjacent-to / adjacent-to (симм.) Смежность (топология) смежен с / смежен с
  • граничит с
  • примыкает к
  • соседствует с
  • в соприкосновении с
 Топология Онтологическая (ядро) симметрично; иррефлексивно; нет транзитивности
opposite-of / opposite-of (симм.) Противоположность (антонимия) противоположен / противоположен
  • противоположен
  • антонимичен
  • обратный по качеству
  • контрарный
  • противопоставлен
 Лексико-семантика Лексическая/тезаурусная (не аксиоматизировать) лексико‑семантическая связь; симметрично; не использовать как онтологическую аксиому; предпочтительно моделировать через качественные шкалы и дизъюнктность классов

Легенда типов:

  • Онтологическая (ядро) — допускает аксиоматизацию в OWL без специальных оговорок;
  • Онтологическая (контекстная; требует доменных оговорок) — интерпретация и выводы зависят от домена/модели;
  • Лексическая/тезаурусная (не аксиоматизировать) — только для лексики/KOS, не использовать для логического вывода.

Соответствие базовых семантических отношений стандартам онтологий

Базовое отношение (ядро) Базовое отношение (каноническое слово) RDF/RDFS/Dublin Core SKOS OWL / OWL‑Time / GeoSPARQL OBO RO / BFO (если есть) Schema.org / прочее Примечания
subclass-of Подтип (род–вид) rdfs:subClassOf skos:broader / skos:narrower — (в OWL используется rdfs:subClassOf) — — Классовая иерархия; транзитивно; наследование аксиом/ограничений (не значений). В SKOS — тезаурусная иерархия (по умолчанию не транзитивна; есть skos:broaderTransitive / skos:narrowerTransitive). Эквивалентность классов задаётся отдельно: owl:equivalentClass.
instance-of Экземпляр rdf:type — owl:Class / owl:NamedIndividual — schema:additionalType Типизация «индивид → класс» (не транзитивно). Допустима множественная типизация. Не путать с subclass-of (класс → класс).
part-of / has-part Часть–целое (меронимия) dcterms:isPartOf / dcterms:hasPart — пользовательское owl:ObjectProperty (часто объявляют как owl:TransitiveProperty) bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part schema:isPartOf / schema:hasPart Структурная/компонентная меронимия; транзитивно для компонентного «part_of». Не путать с членством (member-of).
member-of / has-member Член коллекции rdfs:member skos:member / skos:memberList — ro:member_of / ro:has_member schema:member / schema:memberOf ; org:memberOf / org:hasMember rdfs:member исторически про RDF‑контейнеры; над‑свойство нумерованных контейнерных свойств rdf:_1, rdf:_2, …; для групп/организаций предпочтительнее schema.org или W3C ORG. Не транзитивно. Отличается от component‑whole.
located-in / contains Локализация (вложенность) dcterms:spatial — geosparql:sfWithin / geosparql:sfContains ro:located_in schema:containedInPlace / schema:containsPlace ; schema:location Для строгой геометрии — GeoSPARQL (DE‑9IM; вложение областей). В GeoSPARQL транзитивность не аннотируется как owl:TransitiveProperty; допустима как допущение модели для иерархий областей. dcterms:spatial — «мягкая» ссылочная привязка. В RO ro:located_in объявлено транзитивным; на прикладном уровне уточняйте область/тип локализации (административная, анатомическая и т. п.), чтобы транзитивность была валидна в вашей модели.
adjacent-to / overlaps Смежность / пересечение (топология) — (при необходимости) skos:related geosparql:sfTouches / geosparql:sfOverlaps — — Разные отношения (touches ≠ overlaps); оба симметричны; нет транзитивности. В терминах DE‑9IM: touches — соприкасаются границами; overlaps — пересечение с непустым пересечением интерьеров.
before / after Временная последовательность (до/после) — — time:before / time:after ; также time:intervalBefore / time:intervalAfter bfo:precedes / bfo:preceded_by — Моделируется как строгий частичный порядок. В OWL‑Time явно задана транзитивность; асимметрия/иррефлексивность при необходимости задаются аксиомами проектной онтологии.
participates-in / has-participant Участие в событии — — — ro:participates_in / ro:has_participant sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer Участие ≠ роль; для ролей — см. has‑role.
has-role / role-of Роль (тематические роли) — — пользовательское owl:ObjectProperty ro:has_role / ro:role_of ; bfo:Role prov:hadRole (внутри prov:qualifiedAssociation) ; schema:Role (класс), schema:roleName Роли реализуются в событиях/процессах; не путать с типизацией (instance-of).
has-property / has-value Свойство / значение rdf:value (общая привязка значения) — owl:DatatypeProperty / owl:ObjectProperty (типы свойств) ro:has_quality / ro:characteristic_of schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue Для качеств удобен паттерн RO (quality/characteristic of). owl:hasValue — конструктор в ограничениях (а не обычное свойство).
causes Причинность — — — ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of prov:wasInfluencedBy Направленная каузальная связь; обычно ациклична. Уточняйте временной контекст и область определения.
same-as Идентичность (эквивалентность) — skos:exactMatch / skos:closeMatch owl:sameAs ; для классов/свойств: owl:equivalentClass / owl:equivalentProperty — schema:sameAs Использовать осторожно. skos:exactMatch/closeMatch — только для SKOS‑концептов, преимущественно разных схем (mapping‑свойства); из mapping‑свойств только skos:exactMatch транзитивен (оба — симметричны); не путать с owl:sameAs (тождество ресурсов).
different-from Различие / несовместимость — — owl:differentFrom ; owl:AllDifferent ; для классов: owl:disjointWith ; также owl:AllDisjointClasses / owl:AllDisjointProperties — — Явное различение индивидов и непересекаемость классов/свойств (на наборах — AllDisjoint).
owns / owned-by (belongs-to) Владение / принадлежность — — пользовательское owl:ObjectProperty — schema:owns ; schema:OwnershipInfo Рекомендуется задавать домен/диапазон и кардинальности; различать юридическое владение и фактическое удержание (не путать с located‑in).
opposite-of Противоположность (антонимия) — — — — (лексика) lexinfo:antonym ; WordNet antonym Лексическое отношение; не использовать как онтологическую аксиому. В KOS при отсутствии строгого свойства допускают skos:related.
derived-from / gives-rise-to Происхождение / деривация — — — (при необходимости в био‑онтологиях) ro:develops_from PROV‑O: prov:wasDerivedFrom Направленная деривация; допускает цепочки. Отделять от меронимии (part‑of) и от тождества (same‑as).
precondition-of / postcondition-of Пред-/постусловие события/действия — — — — OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (исторически: process:hasEffect) Использовать для процессных онтологий. В альтернативных моделях — через причинность/время (bfo:precedes, time:before) или PROV‑паттерны (prov:used, prov:wasGeneratedBy) — по контексту.
related-to Ассоциативная связь (KOS) — skos:related — — — Симметрично; нет транзитивности. Использовать только в тезаурусах/KOS; слабая семантика — не для логического вывода.

Основные онтологии и словари

  • RDF и RDFS (W3C) — RDF: абстрактная модель графа знаний на троиках субъект–предикат–объект; RDFS: минимальный словарь для задания классов/свойств и иерархий (subClassOf, subPropertyOf, domain/range).
  • OWL / OWL 2 (W3C) — язык представления знаний для формального задания онтологий (классы, аксиомы, типы и инверсии свойств, эквивалентность/дизъюнктность), рассчитанный на автоматический вывод в логике DL.
  • SKOS (W3C) — модель для представления тезаурусов, классификаций и контролируемых словарей поверх RDF/RDFS (broader/narrower/related, коллекции, межтезаурусные соответствия); не задаёт классового наследования.
  • OWL‑Time (W3C) — онтология времени в OWL 2 DL: моменты, интервалы, топологические отношения (before/after), длительности и календарно‑временные позиции.
  • GeoSPARQL (OGC) — стандарт OGC для геосемантики: небольшая OWL‑онтология «пространственных сущностей/геометрий», словарь топологических отношений (within/contains, touches/overlaps и др.) и расширения SPARQL для гео‑запросов.
  • BFO и RO (OBO) — BFO: верхнеуровневая онтология (continuant/occurrent и др.) для согласования доменных онтологий; RO (Relations Ontology): междоменный набор отношенческих предикатов (part_of/has_part, participates_in, каузальные и др.).
  • PROV‑O (W3C) — OWL‑онтология происхождения данных, реализующая модель PROV‑DM: сущности, активности, агенты и их связи для обмена и анализа provenance‑информации.
  • Schema.org — прикладной веб‑словарь для разметки структурированных данных на страницах (JSON‑LD/RDFa/Microdata); инициатива поисковых систем (2011) для унификации типов и свойств в открытом вебе.

Основные онтологии и словари: официальные ссылки

Наименование Орган / статус Официальная документация
RDF 1.2 Concepts and Abstract Data Model W3C Working Draft (2025) Страница спецификации
RDF 1.2 Schema (RDFS) W3C Working Draft (2025; редакция версии 2014 без технических изменений) Страница спецификации
DCMI Metadata Terms (Dublin Core Terms) DCMI Specification (2020) Страница спецификации
OWL 2 Web Ontology Language W3C Recommendation (2012, 2nd Ed.) Обзор/роадмап спецификаций OWL 2
SKOS Reference W3C Recommendation (2009) Страница спецификации
Time Ontology in OWL (OWL‑Time) W3C Candidate Recommendation Draft (2022) Страница спецификации
GeoSPARQL 1.1 OGC Implementation Standard Страница стандарта OGC · Документ стандарта (OGC 22‑047r1)
Basic Formal Ontology (BFO) OBO Foundry (upper ontology) Официальная карточка/документация
OBO Relations Ontology (RO) OBO Foundry (relations) Официальная карточка/документация
PROV‑O: The PROV Ontology W3C Recommendation (2013) Страница спецификации
The Organization Ontology (ORG) W3C Recommendation (2014) Страница спецификации
Schema.org (documentation) Официальная документация проекта Схемы и документация
LexInfo (лексико‑семантическая онтология) Официальный сайт/онтология Официальный сайт · OWL 3.0
Источник — https://systems-analysis.ru/wiki/index.php?title=Семантическая_связь&oldid=3212