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
