Hi, On Jan 26, 2011, at 4:25 AM, Erwachen Hz wrote:
> Hi, > > I have some doubts and hope someone explain me :) > > If we assume i'm adding SPIN rules and constraints to my ontologies and then > storing them into a triple store as triples or store the ontology in as an > ontology storage system (model apart, and instances apart).. How then the > SPIN code added will be interpretted for queries? I mean can we also store > SPIN syntax with the ontology model, wont this get us problems? By default the SPIN engine will look for any defined spin:rules and spin:constraints in the model. These can be stored as triples in the same repository like the ontology being reasoned upon. This is usually no problem unless your rules would somehow query for the rule triples themselves (which is hardly the case). If you want to keep things separate, you can do that: create a SPIN file that imports your domain model. Then put the rules and constraints into that separate file. Mark the owl:Ontology in that file with to have rdf:type spin:LibraryOntology. This will make sure that the engine will ignore it as query graph when it evaluates the rules. > And does only the TBC reasoner understands SPIN syntax? The SPIN syntax is an open specification that anyone in the world can implement. I have heard from one other API that may support SPIN soon, but right now the TopBraid platform and its open source API are the best choice. Holger -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
