Protege owl可以使用數據屬性進行推理嗎？

Question

我正在嘗試讓Protege 4中的推理機根據數據屬性得分對個人進行分類。

身體健康的人的數據屬性“移動得分”為8。我試圖找到一個推理者，將這樣的人置於“身體健康”類中。 數據屬性“走動得分”是1到10之間的整數。個人“愛麗絲”的走動得分為8，應該等於“身體健康”，但是無論如何嘗試，我都無法通過Protege 4來推斷她進入“健康”類別。

Answer 1

首先，Pottegé是編輯，而不是推理者。 因此，嚴格來說，它無法像您說的那樣做任何事情。 但是，Protégé可以托管可以在其中找到推理程序的插件。 默認情況下，HermiT推理機預裝有Protégé4和5。其他推理機可插入Protégé。 嵌入在Protégé中的推理機的功能取決於他們所支持的OWL規范的哪個子集。 在OWL 2中，有定義明確的子集，稱為配置文件 （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é應該顯示的推理類型。 首選項中有一個帶有復選框的選項卡，用於指示應顯示哪種推斷的事實。