データプロパティを使用してOwl理由をProtegeできますか？

Question

私は、Protege 4の推論者をデータプロパティのスコアに従って個人を階級化しようとしています。

健全な人には、データプロパティ 'ambulation Score'が8です。私は、このような個人を「健康」と呼ばれるクラスに入れる推論者を得ようとしています。データプロパティ 'ambulation Score'は1から10までの整数です。個々の 'Alice'には歩行があります。スコアは8で、「Good-Health」と同じですが、試してもProtege 4で推測することはできませんクラス '良い健康'に。

Answer 1

まず、Potégéは推理者ではなく、エディターです。だから、厳密に言えば、それはあなたが言うような何もできません。しかし、Protégéは、あなたが推理者を見つけるプラグインをホストすることができます。デフォルトでは、HermiT reasonerにはProtégé4と5がプリインストールされています。他のreasonerはProtégéにプラグイン可能です。 Protégéに組み込まれている推論者の能力は、彼らがサポートしているOWL仕様のサブセットに依存します。 OWL2には、OWL構成の部分的なサポートにそれぞれ対応する、profiles（OWL 2 DL、OWL 2 EL、OWL 2 QL、およびOWL 2 RL）と呼ばれる明確に定義されたサブセットがあります。

OWL 2 DLでは、説明する内容を含め、データ型のプロパティを推論することが可能です。したがって、OWL-2-DL準拠の推論担当者は、あなたの記述を行うことができます。 HermiTはOWL 2 DL推論器ですので、説明することができるはずです。しかし、私はProtégéがあなたに予想される推論を表示していない理由について2つの説明を見ることができます：

1. あなたが使用しているオントロジーは、表現したい知識を適切にモデル化していません。オントロジーがどのように役立つのかを教えてください。
2. プロテジェは、を示すであり、推論が行っているすべての推論です。 Protégéは単なるインタフェースです。それは、推理者が行うすべてのことを示すものではありません。推論は推論を行うことができるかもしれませんが、プロジェジーはそれを考慮していないため、推論を見ることはできません。これは、推論されたドメインや表示されない範囲など、一部の推論で発生します。あなたが説明したケースが、それらの非表示の推論の一部であるかどうかはわかりません。

また、Protégéが表示する推論の種類をパラメータ化できることも知っておく必要があります。環境設定には、どの種類の推定ファクトを表示するかを示すチェックボックスが付いたタブがあります。