General review for compliance with the OntoUML Metamodel 1.1.1.
OntoUML Vocabulary
An OWL vocabulary to allow the serialization and exchanging of OntoUML models in conformance with the Ontouml Metamodel.
OntoUML
OntoUML-Metamodel
Ontology-Driven Conceptual Modeling
KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano, Italy
Semantics, Cybersecurity & Services (SCS), University of Twente, the Netherlands
aggregationKind
Characterizes an ontouml:Property with an ontouml:AggregationKind instance, i.e., indicates whether the ontouml:Property is a simple (ontouml:none), a shared (ontouml:shared), or a composite (ontouml:composite) property.
attribute
Relates an instance of an ontouml:Class to its properties, which are instances of the ontouml:Property class.
cardinality
Identifies the individual of type ontouml:Cardinality that represents the cardinalities of an ontouml:Property.
categorizer
Identifies the ontouml:Class that is instantiated by the specific classes of the ontouml:Generalization type composing the ontouml:GeneralizationSet
containsModelElement
Identifies an instance of type ontouml:ModelElement that composes in an ontouml:Package.
It is mapped to the OntoUML Metamodel's 'contents' relation between the Package and ModelElement classes.
containsView
Identifies an instance of type ontouml:ElementView that is contained in an ontouml:Diagram, representing the concrete diagramation of an ontouml:ModelElement.
diagram
Identifies which entities of type ontouml:Diagram are part of an ontouml:Project.
It is mapped to the OntoUML Metamodel's 'diagrams' relation between the Project and Diagram classes.
general
Identifies the parent ontouml:Classifier (e.g., a superclass) that participates in an ontouml:Generalization relation.
generalization
Identifies an ontouml:Generalization that participates in an ontouml:GeneralizationSet.
isViewOf
Relates an ontouml:ElementView to ontouml:ModelElement, indicating the diagrammatical representation of the latter in an ontouml:Diagram.
literal
Relates an ontouml:Literal to its container enumeration class (an ontouml:Class that has the ontouml:stereotype property with ontouml:enumeration).
model
Relates an ontouml:Project to an ontouml:Package that is part of it.
owner
Relates an ontouml:Diagram to an ontouml:ModelElement that is represented on it, i.e., to an ontouml:ModelElement that has an ontouml:ElementView on that ontouml:Diagram.
point
Relates an ontouml:Path to an ontouml:Point that composes it.
project
Relates an ontouml:OntoumlElement different than ontouml:Project to an ontouml:Project that it composes.
property
Aggregates its subproperties ontouml:attribute and ontouml:relationEnd. Should not be directly used.
Identifies an ontouml:Property exhibited by an ontouml:Classifier. If the ontouml:Classifier is of type ontouml:Class, the ontouml:property is specialized in ontouml:attribute. If the ontouml:Classifier is an ontouml:Relation, the property is specialized in ontouml:relationEnd.
propertyType
Identifies an ontouml:Class or ontouml:Relation (i.e., an ontouml:Classifier) to which an ontouml:Property refers.
redefinesProperty
Identifies a target ontouml:Property that is redefined by a source ontouml:Property.
relationEnd
Identifies a property that represents one end (source or target) of an ontouml:Relation.
restrictedTo
Associates an ontouml:Class to an ontouml:OntologicalNature, restricting its allowed values.
shape
Relates an ontouml:ElementView to an ontouml:Shape that contains the diagramation's data (size and position) about the ontouml:ModelElement it is a view of.
sourceEnd
Identifies an ontouml:Property that represents the source side of an ontouml:Relation.
sourceView
Identifies an ontouml:ElementView that participates as source of an ontouml:RelationView or ontouml:GeneralizationView.
specific
Identifies the child ontouml:Classifier (e.g., a subclass) that participates in an ontouml:Generalization relation.
stereotype
Identifies the ontouml:Stereotype applied to the ontouml:DecoratableElement.
subsetsProperty
Identifies a target ontouml:Property that is subsetted by a source ontouml:Property.
targetEnd
Identifies an ontouml:Property that represents the target side of an ontouml:Relation.
targetView
Identifies an ontouml:ElementView that participates as target of an ontouml:ConnectorView.
topLeftPosition
Relates an ontouml:RectangularShape to an ontouml:Point that contains the horizontal and vertical coordinates (ontouml:xCoordinate and ontouml:yCoordinate, respectively) representing the former's top left position in an ontouml:Diagram.
Is direct mapped to the OntoUML Metamodel's 'topLeft' relationship between the classes RectangularShape and Point.
cardinalityValue
Provides the complete (i.e., both lower and upper cardinality's bounds) cardinalities of an ontouml:Property via its related ontouml:Cardinality.
description
Relates an ontouml:OntoumlElement to a string representing its description in free textual format.
height
Indicates the height of an ontouml:RectangularShape that is represented in an ontouml:Diagram.
isAbstract
Indicates if the ontouml:Classifier can have direct instances. If set to true, the classifier must be specialized before being instantiated. Otherwise, it can have direct instances.
isComplete
Indicates if an ontouml:GeneralizationSet is complete, i.e., if it does not admit further generalizations.
isDerived
Indicates if an ontouml:DecoratableElement can be defined through a derivation rule.
isDisjoint
Indicates if an ontouml:GeneralizationSet is disjoint, i.e., it does not admit generalizations having overlapping subclasses.
isExtensional
Indicates if an ontouml:Class is extensionally defined (i.e., it's parts cannot change).
isOrdered
Indicates if an ontouml:Property is ordered or not, i.e., if it requires an exact order of its values or not.
isPowertype
Indicates if an ontouml:Class is a powertype in multi-level modeling.
The ontouml:Class data property ontouml:isPowertype must not be true when it has an ontouml:order equal to one.
isReadOnly
Indicates if an ontouml:Property can or cannot be updated or modified.
lowerBound
An ontouml:Cardinality's lower bound must correspond to the one indicated by its ontouml:cardinalityValue property.
E.g., if the ontouml:cardinalityValue set is [1..*] then the lower bound is '1'.
Identifies the lower bound of an ontouml:Cardinality.
name
A string that identifies or names an ontouml:OntoumlElement.
order
Constraint: an ontouml:Class that has an ontouml:stereotype property with an ontouml:Stereotype different than ontouml:type must have an ontouml:order value equal to 1.
Constraint: an ontouml:Class that has an ontouml:stereotype property with an ontouml:Stereotype ontouml:type must have an ontouml:order value grater than 1.
Indicates the order of an ontouml:Class, enabling multi-level modeling.
text
A string that register any information of an ontouml:Note
upperBound
An ontouml:Cardinality's upper bound must correspond to the one indicated by its ontouml:cardinalityValue property.
E.g., if the ontouml:cardinalityValue set is [1..*] then the upper bound is '*'.
Identifies the upper bound of an ontouml:Cardinality.
width
Indicates the width of an ontouml:RectangularShape that is represented in an ontouml:Diagram.
xCoordinate
Is direct mapped to the metamodel's 'x' attribute of the Point class.
Relates an ontouml:Point to the value indicating the specific x (horizontal) coordinate of the top left position of an ontouml:RectangularShape.
yCoordinate
Is direct mapped to the metamodel's 'y' attribute of the Point class.
Relates an ontouml:Point to the value indicating the specific y (vertical) coordinate of the top left position of an ontouml:RectangularShape.
AggregationKind
Groups all possible aggregation kinds to which an ontouml:Property can be related.
This class is an enumeration of its individuals, which are: ontouml:composite, ontouml:none, and ontouml:shared.
Cardinality
Represents the cardinality of an ontouml:Property through its data property ontouml:cardinalityValue.
Class
Represents a type defined in the ontology.
An ontouml:Class have exactly one ontouml:Stereotype (i.e., it is a mandatory property) of specific type ontouml:ClassStereotype. This information is formalized by the ontouml:stereotype property.
ClassStereotype
Aggregates all possible instances that can be assigned via an ontouml:stereotype property to an ontouml:Class.
This class is an enumeration of its individuals, which are: ontouml:abstract, ontouml:category, ontouml:collective, ontouml:datatype, ontouml:enumeration, ontouml:event, ontouml:historicalRole, ontouml:historicalRoleMixin, ontouml:kind, ontouml:mixin, ontouml:mode, ontouml:phase, ontouml:phaseMixin, ontouml:quality, ontouml:quantity, ontouml:relator, ontouml:role, ontouml:roleMixin, ontouml:situation, ontouml:subkind, and ontouml:type.
ClassView
Does not directly contain data about the visual representation (rectangular shape's size and position) itself, but is related to this information via the ontouml:shape property.
Represents the diagramation (i.e., the visual representation) of an ontouml:Class in a given ontouml:Diagram.
Classifier
Abstract class that groups the classes ontouml:Class and ontouml:Relation.
ConnectorView
Abstract class that groups the classes ontouml:RelationView and ontouml:GeneralizationView.
DecoratableElement
Abstract class that groups the classes ontouml:Classifier and the ontouml:Property.
Diagram
A visual representation of an OntoUML model or of a portion of it.
DiagramElement
Abstract class that groups the classes ontouml:ElementView and the ontouml:Shape.
ElementView
E.g., an ontouml:ClassView is created whenever an ontouml:ModelElement is represented in an ontouml:Diagram.
Represents the diagramatical representation of an element on an ontouml:Diagram.
Abstract class that groups the classes ontouml:ConnectorView, ontouml:GeneralizationSetView, and ontouml:NodeView.
Generalization
Represents a generalization defined in an ontology.
GeneralizationSet
Represents a generalization set defined in the ontology.
GeneralizationSetView
Represents the diagramation (i.e., the visual representation) of an ontouml:GeneralizationSet in a given ontouml:Diagram.
GeneralizationView
Represents the diagramation (i.e., the visual representation) of an ontouml:Generalization in a given ontouml:Diagram.
Literal
Represents a possible value for an ontouml:Class defined by an ontouml:enumeration.
ModelElement
Abstract class that groups diverse elements that can be represented in on OntoUML model.
NodeView
Abstract class that groups the classes ontouml:NoteView, ontouml:ClassView, and ontouml:PackageView.
Note
Type of ontouml:ModelElement used to represent textual information.
NoteView
Represents the diagramation (i.e., the visual representation) of an ontouml:Note in a given ontouml:Diagram.
OntologicalNature
Collection of individuals that represent fundamental conceptual modeling issues according to the Unified Foundational Ontology (UFO) theory.
This class is an enumeration of its individuals, which are: ontouml:abstractNature, ontouml:collectiveNature, ontouml:eventNature, ontouml:extrinsicModeNature, ontouml:functionalComplexNature, ontouml:intrinsicModeNature, ontouml:qualityNature, ontouml:quantityNature, ontouml:relatorNature, ontouml:situationNature, and ontouml:typeNature.
OntoumlElement
Abstract class that groups different elements an ontoUML model can have.
Package
Aggregates ontology components, working as a container.
PackageView
Represents the diagramation (i.e., the visual representation) of an ontouml:Package in a given ontouml:Diagram.
Path
A list of connected ontouml:Point values to represent an ontouml:ElementView's shape.
Point
Contains the ontouml:xCoordinate value and ontouml:yCoordinate value. These values represent the top left position of an ontouml:RectangularShape, to which the ontouml:Point is related vian ontouml:topLeftPosition property.
Project
Aggregates all entities that are part of a same conceptual model, including concepts declaration and their visual representation.
It is the upper non-abstract class available in the OntoUML Vocabulary.
Property
Represents a property defined in the ontology. Properties contained by classes are deemed attributes and those contained by relations are deemed association ends.
An ontouml:Property may have at most one ontouml:Stereotype (i.e., it is an optional property) of specific type ontouml:PropertyStereotype. This information is formalized by the ontouml:stereotype property.
PropertyStereotype
Aggregates all possible instances that can be assigned via an ontouml:stereotype property to an ontouml:Property.
This class is an enumeration of its individuals, which are: ontouml:begin, and ontouml:end.
Rectangle
A particular type of ontouml:RectangularShape, mainly used to represent entities of type ontouml:Class.
RectangularShape
Represents a rectangular shape in a given ontouml:Diagram.
Relation
Represents a relation defined in the ontology.
An ontouml:Relation may have at most one ontouml:Stereotype (i.e., it is an optional property) of specific type ontouml:RelationStereotype. This information is formalized by the ontouml:stereotype property.
RelationStereotype
Aggregates all possible instances that can be assigned via an ontouml:stereotype property to an ontouml:Relation.
This class is an enumeration of its individuals, which are: ontouml:bringsAbout, ontouml:characterization, ontouml:comparative, ontouml:componentOf, ontouml:creation, ontouml:derivation, ontouml:externalDependence, ontouml:historicalDependence, ontouml:instantiation, ontouml:manifestation, ontouml:material, ontouml:mediation, ontouml:memberOf, ontouml:participation, ontouml:participational, ontouml:subCollectionOf, ontouml:subQuantityOf, ontouml:termination, and ontouml:triggers.
RelationView
Represents the diagramation (i.e., the visual representation) of an ontouml:Relation in a given ontouml:Diagram.
Shape
Contains information about the diagramation of an ontouml:ModelElement through its relation with an ontouml:ElementView.
Stereotype
Indicates meta-properties of classes, properties, or relations.
Text
An ontouml:RectangularShape used to represent some textual information in an ontouml:Diagram.
abstract
An individual of the ontouml:ClassStereotype used to assign the corresponding stereotype to a given ontouml:Class.
abstractNature
Indicates that the restricted type includes abstract individuals among its instances.
begin
An individual of the ontouml:PropertyStereotype used to assign the corresponding stereotype to a given ontouml:Property.
bringsAbout
An individual of the ontouml:RelationStereotype used to assign the corresponding stereotype to a given ontouml:Relation.
category
A rigid mixin that does not require a dependency to be specified. It is used to aggregate essential properties of individuals following different identity principles.
characterization
An ontouml:RelationStereotype attributed to a relation between a bearer type and its feature.
collective
An ontouml:ClassStereotype used to represent rigid concepts that provide an identity principle for their instances.
collectiveNature
Indicates that the restricted type includes collective individuals among its instances.
comparative
The stereotype for comparative relations (e.g., heavier-than). Decorates relations that always hold between any two individuals bearing the same relevant quality.
componentOf
A parthood relation between two complexes.
composite
The value denoting that an ontouml:Property represents a composite aggregation, i.e., a strong form of aggregation.
creation
datatype
derivation
end
enumeration
Represents the enumeration stereotype, having values represented using ontouml:Literal instances.
event
Things that happen to or are performed by endurants (Casati and Varzi, 2015).
eventNature
Indicates that the restricted type includes event individuals among its instances.
externalDependence
Identifies an endurant on which the extrinsicMode depends.
extrinsicModeNature
Identifies what inheres in a concrete individual and depends on others for its existence.
functionalComplexNature
Identifies the nature of a complex object whose parts (components) play different roles in its composition.
historicalDependence
Identifies a concrete individual on which another concrete individual depends historically.
historicalRole
Denotes the role of an endurant in virtue of having participated in an event of a particular type.
historicalRoleMixin
Denotes the equivalent of historicalRole for types that aggregate instances with different identity principles.
instantiation
intrinsicModeNature
Indicates that the restricted type includes intrinsic mode individuals among its instances.
kind
Used to represent rigid concepts that provide an identity principle for their instances and do not require a relational dependency.
manifestation
material
Identifies relations that have material structure on their own and include examples such as employments, kisses, enrollments, flight, connections and commitments.
mediation
A type of existential dependence relation (a form of nonfunctional inherence). It can be derived from the relation between the relata and the qua individuals that compose the relator and that inhere in the relata.
memberOf
A parthood relation between a functional complex or a Collective (as a part) and a Collective (as a whole).
mixin
Represents a semi-rigid type, i.e., it behaves as a rigid type for some individuals and as an anti-rigid one for others.
mode
A particular type of intrinsic property that has no structured value.
none
Denotes that an ontouml:Property is neither ontouml:shared nor ontouml:composite, but just an aggregation.
participation
A relation for representing when an event depends on a single object.
participational
Denotes a kind of event decomposition.
phase
Used to represent anti-rigid subtypes of identity providers (Kind, Collective, Quantity, Relator, Mode, and Quantity) that are instantiated by changes in intrinsic properties (e.g., the age of a person, the color of an object, the condition of a car).Phases always come in partitions.
phaseMixin
The equivalent of Phase for types that aggregate instances with different identity principles. A class stereotyped as PhaseMixin is also an anti-rigid type. PhaseMixin is similar semantically to RoleMixin with the difference in relational dependency.
quality
A Quality is a particular type of intrinsic property that has a structured value. Qualities are things that existentially depend on the things they characterize, called their bearers.
qualityNature
Indicates that the restricted type includes quality individuals among its instances.
quantity
Construct used to represent rigid concepts that provide an identity principle for their instances.
quantityNature
Indicates that the restricted type includes quantity individuals among its instances.
relator
A construct used to represent truth-makers of material relations, i.e., the things that must exist for two or more individuals to be connected by material relations.
relatorNature
Indicates that the restricted type includes relator individuals among its instances.
role
Used to represent anti-rigid specializations of identity providers (Kind, Collective, Quantity, Relator, Mode, and Quantity) that are instantiated in relational contexts.
roleMixin
The equivalent of Role for types that aggregate instances with different identity principles.
shared
Indicates that the ontouml:Property has shared aggregation semantics.
situation
Can be used to represent certain configurations of entities that can be comprehended as a whole.
situationNature
Indicates that the restricted type includes situation individuals among its instances.
subCollectionOf
A parthood relation between two collectives.
subQuantityOf
A parthood relation between two quantities.
subkind
Used to represent rigid specializations of identity providers (Kind, Collective, Quantity, Relator, Mode, and Quantity).
termination
triggers
type
The stereotype for high-order types.
typeNature
Indicates that the restricted type includes type individuals among its instances.