Kernel
type: Ontology
publisher: Telecommunications Software and Systems Group 'www.tssg.org'
contributor: Nazim Agoulmine - Laboratoire de Réseaux et Systèmes Multimédia - Université d'Evry-Val d'Essonne @fr
contributor: John Strassner - Autonomic Research Lab - Motorola Labs
contributor: Mícheál Ó Foghlú - Telecommunications Software and Systems Group - Waterford Institute of Technology
creator: Elyes Lehtihet 'elehtihet@tssg.org'
date: 29/05/2005
subject: Unified Modeling Language (UML2) Superstructure
imports: http://purl.org/dc/elements/1.1/
imports: Generalizations.owl
imports: Constructs.owl
imports: Instances.owl
imports: MultiplicityExpressions.owl
imports: PrimitiveTypes.owl
imports: Literals.owl

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#1
type: Restriction
on property: InstanceSpecification.specification
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#12
type: Restriction
on property: Parameter.operation
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#13
type: Restriction
on property: Parameter.defaultValue
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#14
type: Restriction
on property: Association.memberEnd
min cardinality: 2

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#15
type: Restriction
on property: Association.endType
min cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#16
type: Restriction
on property: EnumerationLiteral.enumeration
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#27
type: Restriction
on property: NamedElement.namespace
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#28
type: Restriction
on property: DirectedRelationship.target
min cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#29
type: Restriction
on property: DirectedRelationship.source
min cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#30
type: Restriction
on property: TypedElement.type
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#31
type: Restriction
on property: Operation.type
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#32
type: Restriction
on property: Operation.bodyCondition
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#33
type: Restriction
on property: Operation.datatype
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#34
type: Restriction
on property: Operation.class
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#35
type: Restriction
on property: Type.package
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#36
type: Restriction
on property: Element.owner
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#37
type: Restriction
on property: MultiplicityElement.lowerValue
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#38
type: Restriction
on property: MultiplicityElement.upperValue
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#39
type: Restriction
on property: Constraint.namespace
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#40
type: Restriction
on property: Constraint.context
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#41
type: Restriction
on property: Property.datatype
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#42
type: Restriction
on property: Property.owningAssociation
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#43
type: Restriction
on property: Property.association
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#44
type: Restriction
on property: Property.opposite
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#45
type: Restriction
on property: Property.class
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#46
type: Restriction
on property: Property.defaultValue
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#55
type: Restriction
on property: Package.nestingPackage
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/875309dba4ac0471ab025224a6f2b8dc#56
type: Restriction
on property: Relationship.relatedElement
min cardinality: 1

Slot.owningInstance
type: ObjectProperty
type: FunctionalProperty
domain: Slot
range: InstanceSpecification
comment: subsets owner

Classifier.redefinedClassifier
type: ObjectProperty
domain: Classifier
range: Classifier
comment: subsets redefinedElement

PackageImport.importedPackage
type: ObjectProperty
type: FunctionalProperty
domain: PackageImport
range: Package
comment: subsets target

Namespace.packageImport
type: ObjectProperty
domain: Namespace
range: PackageImport
comment: subsets ownedElement

PackageImport.importingNamespace
type: ObjectProperty
type: FunctionalProperty
domain: PackageImport
range: Namespace
comment: subsets source, subsets owner

Parameter.operation
type: ObjectProperty
domain: Parameter
range: Operation
comment: subsets namespace

Operation.bodyCondition
type: ObjectProperty
domain: Operation
range: Constraint
comment: subsets ownedRule

Namespace.elementImport
type: ObjectProperty
domain: Namespace
range: ElementImport
comment: subsets ownedElement

ElementImport.importingNamespace
type: ObjectProperty
type: FunctionalProperty
domain: ElementImport
range: Namespace
comment: subsets source, subsets owner

Class.superClass
type: ObjectProperty
domain: Class
range: Class
comment: redefines general

