Hi Frank, how are the constraints expressed, and what results do you expect?
If possible, would you share (parts) of your model so that we can see where the performance bottleneck could be? Thanks, Holger On Dec 3, 2010, at 5:53 PM, Frank Sonne wrote: > Hi, > > I have an ontology which i have created several individuals (about 3000) > which are in this ontology categorized into classes defined by data > properties. Though to check consistencies need a long time (hours) so I was > wondering if there's any thing or trick to do to avoid all this time for > consistency checking and does TBC includes any reasoner that can do checking > in less time? > - I wanted also to know that if my ontology classes contain SPIN properties > does it influent also on time checking ? > > Best, > Frank.S > > > -- > 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
