Hi TK, this aspect has changed since the guide was written, and we will update the tutorial. The tool continues to evolve (carefully) and sometimes there might be small difference like that.
Semantically, there is no difference between having a direct owl:oneOf list at a class and an owl:equivalentClass relationship. Syntactically the first option is easier to read and therefore we have migrated the code to this syntax. See http://www.w3.org/TR/owl-ref/#DescriptionAxiom Holger On Mar 12, 2009, at 6:26 AM, TK wrote: > > I first searched the group archive to see if this had been answered > but came up with nothing. > > In the Getting Started Tutorial for TBC, Exercise 22: Create > enumerated class members does not seem to play out the same way in > TBC- > SE 2.6.2. > > 1) Create class ActivityRating and open it in its Class Form. > 2) The "Create enumerated Class Members..." is accessed via the 'Show > form menu" and in the dialog, we can declare each item on a separate > row. > > It is step 5 in the document where things start to become confusing. > In TBC 2.6.2, when you OK that "Create enumerated Class Members..." > dialog, the result is placed in the Class Axioms section under > owl:oneOf. However in the written exercise, it says that you will see > it appear in the owl:equivalentClass. > > I'm sure I'm doing something wrong so could you please shed some > light. It is also the case that the { } symbol is not being displayed > which I am sure is related to the fact that it is not in the > owl:equivalentClass > > --tk > > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. 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-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
