論理データ・モデルから OWL への変換によって生成される OWL オブジェクトのプロパティー公理とプロパティー制限

論理データ・モデルから 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

フィードバック