モデル公理

機能の概要

機能的な位置付け

モデル公理 は、サブタイプ、等価性、相互排他、関係 定義域 および 値域、属性範囲など、オブジェクト カテゴリ間および属性に対するセマンティック制約を定義するために使用されます。

理解しやすい: 明確なルールを使用して、モデル内でどのタイプが関連しているか、またどのような関係と属性が接続できるかを説明します。

主な特長

• 5 つのカテゴリ公理: 意味上の目的に応じて、対応する構成を選択します。
• 参照モデル要素: 既存の オブジェクト型 と属性を選択します。
• レベルの識別: プロンプト、警告、エラーを使用してルール レベルを識別します。

範囲

このページの情報は現在のプロジェクトとバージョンに属します。入力、編集、削除、その他の操作は、対応する権限制御の対象となります。プロジェクトまたはバージョンを切り替えた後は、リストと関連オブジェクトを再確認する必要があります。

準備段階

前提条件

1. qOntology にログインし、このページと必要な操作権限を取得していること。
2. プロジェクトは [基本管理] で作成されており、[オントロジーモデリング] の上部で正しいプロジェクトとバージョンが選択されています。
3. オブジェクト型 と参照される属性はすでに存在しており、各公理のビジネス セマンティクスが確認されています。

ナビゲーションパス

【 オントロジーモデリング 】 > 【 制約ルール 】 > 【 モデル公理 】

ページ概要

リストは公理名、公理タイプ、レベルによってフィルターされます。フォームは、選択された公理タイプに基づいてフィールドを切り替えます。このページではルールのメンテナンスが提供されますが、独立した実行検証ボタンは提供されません。

推奨される操作手順

オブジェクトと属性を準備する → 公理タイプを選択する → 対応する参照を入力する → 保存する → レビューのために詳細を表示する。

機能操作説明書

クエリとリセット

1. クエリ領域に公理名、公理タイプ、レベルを入力または選択します。
2. ［クエリ］をクリックします。
3. 状態を元に戻したい場合は「リセット」をクリックしてください。

操作結果: 条件に応じてリストが再読み込みされ、ページングで表示できるようになります。

新しいタイプの関係公理

1. ［追加］をクリックします。
2. 名前を入力します。
3. [サブタイプ] [同等] または [相互排他] を選択します。
4. レベルを選択します。
5. フォームに必要な 2 つの オブジェクト型 を選択します。
6. 必要に応じて説明を入力します。
7. ［OK］をクリックします。

フィールド名	説明する	必要ですか?
名前	公理のビジネス名、最大 128 文字。同じプロジェクト バージョン内で繰り返すことはできません。	はい
タイプ	サブタイプ、等価性、相互排他、ドメイン/範囲、プロパティ範囲。	はい
レベル	プロンプト、警告、エラー。デフォルトのプロンプト。	はい
説明する	補足規則 目的、最大512語。	いいえ
オブジェクト型フィールド	サブタイプのサブ/親タイプを入力します。等価性と相互排他性の 2 つのタイプを入力します。2 つの オブジェクト型 は異なっていなければなりません。	タイプに該当する場合は必須
関係、ドメイン、範囲	関係の名前を手動で入力します。 Domain の開始点カテゴリを選択し、Range の終了点カテゴリを選択します。両者は違うはずだ。	ドメイン/範囲の場合に必須
オブジェクト型 属性は データ型 と同じです	最初にオブジェクトと属性を選択し、次に基本タイプまたはビジネス タイプと対応するパラメータを選択します。	属性範囲には必須です

操作結果: 加算が成功すると、選択したタイプとレベルが公理リストに表示されます。

サブタイプは、「サプライヤーは組織に属している」などの継承セマンティクスを表現します。同等とは、2 つのカテゴリが同じ意味を持つことを意味します。相互排他とは、2 つのカテゴリを同時に確立してはならないことを意味します。ビジネス担当者は、オブジェクトを選択する前に、まずセマンティクスを確認する必要があります。

関係を定義するドメインと範囲

1. 新しい公理を追加する場合は、[タイプ]を[ドメイン/範囲]に設定します。
2. 関係名を入力します。
3. [ドメイン] オブジェクト型 を選択します。
4. [範囲]オブジェクト型を選択します。
5. 名前、レベルなどの完全な公開情報。
6. ［OK］をクリックします。

操作結果: 関係名と開始点と終了点のカテゴリ制約を保存します。

現在の[関係]はテキスト入力ボックスです。 オブジェクト型の関係 で維持されている名前と一貫性を保ってください。ドロップダウン選択関係による操作はできません。許可されるタイプの組み合わせはここで維持され、オブジェクト型の関係 の構造定義とは別に保存されます。 1 つの場所で名前または開始点と終了点を調整した後、もう 1 つの場所をチェックする必要があり、自動的には同期されません。

属性のスコープを定義する

1. 新しい公理を追加する場合は、[タイプ]を[属性範囲]に設定します。
2. オブジェクト型を選択します。
3. [オブジェクト型のプロパティ]を選択します。
4. ベース データ型 または 業務データ型 を選択します。
5. 対応する型パラメータを追加します。
6. 完全な公開情報。
7. ［OK］をクリックします。

操作結果: 属性の型範囲定義を保存します。

オブジェクト型 属性は、選択したオブジェクトからロードされます。 業務データ型は[現在のプロジェクト]と[グローバル]でグループ化され選択されており、オブジェクトの他の属性から事前に参照する必要はありません。オブジェクトを切り替えた後は、プロパティとタイプの構成を再確認する必要があります。

公理の表示と変更

1. 対象行の[詳細]をクリックします。
2. タイプとそれに対応するパラメータを確認してください。
3. 詳細を閉じます。
4. ［変更］をクリックします。
5. 変更する必要があるパラメータを調整します。
6. ［OK］をクリックします。

操作結果: 保存された公理が詳細に表示されます。変更が成功すると、リストが更新されます。

モデル公理を削除

1. 対象のレコード行の[削除]をクリックします。
2. 確認ボックスで対象のレコードにチェックを入れます。
3. 削除を確認します。

操作結果: 削除が成功するとリストが再読み込みされ、対象のレコードが表示されなくなります。

レコードを確認し、リストの上にある[削除]を使用して一括処理することもできます。

注意

削除する前に事業目的や関連情報をご確認ください。このページには、ごみ箱の回復エントリはありません。

よくある質問

• すべてのデータは保存後に自動的に検証されますか?
  このページは公理定義を保存しますが、独立した完全な実行エントリはありません。保存が成功したからといって、データ検証に合格したとはみなされません。

• レベル Error は、後続のすべてのタスクを必ずブロックしますか?
  このページにはルール レベルが記録されます。このフィールドのみに基づいて、すべての下流プロセスがブロックされると推測することはできません。

要約する

明確なルールを使用して、モデル内でどのタイプが関連しているか、またどのような関係と属性が接続できるかを記述します。オブジェクトと属性を準備する → 公理タイプを選択する → 対応する参照を入力する → 保存する → レビューのために詳細を表示する。