Thanks Holger. It works ok with your suggestion. However, now, I get a lot of lag when trying to change/update values and sometimes TBC gets to a completely unresponsive state.
I don't know whether this is due to the inferencing rules, or my development machine is just too old. I will do some further testing and explore further. On Tue, Jun 24, 2014 at 2:28 AM, Holger Knublauch <[email protected]> wrote: > Hi Nikolaos, > > note that if you select only spinowl on the Ontology Profile tab, then no > inferences will happen because that file does not define any spin:rules but > just spin:constraints. To get inferences, you should also activate the OWL > 2 RL check box and then his the run inference button. Once you do that, it > will infer the sub-property triple and your constraint violation will > disappear too. Your understanding of how sub-properties work was correct. > > HTH > Holger > > > > On 6/23/2014 21:57, Nikolaos Beredimas wrote: > > Brief description of the ontology and the problem I face: > > Datatype Property :parent > Datatype Property :child1 (subproperty of :parent) > > Class A defined with restrictions: > :parent cardinality min 1 > :child_1 cardinality exactly 1 > > > I create an individual :a and declare the statement: > > :a :child_1 "abcd" > > It is my understanding this should infer also > > :a :parent "abcd". > > However, it seems it doesn't and I get a constraint violation warning for > the :parent property. > > Is this a bug? A feature? Maybe an error of my understanding of how > subproperties ought to work? > > See attached file for above example. > Using TBC FE 4.4.1 > > -- > -- 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. > > > -- > -- 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 a topic in the > Google Groups "TopBraid Suite Users" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/topbraid-users/0MEL7kFnMn0/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- 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.
