Protégé 4 でオントロジーを構築して考古学的発見を記述し、ジオネームの個体を発見の場所として使用したいと考えています。Protégé に外部の個人を追加するにはどうすればよいですか? Geonames オントロジーを自分でインポートする必要がありますか? 私がしようとしました：
ただし、Geonames オントロジーをインポートすると、次のエラー メッセージが表示されて推論が終了します。
OWLReasonerRuntimeException: 非単純なオブジェクト プロパティ ' http://www.geonames.org/ontology#featureClass ' が単純なものとして使用されています
どうすればこれを解決できますか?
一般に、使用したい個体を宣言するオントロジーをインポートすることはおそらく良い考えです。ただし、場合によっては、これが最適なオプションではない可能性があります。以下のセクションで説明するように、Geonames オントロジーは実際には合法的な OWL 2 DL オントロジーではないため、それをオントロジーにインポートしようとすると、なんらかの推論をしようとすると問題が発生します。そのため、Geonames オントロジーを自分のオントロジーにインポートするべきではなく、独自のオントロジーで必要な個体を再宣言する必要があります。これは Protégé では簡単です。GeoNames オントロジー ページによると、IRIhttp://sws.geonames.org/3020251/フランスのアンブランという町を指します。Protégé で行う通常の方法で個人を作成するだけですが、個人の完全な IRI を入力できるように、[エンティティ作成設定を無視する] ボタンをオンにします。
特定の OWL プロパティの使用方法には制限があります。についてのエラーが発生した場合
OWLReasonerRuntimeException: 非単純なオブジェクト プロパティ ' http://www.geonames.org/ontology#featureClass ' が単純なものとして使用されています
次に、プロパティを正しく参照しています。OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition)には、単純なプロパティの説明があります (ただし、ここでは抜粋のみを含めています)。
11.1 プロパティ階層と単純なオブジェクト プロパティ式
大まかに言えば、単純なオブジェクト プロパティ式には、推移的であるか、間接サブプロパティの概念がプロパティ階層によってキャプチャされるプロパティ チェーンによって定義される直接または間接サブプロパティはありません。
単純なプロパティと単純でないプロパティの使用方法には制限があります。
11.2 公理閉鎖の制限
単純な役割の制限。次の 2 つのリストの型の Ax の各クラス式と各公理には、単純なオブジェクト プロパティのみが含まれます。
- ObjectMinCardinality、ObjectMaxCardinality、ObjectExactCardinality、および ObjectHasSelf 。
- FunctionalObjectProperty、InverseFunctionalObjectProperty、IrreflexiveObjectProperty、AsymmetricObjectProperty、および DisjointObjectProperties。
この制限は、OWL 2 DLの基本推論問題の決定可能性を保証するために必要です。
ここで、オントロジーに問題のある公理がいくつかある可能性がありますが、GeoNames オントロジー自体に問題があるようです。バージョン 3.1をダウンロードして、Protégé で開きました。オブジェクト プロパティはそれほど多くありませんが、サブプロパティ チェーン公理を持つフィーチャ クラスが 1 つあり、クラス式で使用されます。
したがって、フィーチャ クラスはサブプロパティとしてプロパティ チェーンを持ち、フィーチャ クラスは ObjectExactCardinality クラス式で使用されるため、非単純なプロパティです。
フィーチャクラス はちょうど1モノ
これは、GeoNames オントロジーが合法的な OWL 2 DL オントロジーではないことを意味します。