Package1
type: Ontology
imports: MOFSupport

DataType1
type: DataType

DataType2
type: Class
subclass of: DataType
subclass of: Restriction
  all values from: integer
  on property: a1
subclass of: Restriction
  on data range: integer
  on property: a1
  qualified cardinality: 1
subclass of: Restriction
  all values from: integer
  on property: a2
subclass of: Restriction
  on data range: integer
  on property: a2
  max qualified cardinality: 1

a1
type: DatatypeProperty
domain: DataType2
range: integer

a2
type: DatatypeProperty
domain: DataType2
range: integer

SomeKind
type: Class
subclass of: Enumeration
equivalent class: Class
  one of: GREEN
  one of: RED
  one of: BLUE

BLUE
type: SomeKind
type: NamedIndividual

GREEN
type: SomeKind
type: NamedIndividual

RED
type: SomeKind
type: NamedIndividual

ClassA
type: Class
subclass of: Class

ClassA1
type: Class
subclass of: Class
subclass of: Restriction
  all values from: integer
  on property: attr1
subclass of: Restriction
  on data range: integer
  on property: attr1
  qualified cardinality: 1

attr1
type: DatatypeProperty
domain: ClassA1
range: integer

ClassA2
type: Class
subclass of: Class
subclass of: Restriction
  all values from: string
  on property: attr2

attr2
type: DatatypeProperty
domain: ClassA2
range: string

ClassA3
type: Class
subclass of: Class
subclass of: Restriction
  all values from: integer
  on property: attr3
subclass of: Restriction
  on data range: integer
  on property: attr3
  on property: minQualifiedCardinality
  on property: 1
subclass of: Restriction
  on data range: integer
  on property: attr3
  max qualified cardinality: 5

attr3
type: DatatypeProperty
domain: ClassA3
range: integer

ClassA4
type: Class
subclass of: Class
subclass of: Restriction
  all values from: DataType1
  on property: attr4
subclass of: Restriction
  on data range: DataType1
  on property: attr4
  qualified cardinality: 1

attr4
type: DatatypeProperty
domain: ClassA4
range: DataType1

ClassA5
type: Class
subclass of: Class
subclass of: Restriction
  all values from: DataType2
  on property: attr5
subclass of: Restriction
  on class: DataType2
  on property: attr5
  qualified cardinality: 1

attr5
type: ObjectProperty
domain: ClassA5
range: DataType2

ClassA6
type: Class
subclass of: Class
subclass of: Restriction
  all values from: ClassB
  on property: attr6
subclass of: Restriction
  on class: ClassB
  on property: attr6
  qualified cardinality: 1

attr6
type: ObjectProperty
domain: ClassA6
range: ClassB

Association_AB
type: Class
subclass of: Association
subclass of: Restriction
  on class: ClassB
  on property: endB
  qualified cardinality: 1
subclass of: Restriction
  on class: ClassA
  on property: endA
  qualified cardinality: 1

endA
type: ObjectProperty
domain: Association_AB
range: ClassA

endA link
type: ObjectProperty
domain: ClassA
range: Association_AB

endB
type: ObjectProperty
domain: Association_AB
range: ClassB

endB link
type: ObjectProperty
domain: ClassB
range: Association_AB

ClassA
type: Class
subclass of: Class
subclass of: Restriction
  all values from: Association_AB
  on property: endB link
subclass of: Restriction
  max qualified cardinality: 3
  on class: Association_AB
  on property: endB link

endB
type: ObjectProperty
domain: ClassA
range: ClassB
inverse of: endA
property chain axiom:
  inverse of: endA
property chain axiom: endB

ClassB
type: Class
subclass of: Class
subclass of: Restriction
  all values from: Association_AB
  on property: endA link
subclass of: Restriction
  on property: endA link
  qualified cardinality: 1
  some values from: Association_AB

endA
type: ObjectProperty
domain: ClassB
range: ClassA
property chain axiom:
  inverse of: endB
property chain axiom: endA

AssoClass_AB
type: Class
subclass of: AssociationClass
subclass of: Restriction
  on class: ClassB
  on property: endB
  qualified cardinality: 1
subclass of: Restriction
  on class: ClassA
  on property: endA
  qualified cardinality: 1
subclass of: Restriction
  all values from: integer
  on property: ac1
subclass of: Restriction
  on data range: integer
  on property: ac1
  qualified cardinality: 1

endA
type: ObjectProperty
domain: AssoClass_AB
range: ClassA

endA link
type: ObjectProperty
domain: ClassA
range: AssoClass_AB

endB
type: ObjectProperty
domain: AssoClass_AB
range: ClassB

endB link
type: ObjectProperty
domain: ClassB
range: AssoClass_AB

ac1
type: DatatypeProperty
domain: AssoClass_AB
range: integer

ClassA
type: Class
subclass of: Class
subclass of: Restriction
  all values from: AssoClass_AB
  on property: endB link
subclass of: Restriction
  max qualified cardinality: 3
  on class: AssoClass_AB
  on property: endB link

endB
type: ObjectProperty
domain: ClassA
range: ClassB
inverse of: endA
property chain axiom:
  inverse of: endA
property chain axiom: endB

ClassB
type: Class
subclass of: Class
subclass of: Restriction
  all values from: AssoClass_AB
  on property: endA link
subclass of: Restriction
  on property: endA link
  qualified cardinality: 1
  some values from: AssoClass_AB

endA
type: ObjectProperty
domain: ClassB
range: ClassA
property chain axiom:
  inverse of: endB
property chain axiom: endA