Hi TK,
TopBraid is trying to be consistent and true to the underlying RDF
data structures. In this particular case, the value is an rdf:List,
and we are displaying (untyped) rdf:Lists with the globe icon. I can
see why you would prefer to still see the {} icon, but in this case I
see no alternative to the current behavior. The name owl:oneOf is the
main clue about enumerated classes right now.
Holger
On Mar 12, 2009, at 1:29 PM, tk blast wrote:
> What I did find nice about the older owl:equivalentClass
> representation is the orange ball with the { } symbolizing the
> enumeration.
> While one can still see this historical form when viewing the
> geotravel.owl example (AccommodationRating Class), there appears to
> be no way in the new form to get this { } symbol. You can hack it
> in via the Source Code but that is cheating. :-)
>
> The new owl:oneOf represntation will not yield the orange ball with
> the { } symbolizing the enumeration.
> Instead, there is a planet symbol similar to the one used for the
> Imports View tab.
>
> --tk
>
>
> On Thu, Mar 12, 2009 at 11:01 AM, Holger Knublauch <[email protected]
> > wrote:
>
> 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
> >
> >
> > >
>
>
>
>
>
>
> --
>
> "The nervous system organizes itself so as to compute a stable
> reality" - Maturana & Varela
>
> >
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
