reasoning

0熱度

1回答

在本體編輯器Protegé中，有一個標籤類層次結構（推斷）。我正在尋找一個最小的例子來創建這樣的推斷類，例如它主要是那個:RedCar rdfs:subClassOf :Car，這就是全部？ :RedCar a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf

0熱度

1回答

測試一個OWL類是否是一個屬性的域/範圍

在the examplehasProperty從OWL-API庫：要測試一個類的實例是否必須有一個屬性，我們創建限制的一些值然後詢問該類別的可滿足性，以及來自限制的這些一些值的補充。如果交叉點是可滿足的，那麼類的實例不必擁有該屬性，否則就是這樣。所以要檢查，如果一個類的對象屬性的一個領域，我可以用波紋管的片段： OWLDataFactory dataFactory = manager.getO

0熱度

1回答

基於規則的系統初始事實處理

在與我的一位同事討論規則庫系統後，我感到困惑。我在Android中開發了一套有規則的程序。我所說的是，爲了啓動引擎，最初的事實必須符合任何規則，所以我們可以直接開始匹配最初的事實，而不必將它們發送到工作記憶。該傢伙說，不，初始事實必須進入工作記憶，然後匹配應該開始，我同意，直到這裏，但他還補充說，你只需要從初始事實得到變量，然後匹配規則例如IO有一個規則 a(variable),b(consta

0熱度

1回答

Protege中的概率和/或可消除推理？

我發現了一些很有前途的（舊）文章，但是這條線索已經冷了。理想情況下，我正在尋找工作插件/代碼，但如果它們根本不可用，那麼關於如何構建融合到Protege的概率和/或可消除推理的任何具體方向仍然有用。 RaMP Protege的Defeasible Reasoning插件。似乎是休眠/放棄。也許項目/代碼隨着http://code.google.com/p/nomor/ PR-OWL http:/

1熱度

1回答

Stardog和Protege之間的不同推理結果

我想了解爲什麼我在Stardog和Protege推理之間獲得不同的結果。我有兩個工具以下本體：數 Class: Number Number DisjointUnionOf OddNumber,EvenNumber OddNumber OddNumber subClassOf Number EvenNumber EvenNumber subClassOf Number EvenN

0熱度

1回答

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

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

0熱度

1回答

合金分析儀：找出給定實例的模型

我在想，是否可以爲給定實例生成模型規範。我的目標是檢查一個實例是否符合模型。我發現一篇關於實例自動指定的文章。它被稱爲「使用實例編寫合金規格的自動化方法」（http://users.ece.utexas.edu/~khurshid/papers/2006/06isola-aDeryaft.pdf）。如果我沒有弄錯，這可能是一種檢查實例是否符合模型的方法。不幸的是，似乎沒有可用的下載實施。你知道

1熱度

1回答

爲什麼在門徒可視推論從導出的推斷公理

我有兩個主要的類（代碼和主體）和一個對象屬性的本體不同（受試者獲得代碼）其中：代碼（類）含有所有可用代碼（實例）代碼的（類）子類對這些代碼（實例）進行分類;手動指定主題（類）包含了所有可用的對象（實例）每個主題（例如）曾斷言（取得的財產）部分代碼（實例）主題的（類）的子類定義的科目組（實例）根據相關聯的代碼（實例）和碼碼類別忠誠裏森納爲約推斷對象實例的特定羣體（受試者的子類）當我內的

0熱度

1回答

這個本體的結果應該是什麼？

我正在學習Web本體和描述邏輯。我碰到過這個問題，並且對於應該回答的問題感到困惑：這是知識庫。當家長（X，Y）是指X爲Y.的父母 Parent(X,Y). Parent(Y,Z). Parent(X,Z). Parent(Z,M). Manager(Y). ¬Manager(M). 難道這些事實意味着一個事實： X∈(∃Parent.(Manager⊓∃Parent.¬Manag

0熱度

1回答

使用推理器獲取InverseObjectProperty

如何使用推理器查詢對象屬性的逆函數？例如，一個人可以有槍，反之亦然： <Declaration> <ObjectProperty IRI="#hasOwner"/> </Declaration> <Declaration> <ObjectProperty IRI="#hasGun"/> </Declaration> <InverseObjectProperties>