Is there an API that could help convert SPIN representation (of a SPARQL query) back to its SPARQL query form? From: To: Thanks in advance. ...
I want to RDFising data, I need construct with a SPARQL query (I'm using SPIN) an object (Book) with two properties (Title and Author). All books have ...
I need to parse the rather arcane FCC Emission Designator using SPARQL/SPIN from a compound string encoding to values I can easily reason over. The fi ...
I'm using TopBraid Composer Free Edition (5.1.3) to create ontologies including SPIN constraints. I then load the resulting RDF files into RDF4J (2.0. ...
I'm using TopBraid Free Edition to create OWL ontologies with SPIN rules. I'm loading the ontology and SPIN rules into Sesame OpenRDF Workbench: I' ...
Is there a plug-in or other means to create and edit SPARQL/SPIN constraints and constructors in Protege? As I understand it, to capture SPIN constr ...
I'm writing my first Java project for Semantic Web using Jena framework. My ontology was peopled and now I'd like to use some SPIN function (they were ...
I am new to SPIN, I read the documentation and I looked up some examples but I would like to start working with it. I saw some tools from http://topq ...
How do I change the query formula based on whether or not a variable is bound? I am invoking the magic property like this: Inside the magic proper ...
How do we parametrize the SPIN model with the number of threads? I am using the standard SPIN model checker. Does it have options to set the number of ...
I'm trying to run templates using the SPIN API. For simple templates, this works well but I have trouble with templates that include FILTERs. For ver ...
Summary Thank you in advance for helping me write a CONSTRUCT/WHERE statement that can be declared as a SPIN Rule in TopBraid Composer Free Edition a ...
I am building an ontology in TopBraidComposer which has a class hierarchy and a couple of rules that work great on their own. In my ontology, I'm work ...
I am using AllegroGraph 4.4. I have their sample database input regarding the Kennedy family tree. I have copied an example from their tutorials on SP ...