可以保護使用數據屬性的貓頭鷹原因？

Question

我試圖讓Protege 4中的推理者根據數據屬性得分來分類個體。

健康狀況良好的人的數據屬性「移動分數」爲8.我試圖讓一個推理者將這樣一個人放到一個名爲「健康狀況良好」的類中。數據屬性「步行分數」是1到10之間的整數。個體「愛麗絲」的步行分數爲8，這應該等同於「良好健康」，但無論我如何嘗試，我都無法讓Protege 4推斷她進入「健康狀況」階層。

Answer 1

首先，Potégé是一位編輯，而不是推理者。所以，嚴格來說，它不能像你說的那樣做任何事情。但是，Protégé可以託管插件，您可以在其中找到reasoners。默認情況下，HermiT推理器預裝了Protégé4和5.其他reasoners可以在Protégé中插入。嵌入在Protégé中的reasoners的能力取決於他們支持的OWL規範的哪個子集。在OWL 2中，有幾個定義好的子集稱爲profiles（OWL 2 DL，OWL 2 EL，OWL 2 QL和OWL 2 RL），每個對應OWL構造的部分支持。

使用OWL 2 DL可以使用數據類型屬性（包括描述的內容）進行推理。因此，任何符合OWL-2-DL的推理器都可以完成你所描述的任務。 HermiT是OWL 2 DL推理者，所以它應該能夠做你的解釋。但是，爲什麼Protégé沒有向您顯示預期的推論，我可以看到兩種解釋：

1. 您正在使用的本體不能正確模擬您希望表達的知識。請向我們展示本體是如何幫助我們的。
2. Protégé不是顯示推理者正在做的所有推論。 Protégé只是一個界面。它並不顯示推理者所做的一切。因此，儘管推理者可能確實能夠推論，但您並沒有看到它，因爲Protégé沒有考慮展示它。這發生在一些推論上，比如推斷出的域和範圍沒有被顯示。我不知道你所描述的情況是否屬於那些未顯示的推論。

您還應該知道，您可以參數化Protégé應顯示的推理類型。在首選項中有一個選項卡，用於指示應顯示哪種推斷事實。