Enumeration.ownedLiteral
type: ObjectProperty
domain: Enumeration
range: EnumerationLiteral
comment: ordered, subsets ownedMember

EnumerationLiteral.enumeration
type: ObjectProperty
domain: EnumerationLiteral
range: Enumeration
comment: subsets namespace

DataType.ownedOperation
type: ObjectProperty
domain: DataType
range: Operation
comment: ordered, subsets feature, subsets ownedMember

Operation.datatype
type: ObjectProperty
domain: Operation
range: DataType
comment: subsets namespace, subsets redefinitionContext, subsets featuringClassifier

RedefinableElement.redefinitionContext
type: ObjectProperty
domain: RedefinableElement
range: Classifier
comment: union

DataType.ownedAttribute
type: ObjectProperty
domain: DataType
range: Property
comment: ordered, subsets attribute, subsets ownedMember

Property.datatype
type: ObjectProperty
domain: Property
range: DataType
comment: subsets namespace, subsets featuringClassifier, subsets classifier

RedefinableElement.redefinedElement
type: ObjectProperty
domain: RedefinableElement
range: RedefinableElement
comment: union

Association.ownedEnd
type: ObjectProperty
domain: Association
range: Property
comment: ordered, subsets memberEnd, subsets feature, subsets ownedMember

Property.owningAssociation
type: ObjectProperty
domain: Property
range: Association
comment: subsets association, subsets namespace, subsets featuringClassifier

Property.redefinedProperty
type: ObjectProperty
domain: Property
range: Property
comment: subsets redefinedElement

Operation.redefinedOperation
type: ObjectProperty
domain: Operation
range: Operation
comment: subsets redefinedElement

Package.nestedPackage
type: ObjectProperty
domain: Package
range: Package
comment: subsets ownedMember

Package.nestingPackage
type: ObjectProperty
domain: Package
range: Package
comment: subsets namespace

Package.ownedType
type: ObjectProperty
domain: Package
range: Type
comment: subsets ownedMember

Type.package
type: ObjectProperty
domain: Type
range: Package
comment: subsets namespace

Association.memberEnd
type: ObjectProperty
domain: Association
range: Property
comment: ordered, subsets member

Operation.postcondition
type: ObjectProperty
domain: Operation
range: Constraint
comment: subsets ownedRule

Operation.precondition
type: ObjectProperty
domain: Operation
range: Constraint
comment: subsets ownedRule

Association.endType
type: ObjectProperty
domain: Association
range: Type
comment: ordered

Class.ownedOperation
type: ObjectProperty
domain: Class
range: Operation
comment: ordered, subsets feature, subsets ownedMember

Operation.class
type: ObjectProperty
domain: Operation
range: Class
comment: subsets redefinitionContext, subsets namespace, subsets featuringClassifier

Relationship.relatedElement
type: ObjectProperty
domain: Relationship
range: Element
comment: union

BehavioralFeature.ownedParameter
type: ObjectProperty
domain: BehavioralFeature
range: Parameter
comment: ordered, subsets ownedMember

Namespace.member
type: ObjectProperty
domain: Namespace
range: NamedElement
comment: union

Feature.featuringClassifier
type: ObjectProperty
domain: Feature
range: Classifier
comment: union

Classifier.feature
type: ObjectProperty
domain: Classifier
range: Feature
comment: union

Generalization.general
type: ObjectProperty
type: FunctionalProperty
domain: Generalization
range: Classifier
comment: subsets target

Namespace.importedMember
type: ObjectProperty
domain: Namespace
range: PackageableElement
comment: subsets member

Class.ownedAttribute
type: ObjectProperty
domain: Class
range: Property
comment: ordered, subsets attribute, subsets ownedMember

Property.class
type: ObjectProperty
domain: Property
range: Class
comment: subsets classifier, subsets namespace, subsets featuringClassifier

Package.ownedMember
type: ObjectProperty
domain: Package
range: PackageableElement
comment: redefines ownedMember

Classifier.attribute
type: ObjectProperty
domain: Classifier
range: Property
comment: union, subsets feature

