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回答

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

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模型检查器。它有选项来设置并行线程的数量吗？我检查了参考，但没有发现任何有用的东西

1热度

3回答

SPIN函数中的条件子查询（SPARQL）

如何根据变量是否被绑定来更改查询公式？我调用魔法属性是这样的： WHERE { VALUES (?subj) { ([my bound positional parameter value goes here...]) } ?subj :myMagicProperty ?result . } 里面的魔法属性，我做了工会： ?result a :R