Hello, I'm trying to do the following: 1) read an ontology (and all its imports), generate all inferences 2) show all constraint violations.
With TBC SE, I can do this without a problem: I just open the ontology, generate the inferences, and check the constraint problems. However if I do the same with the SPIN API, only the first step succeeds. SPINConstraints.check throws a QueryParseException. See full stack trace: http://pastebin.com/r85LbAVg This is my code, based on your examples: http://pastebin.com/pvhA0Q1n Strangely, if I first use TBC to export everything (all ontologies + inference graph) into a single file, and apply the CheckConstraints.java example, it works as expected. However if I use the RunInferences.java example to generate the inferences and store everything in one file (as is done in my code mentioned above, after the exception is thrown), the CheckConstraints.java example fails again. There's a little more diagnostics now, apparently it fails for some "spl" function: http://pastebin.com/WeXfhPa6 If I remove this spl function, it fails on another spl function, and so on. I use an ont-policy.rdf file to control which spl.spin.rdf/spin.rdf/sp.rfd/... files are used by the script. I've tried to use the RDF files that can be resolved online, those that came with TBC, and those that are part of the spinapi jar file. All show the same error. To run the inferences and constraint checks I will continue to use TBC, but I'd also like to do this in an automated way via SPIN API. Any idea what's going wrong? Thanks a lot for your help, Wim -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages 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 --- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
