reasoning

    0熱度

    1回答

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

    0熱度

    1回答

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

    0熱度

    1回答

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

    0熱度

    1回答

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

    1熱度

    1回答

    我想了解爲什麼我在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回答

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