Thesis full text (PDF) - Politecnico di Milano

PropertyDisjointOfProperty (for inserting the property of the component as disjoint to the given
values), PropertyInverseOfProperty (for inserting the property of the component as inverse to
the given values).
3.1.12 Add Property Value component
The Add Property Value Component creates new axioms in the knowledge base regarding UML
slot values (both class objects and data values). UML slot values are not first-class citizens but
are defined for a given property, therefore the slot value, the class defining the property
assuming the value, and the property assuming the value are parameter values for the mandatory
element for the component. The insertion conditions are: PropertyValueOfValue (specifying: the
mandatory value of the property value, the mandatory name of the property that assumes the
property value, and the mandatory name of the class defining the previous property), and
PropertyValueOnInstance (for indicating the instance to be assigned with the property value of
the component). If a property value is added in the knowledge base without indicating the
instance to assume it, the value results to a nominal in a class definition.
Figure 3.13: Add Property Value Component
3.1.13 Add Instance component
The Add Instance Component creates new axioms in the knowledge base regarding UML
instances (class objects). The insertion conditions: InstanceOfName (specifying the mandatory
name of the instance that should be inserted in the knowledge base), and InstanceOfClass
(specifying the name of the classes instantiated by the instance of the component).
39