John, there's a lot here, so I picked my way through some parts. Let me know what I haven't covered that is key for you.
One key part you should do is to take a look at the SPIN tutorial found at the SPIN page: http://www.topquadrant.com/products/SPIN.html <<but I also want to define the class as per best standards >> Understood. A specific standard is W3C's OWL. This covers a small range of possible inferences and generally needs to be augmented with a rule-based system to cover an application's needs. <<4) Checked the inferencing setup and it was set up with TopSpin as default and ran inferencing, upon which i got no inferred triples.>> TopSPIN uses SPARQL rules for inferencing, the advantage being that OWL inferences and general rules can be done in one step - i.e. a more complete solution. If you want to run OWL 2 inferences, specifically the RL profile, then you need to add the rules that implement the OWL standard. Those rules are in TopBraid/SPIN owlrl-all.rdf. Import this into your model and run inferences. The OWL rules are found in owl:Thing in the spin:rule and spin:constraint properties. Note that if you don't need all of the OWL rules (another frequent need), then you can remove the rule. This is a flexibility not found in other RDFS/OWL reasoners. <<10)Imported the rest of the spin files so that the original test2 file was as follows>> Somewhere in there you probably imported owlrl-all.rdf <<1)Do all the Spin namespaces have to be imported in order for theTopSpin engine to work, if not all which ones specifically.>> The only thing you need to import is the owlrl-all.rdf file. Hopefully this was clarified by stating that the OWL is a specific set of rules that SPIN can cover. <<2) With reference to your ask query , up until now I have been implementing something similar by right clicking on the pull down on spin:constraint, selecting Create from Spin Template,>> More insight on the SPIN implementation of OWL 2. Each of the rules in owlrl-all.rdf is an instance of templates created for each rule. This allows for flexible editing and display of each rule (as a contrast, unlock and open owlrl.rdf and view the rules in owl:Thing). For more, see Help files and tutorial on SPIN templates. You are not constrained by the templates. My ASK query was created by adding the empty row and editing the query. Of course, I used the SPARQL View to debug the query first. <<What engine should i use if I want owl2 functionality with a view later to using uispin.>> This may have been covered earlier, but the owlrl-all.rdf file has all OWL 2 RL profile rules. OWLIM does not cover OWL 2 and the version of Pellet we have is an OWL 1.0 reasoner. <<How do i get the statistics tab to show>> The Form View has a set of sub-tabs at the bottom of the pane. When viewing the Ontology Home, one of the sub-tabs is Statistics. <<And finally when do you plan to support flex4 and have you any plans to run training courses within the uk.>> There are no near-term plans at this point to support Flex 4. Our training schedule is at http://www.topquadrant.com/training/training_overview.html. Unfortunately, nothing scheduled for the U.K. at the moment. -- Scott On May 27, 5:23 am, John Perdoni <[email protected]> wrote: > Scott, > > Thank you for the reply, with reference to whether you are on the > right track in answering my questions, the answer is yes and also, yes > I do want to constrain the members of the class title to have at least > one hasSource property whose value is a member of source, but I also > want to define the class as per best standards (apologies if this is > not the correct terminology). > > Going over what you said yesterday, I have started from scratch and > here are my findings and additional questions. > > 1) I created a new project with a new rdf/owl/spin file named > test2.owl > 2) With default settings, I created the aformentioned class structure > and properties, added two instances, one title and one source. > 3) Added the owl equivalent restriction > > :Title > a owl:Class ; > rdfs:label "Title"^^xsd:string ; > rdfs:subClassOf owl:Thing ; > owl:equivalentClass > [ a owl:Restriction ; > owl:onProperty :hasSource ; > owl:someValuesFrom :Source > ] . > > 4) Checked the inferencing setup and it was set up with TopSpin as > default and ran inferencing, upon which i got no inferred triples. > > 5)removed topspin and replaced with Jena, using this engine replicates > the problems I was having yesterday, ie blank nodes being added as > instances to the source class, 3 initially then 6,9,12.. for each > extra run of the engine, each of type > > _:b1 a :Source ; > = _:b1 . > > 6)reset and removed jena, added pellet, no blank node problem but > pellet added all the sp, spl and spin prefixes as a subset of > owl:thing, I presume this is normal. > > 7)reset and removed pellet, added owlim, all looked ok. > > 8)reset and removed owllim and put back TopSpin, no inferences at all, > this also goes for running any of the tutorials,eg the getting started > guide. > > 9) created a new file unamed1.owl with default imports > > <http://cortext.net/britishStandard/unnamed1> > a owl:Ontology ; > owl:imports <http://spinrdf.org/spin> ; > owl:versionInfo "Created with TopBraid Composer"^^xsd:string . > > created and ran the same above, same results, ie Topspin engine not > working. > > 10)Imported the rest of the spin files so that the original test2 file > was as follows > > <http://cortext.net/britishStandard/test2> > a owl:Ontology ; > owl:imports <http://spinrdf.org/sp> , <http://topbraid.org/spin/ > owlrl-all> , <http://spinrdf.org/imports> , <http://spinrdf.org/ > spin> , <http://topbraid.org/spin/owlrl> ; > = <http://cortext.net/britishStandard/test2> ; > owl:versionInfo "Created with TopBraid Composer"^^xsd:string . > > Subsequent to step 10 TopSpin started working. > > Apologies for the lack of knowledge here, and I seem to have found a > resolution to my problem, but i wonder if you could clarify the > following. > > 1)Do all the Spin namespaces have to be imported in order for the > TopSpin engine to work, if not all which ones specifically. > > 2) With reference to your ask query , up until now I have been > implementing something similar by right clicking on the pull down on > spin:constraint, selecting Create from Spin Template, choosing > attribute and filling in the relevant settings there, my question is , > is this the same as what you suggest, if not what are the differences. > > 3) I understand that there are major differences with the different > types of inferencing engine, depending on what model you have, and > somewhere in the help files (apologies i cannot find it a the moment) > you used to be able to check what owl model you were running, but this > option seems to have been removed. What engine should i use if I want > owl2 functionality with a view later to using uispin. > > 4) How do i get the statistics tab to show, I have owl files but no > tab, and it is not listed under window/show view. > > 5) And finally when do you plan to support flex4 and have you any > plans to run training courses within the uk. > > Thanks once again for your continued help, im sure it wont be the last > time i call on you. > > John -- 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
