Profile1
type: Ontology
imports: MOFSupport
imports: UML

Stereo1
type: Class
subclass of: Stereotype
subclass of: Restriction
  on property: type
  some values from: Class

Stereo2
type: Class
subclass of: Stereotype
subclass of: Restriction
  on property: type
  some values from: Property

Stereo3
type: Class
subclass of: Stereotype
subclass of: Restriction
  on property: type
  some values from: Class

Stereo4
type: Class
subclass of: Stereo3
subclass of: Stereotype

Stereo5
type: Class
subclass of: Stereotype
subclass of: Restriction
  on property: type
  some values from: Class
    union of: Property
    union of: Operation

A_stereo6_attr2
type: Class
subclass of: Association
subclass of: Restriction
  on class: Stereo6
  on property: stereo6
  qualified cardinality: 1
subclass of: Restriction
  on class: Property
  on property: attr2
  qualified cardinality: 1

attr2
type: ObjectProperty
domain: A_stereo6_attr2
range: Property

attr2 link
type: ObjectProperty
domain: Property
range: A_stereo6_attr2

stereo6
type: ObjectProperty
domain: A_stereo6_attr2
range: Stereo6

stereo6 link
type: ObjectProperty
domain: Stereo6
range: A_stereo6_attr2

Stereo6
type: Class
subclass of: Stereotype
subclass of: Restriction
  on property: type
  some values from: Class
subclass of: Restriction
  all values from: integer
  on property: attr1
subclass of: Restriction
  on data range: integer
  on property: attr1
  qualified cardinality: 1
subclass of: Restriction
  all values from: A_stereo6_attr2
  on property: attr2 link
subclass of: Restriction
  on property: attr2 link
  qualified cardinality: 1
  some values from: A_stereo6_attr2

attr1
type: DatatypeProperty
domain: Stereo6
range: integer

attr2
type: ObjectProperty
domain: Stereo6
range: Property
property chain axiom:
  inverse of: stereo6
property chain axiom: attr2