inference

    0熱度

    1回答

    所以,我必須創建一個帶進位和執行的通用N位加法器。 我迄今做了兩個完全工作的體系結構中,一個使用所述生成功能,使用一個RTL描述如下: 實體: library ieee; use ieee.std_logic_1164.all; use ieee.numeric_std.all; entity adder_n is generic (N: integer:=8); port (

    2熱度

    1回答

    我通過管理控制檯定義了默認規則集。我已將規則集的位置設置爲「C:/isParentOf.rules」。但是,它無法找到該文件。在運行查詢時,它抱怨 「無法找到規則集文件:C:/isParentOf.rules」 我試圖給出一個相對路徑,但它似乎不工作。 有人建議可以什麼是指定規則集的位置,以正確的方式並在理想情況下應該是保持(與現有的.rules文件) 感謝

    1熱度

    1回答

    owl:equivalentClass的域和範圍引發了一些我一直無法找到答案的問題。 首先,在OWL本身中,owl:equivalentClass的域和範圍設置爲rdfs:Class。該域和範圍似乎與規範(http://www.w3.org/TR/owl-ref/#equivalentClass-def)中給出的定義有些衝突,其中提及: 「這樣的類公理[即owl:equivalentClass]的

    0熱度

    2回答

    我正在一點點通用的工具,在我需要有這樣的事情: 的操作特質,這將爲運營提供工具元件 甲出版商性狀,負責在下面的示例發佈由設置(表示的結果) 將實現操作特性的類 此類的配套對象,將執行發佈者操作。它是強制性的我的設計,以保持公佈的結果在同一性狀的發佈操作 概括地說,我有以下結構: trait Publisher[A]{ var storage: Set[A] = Set[A]()

    3熱度

    2回答

    我目前記錄/測試約1.1 SPARQL制度蘊涵和建議,反覆指出 作用域圖是圖形的等同於活躍的圖形查詢 但它沒有指定什麼是活動圖引用:它是查詢中使用的數據集?商店中所有圖形的聯合? 作爲一個測試,以確定這一點,我得到這個圖形在芝麻記憶存儲與RDF Schema和直下式推理店(v2.7.14) @prefix ex:<http://www.example.org/> . ex:book1 rdf:t

    5熱度

    1回答

    我需要對貝葉斯網絡進行一些推理,例如我在下面創建的示例。 我正在尋找像這樣的事情來解決諸如P(F | A = True,B = True)的推論。我最初的做法是像做 For every possible output of F For every state of each observed variable (A,B) For every unobserved variabl

    0熱度

    1回答

    我是語法推理領域的初學者。在我的研究中,我發現了一個名爲基於對齊的學習(ABL)的實現。我已經理解了這個實現中正在做什麼(對齊 - >聚類 - >選擇),但我不知道下一步該怎麼做才能達到我的目標,這是語法的誘導。 我的問題是:在完成了這個算法的3個步驟之後,我們接下來應該做些什麼來獲得誘導語法,以及如何做? 這是對ABL執行一個鏈接(在Linux作品): http://ilk.uvt.nl/men

    0熱度

    2回答

    當我在Jena中創建一個RDFS_MEM_RDFS_INF模型並讀取一些RDFS文件時,會添加一些沒有在文件中明確聲明的語句。例如。如果我們有一個三重 的p b ,p是一個RDFS:subPropertyOf Q,比 A Q b爲 也模型。一個具體的例子如下:如果 一個SKOS:相關b 是文件 一個SKOS中:semanticRelation b 也是在模型中。 是否有可能檢查模型中的陳述是否是公

    0熱度

    2回答

    scala> def b(x:Int) = { x match { case 1 => 1; case 2 => 3.5; case k => throw new Exception("Nothing")}} b: (x: Int)AnyVal scala> def c(x: Int) = if (x == 1) 1 else if (x == 2) 3.5 else throw new Ex

    1熱度

    3回答

    隨着Blazegraph以下RDF(從this answer截取): :eats rdf:type owl:ObjectProperty . :Vegetable rdf:type owl:Class ; rdfs:subClassOf owl:Thing . :Vegetarian rdf:type owl:Class ; owl:equivalentClass