Namespace.ownedMember
type: ObjectProperty
domain: Namespace
range: NamedElement
comment: union, subsets member, subsets ownedElement

Class.nestedClassifier
type: ObjectProperty
domain: Class
range: Classifier
comment: ordered, subsets ownedMember

NamedElement.namespace
type: ObjectProperty
domain: NamedElement
range: Namespace
comment: union, subsets owner

Namespace.ownedRule
type: ObjectProperty
domain: Namespace
range: Constraint
comment: subsets ownedMember

Constraint.namespace
type: ObjectProperty
domain: Constraint
range: Namespace
comment: subsets context

Classifier.generalization
type: ObjectProperty
domain: Classifier
range: Generalization
comment: subsets ownedElement

Generalization.specific
type: ObjectProperty
type: FunctionalProperty
domain: Generalization
range: Classifier
comment: subsets source, subsets owner

Constraint.context
type: ObjectProperty
domain: Constraint
range: Namespace
comment: union

Constraint.constrainedElement
type: ObjectProperty
domain: Constraint
range: Element
comment: ordered

DirectedRelationship.target
type: ObjectProperty
domain: DirectedRelationship
range: Element
comment: union, subsets relatedElement

InstanceSpecification.specification
type: ObjectProperty
domain: InstanceSpecification
range: ValueSpecification
comment: subsets ownedElement

Slot.value
type: ObjectProperty
domain: Slot
range: ValueSpecification
comment: ordered, subsets ownedElement

Classifier.inheritedMember
type: ObjectProperty
domain: Classifier
range: NamedElement
comment: subsets member

ElementImport.importedElement
type: ObjectProperty
type: FunctionalProperty
domain: ElementImport
range: PackageableElement
comment: subsets target

Element.ownedComment
type: ObjectProperty
domain: Element
range: Comment
comment: subsets ownedElement

Property.defaultValue
type: ObjectProperty
domain: Property
range: ValueSpecification
comment: subsets ownedElement

Parameter.defaultValue
type: ObjectProperty
domain: Parameter
range: ValueSpecification
comment: subsets ownedElement

DirectedRelationship.source
type: ObjectProperty
domain: DirectedRelationship
range: Element
comment: union, subsets relatedElement

Constraint.specification
type: ObjectProperty
type: FunctionalProperty
domain: Constraint
range: ValueSpecification
comment: subsets ownedElement

Element.ownedElement
type: ObjectProperty
domain: Element
range: Element
comment: union

Element.owner
type: ObjectProperty
domain: Element
range: Element
comment: union

PackageMerge.mergedPackage
type: ObjectProperty
type: FunctionalProperty
domain: PackageMerge
range: Package
comment: subsets target

Package.packageMerge
type: ObjectProperty
domain: Package
range: PackageMerge
comment: subsets ownedElement

PackageMerge.receivingPackage
type: ObjectProperty
type: FunctionalProperty
domain: PackageMerge
range: Package
comment: subsets source, subsets owner

Association.navigableOwnedEnd
type: ObjectProperty
domain: Association
range: Property
comment: subsets ownedEnd

MultiplicityElement.lowerValue
type: ObjectProperty
domain: MultiplicityElement
range: ValueSpecification
comment: subsets ownedElement

MultiplicityElement.upperValue
type: ObjectProperty
domain: MultiplicityElement
range: ValueSpecification
comment: subsets ownedElement

Expression.operand
type: ObjectProperty
domain: Expression
range: ValueSpecification
comment: ordered, subsets ownedElement

InstanceSpecification.slot
type: ObjectProperty
domain: InstanceSpecification
range: Slot
comment: subsets ownedElement

OpaqueExpression.language
type: ObjectProperty
type: FunctionalProperty
domain: OpaqueExpression
range: String
comment: ordered

OpaqueExpression.body
type: ObjectProperty
type: FunctionalProperty
domain: OpaqueExpression
range: String
comment: ordered