論理データ・モデルから OWL への変換によって、論理データ・モデルの関係タイプ、存在、およびカーディナリティーから、OWL オブジェクトのプロパティー公理とプロパティー制限が生成されます。
次の表は、論理データ・モデルの関係タイプ、存在、カーディナリティーから OWL オブジェクトのプロパティー公理またはプロパティー制限 (あるいはその両方) へのマッピングを示しています。
表 1. 論理データ・モデルの関係から OWL オブジェクト・プロパティーへのマッピング論理データ・モデル: 関係タイプ |
論理データ・モデル: 存在 |
論理データ・モデル: カーディナリティー |
OWL: オブジェクト・プロパティー公理 |
OWL: オブジェクト・プロパティー制限 |
多対多 |
オプションまたは必須 |
ゼロ以上 |
- |
- |
多対多 |
オプションまたは必須 |
1 以上 |
- |
owl:minCardinality (1) |
非依存型 |
オプションまたは必須 |
ゼロ以上 |
owl:Inverse FunctionalProperty |
|
非依存型 |
オプションまたは必須 |
1 以上 |
owl:Inverse FunctionalProperty |
owl:minCardinality (1) |
非依存型 |
オプションまたは必須 |
ゼロまたは 1 |
owl:Inverse FunctionalProperty |
owl:max Cardinality (1) |
非依存型 |
オプションまたは必須 |
1 のみ |
owl:Inverse FunctionalProperty |
owl:Cardinality (1) |
非依存型 |
オプションまたは必須 |
範囲 |
owl:Inverse FunctionalProperty |
owl:minCardinality および owl:maxCardinality |
依存型 |
オプションまたは必須 |
ゼロ以上 |
owl:hasKey のターゲット |
- |
依存型 |
オプションまたは必須 |
1 以上 |
owl:hasKey のターゲット |
owl:minCardinality (1) |
依存型 |
オプションまたは必須 |
ゼロまたは 1 |
owl:hasKey のターゲット |
owl:max Cardinality (1) |
依存型 |
オプションまたは必須 |
1 のみ |
owl:hasKey のターゲット |
owl:Cardinality (1) |
依存型 |
オプションまたは必須 |
範囲 |
owl:hasKey のターゲット |
owl:minCardinality および owl:maxCardinality |