Type_type

Type_type is a subtype of Type_DOMS. Type_type defines that type objects have one or more extendsType relations and a Type datastream. Allowing more than one extendsType relations means that we allow multiple inheritance for types. The Type datastream (yet to be defined) is meant to hold a technical definition of the type against which foxml objects of this type can be validated.

The Type_type object is the bottom of the "isObjectType" relation. Any object with a "isObjectType" relation to Type_type is a TYPE object.

Extensions to Type DOMS

• Datastreams

  • Relations RDF relations to other objects (RELS-EXT)

    • +extendsType -> Type Object relation to object with object type Type

  • Type datastream describing the type

The FoxML object can be found here