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 の方が望ましい。非推移的。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コンセプトにのみ使用し、主に異なるスキーマ間で用いる（マッピングプロパティ）。マッピングプロパティのうち、推移的なのは 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オントロジー：来歴情報の交換と分析のためのエンティティ、アクティビティ、エージェントおよびそれらの関係。
  • Schema.org — ウェブページ上の構造化データをマークアップするための応用的なウェブ語彙（JSON-LD/RDFa/Microdata）。オープンウェブにおける型とプロパティを統一するために、検索エンジンによって2011年に開始されたイニシアチブ。

主要なオントロジーと語彙：公式サイトへのリンク

名称 機関 / ステータス 公式ドキュメント
RDF 1.2 Concepts and Abstract Data Model W3C 作業草案 (2025) 仕様ページ
RDF 1.2 Schema (RDFS) W3C 作業草案 (2025; 2014年版の技術的変更なしの改訂) 仕様ページ
DCMI Metadata Terms (Dublin Core Terms) DCMI 仕様 (2020) 仕様ページ
OWL 2 Web Ontology Language W3C 勧告 (2012, 第2版) OWL 2仕様の概要/ロードマップ
SKOS Reference W3C 勧告 (2009) 仕様ページ
Time Ontology in OWL (OWL-Time) W3C 勧告候補草案 (2022) 仕様ページ
GeoSPARQL 1.1 OGC 実装標準 OGC標準ページ · 標準文書 (OGC 22‑047r1)
Basic Formal Ontology (BFO) OBO Foundry (上位オントロジー) 公式カード/ドキュメント
OBO Relations Ontology (RO) OBO Foundry (関係) 公式カード/ドキュメント
PROV-O: The PROV Ontology W3C 勧告 (2013) 仕様ページ
The Organization Ontology (ORG) W3C 勧告 (2014) 仕様ページ
Schema.org (documentation) プロジェクト公式ドキュメント スキーマとドキュメント
LexInfo (語彙-意味論オントロジー) 公式サイト/オントロジー 公式サイト · OWL 3.0
Retrieved from "https://systems-analysis.info/int/index.php?title=Semantic_relations_—_セマンティック関係&oldid=6679"