Semantic relations — 시맨틱 관계

From Systems analysis Wiki
Jump to navigation Jump to search

의미적 관계(시맨틱 관계) — 지식 그래프의 개체 간에 형식화된 관계로, 유한한 핵심 술어들로 정규화된다: 하위유형(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 권장. 비추이적. 구성요소-전체와 다름.
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 개념 전용, 주로 서로 다른 스키마 간 (매핑 속성); 매핑 속성 중 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) — PROV‑DM 모델을 구현하는 OWL 데이터 출처 온톨로지: 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
Retrieved from "https://systems-analysis.info/int/index.php?title=Semantic_relations_—_시맨틱_관계&oldid=6681"