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-minc1CONSTRUCT { _: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-minc2CONSTRUCT { ?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
