spin-rdf

1熱度

1回答

在文本SPARQL語法和SPIN RDF詞彙之間進行轉換：如何添加rdfs：comment和sp：文本

使用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模型？我正在使用標準的SPIN模型檢查器。它有選項來設置並行線程的數量嗎？我檢查了參考，但沒有發現任何有用的東西

3熱度

1回答

如何定義SPIN規則？

我正在使用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

1熱度

3回答

SPIN函數中的條件子查詢（SPARQL）

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

2熱度

1回答

使用SPIN規則推斷匿名超類

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

1熱度

1回答

在我的Java項目中使用TopBraid中定義的SPIN函數

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

1熱度

2回答

使用CONSTRUCT的SPIN約束：CONSTRUCT的三元組在哪裏去？

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

1熱度

1回答

爲什麼TopBraid Composer FE在SPIN規則過濾器中重新組合我的多個OR條件？

我使用的是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"^^