hermit

1熱度

1回答

我想創建一個簡單的本體，它有兩個類：class1和class2，以及兩個具有相同名稱的簡單文本數據屬性的實例（hasName：「string1」^^ xsd ：string和hasName「string2」^^ xsd：string respectivly）。我想用推理器將這些實例分類到基於正則表達式的相應類（例如，對類1的限制將是hasName一些xsd：string [pattern「stri

0熱度

2回答

OWL HermiT調試可滿足性檢查

我正在使用HermiT v1.3.8.4和OWLAPI v3.5.6並且遇到reasoner.isSatisfiable(clazz)永遠運行的問題。有沒有辦法檢查HermiT正在做什麼，即獲取調試信息的方法？我目前的設置是大致是這樣的 OWLReasonerFactory reasonerFactory = new Reasoner.ReasonerFactory(); OWLReason

1熱度

1回答

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

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

1熱度

2回答

在瀏覽器畫布上繪製埃米特曲線（javascript）

我想在畫布瀏覽器上繪製隱士曲線。埃爾米特曲線是根據2點和2階導數定義的。 Point1X = 71 Point1Y = 165 Deriv1X = -12 Deriv1Y = 2 Point2X = 210 Point2Y = 153 Deriv2X = 108 Deriv2Y = 0 我可以在畫布上繪製貝塞爾曲線。有沒有什麼辦法可以將曲線的點和派生曲線轉換爲貝塞爾曲線，這樣我就

4熱度

1回答

隱士似乎並沒有表現出推斷的DataProperties？

我創建使用門生本體，並添加SWRL規則，使用山人裏森納，一切都很好，但它並不顯示推斷的DataProperties。我試着用球，它能夠推斷DataProperties，但是，我創造了我所有的SWRL規則不工作了。這是隱士的一個Bug？有沒有解決方案？最好的問候。