spin-rdf

    3熱度

    1回答

    我正在使用AllegroGraph 4.4。我有他們關於肯尼迪家譜的樣本數據庫輸入。我從他們的SPIN教程中複製了一個例子。那就是: (ag.spin:register-spin-function !ex:age "prefix kennedy: <http://www.franz.com/simple#> prefix xs: <http://www.w3.org/2001/XMLSche

    2熱度

    1回答

    我在TopBraidComposer中構建了一個本體,它有一個類層次結構和一些獨立工作的規則。在我的本體論中,我正在研究一個班級,所以我創建的所有定義只與班級有關,而不是個人。現在我想推斷出這樣的一個子類定義: 我嘗試以下SPARQL查詢這似乎做的工作: 然後我說所說查詢作爲SPIN治以貓頭鷹:類事情是這樣的: 之後按Enter,它會自動轉換爲以下形式: 它看起來合理,但是當我現在開始推理過程,它

    1熱度

    1回答

    我正在使用Jena框架編寫我的第一個語義Web Java項目。 我的本體被人們所關注,現在我想在我的項目中使用一些SPIN函數(它們不是由我寫的)。 它們非常簡單:它們接收2個字符串參數並返回1個字符串。 我從來沒有做過這樣的項目,所以我不知道從哪裏開始。 你能幫我嗎?

    1熱度

    2回答

    我使用TopBraid Composer免費版(5.1.3)創建本體,包括SPIN約束。然後我將生成的RDF文件加載到RDF4J(2.0.1)中,並使用RDF4J Workbench進行測試。 我工作的SPIN約束。下面就來檢查,我已經加入到CRO2:SignalRate類非負信號速率的例子: CONSTRUCT { ?this soo:hasConstraintViolation _:

    1熱度

    1回答

    我使用的是TopBraid Composer免費版(TBC FE)版本5.1.3。我正在構建SPIN規則/ CONSTRUCT查詢。我的部分查詢有一個帶有多個OR'd條件的FILTER語句。我將其輸入到TBC FE如下: FILTER ( (?orgString = SUBSTR("AF X"^^xsd:string, 1, 4)) || (?orgString = SUBSTR("J X"^^

    1熱度

    1回答

    使用SPIN API(http://topbraid.org/spin/api/)並使用示例代碼https://github.com/spinrdf/spinrdf/blob/master/src-examples/org/topbraid/spin/examples/SPINParsingExample.java我試圖添加對rdfs的處理:comment並旋轉:文本到示例。 Topbraid C

    0熱度

    1回答

    我們如何使用線程數參數化SPIN模型? 我正在使用標準的SPIN模型檢查器。它有選項來設置並行線程的數量嗎?我檢查了參考,但沒有發現任何有用的東西

    1熱度

    3回答

    如何根據變量是否被綁定來更改查詢公式? 我調用魔法屬性是這樣的: WHERE { VALUES (?subj) { ([my bound positional parameter value goes here...]) } ?subj :myMagicProperty ?result . } 裏面的魔法屬性,我做了工會: ?result a :R