Re: Deriving from abstract types

Gino Basso <GBasso@ware2.com> writes:

> Basically I'm trying to devise a schema such that only derived types
> (elements) of specific abstract types (elements) can be used in instances of
> 'document1' and 'document2'. Does the above schema guarantee this?

I believe so.

> For example, is 'anotherName' allowed to be in the substitution
> group for 'objectName', thereby circumventing the type hierarchy?

How does this circumvent the type hierarchy?  anotherName's type
(NMTOKEN) is a restriction of objectName's type (anyType).

> The confusion comes from the fact that the type of 'objectName' is
> 'anyType'. This was done so as not to impose any structure on the
> way an object was 'named'. However, I only wanted to allow concrete
> names to be derived by restriction. The same was true of the
> 'objectData' hierarchy.

You've achieved this.

> Assuming the above schema does accomplish what I want, how then would one
> derive a type from 'ObjectName' which describes the following instance
> element:
> 
>     <myName id="1234">me</myName>

You've already got that, in anotherName, I believe.

ht
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2001, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/

Received on Thursday, 19 October 2000 12:17:12 UTC