Check whether spin:imports is used in the file. The effect of this is that all rules from the "imported" file will be used by TopSPIN without the need to do a full owl:import that would mess up the model.
See http://spinrdf.org/spin.html#spin-imports Holger On Nov 25, 2011, at 7:11 PM, Guilherme Scomparim wrote: > Hi Scott, > > In the example datarangeSPIN_Eample you sent me, I cannot find how it > imports the owlrl-all.rdf or even the templates, however the inference that > Adult is a subclassof Person is explained by the OWL RL scm-sco. > > How is this possible? > > Guil Scomparim > +61413997827 > > > From: [email protected] > Subject: Re: [topbraid-users] Re: Error when opening some classes in TDB files > Date: Fri, 25 Nov 2011 15:14:21 +1000 > To: [email protected] > > > On Nov 25, 2011, at 11:45 AM, Guilherme Scomparim wrote: > > Hi Scott, > > Thank you again for the information. this will help me in another thing, > however I am not 100% how to solve my specific problem > > Here is my scenario. > > In each of my models I define one main class. Eg. Person > This class has many domain properties. Eg. firstName, lastName, createdBy, > dateCreated, dateActivated, dateInactivated, hasHomeAddress, etc > I then define States of that class using Restrictions Eg. > - InstantiatedPerson (In case there is a resource that is of type > Person, without any properties - I am still figuring this one out) > - CreatedPerson(Restriction onProperty firstName min 1 and onProperty > lastName min 1 and onProperty dateCreated min 1) > - ActivePerson (Restriction onProperty DateActivated min 1 and > onProperty DateInactivated cardinality 0) > -etc. > > The idea is to run the inference to find in what states a particular > instance (Person) is > > At this stage I am not intending to define restrictions on the value of > Object of the property, but only if it exists or not. > > Trying to solve this problem I created two new templates that would extend > the OWL 2 RL for my needs. > > 1) # cls-minc1 > CONSTRUCT { > _:b0 a spin:ConstraintViolation . > _:b0 spin:violationRoot ?x . > _:b0 spin:violationPath ?p . > _:b0 rdfs:label "owl:minCardinality of 0" . > } > WHERE { > ?x owl:minCardinality "0"^^xsd:nonNegativeInteger . > ?x owl:onProperty ?p . > ?u a ?x . > ?u ?p ?y . > } > > 2) # cls-minc2 > CONSTRUCT { > ?y1 owl:sameAs ?y2 . > } > WHERE { > ?x owl:minCardinality "1"^^xsd:nonNegativeInteger . > ?x owl:onProperty ?p . > ?u a ?x . > ?u ?p ?y1 . > ?u ?p ?y2 . > } > > Am I on the right track? How do I create the instances for this new templates > following the way owlrl templates are build? Do I still need to create the > rules linked to the main class? > > Yes this sounds good (I didn't check the details of the rules). Instantiate > those templates using spin:rule at owl:Thing or rdfs:Resource, so that they > are executed globally. > > 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 > -- > 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 -- 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
