Thesis full text (PDF) - Politecnico di Milano

The deletion conditions are: PropertyOfName (specifying the mandatory name of the property,
and the mandatory name of the class or datatype defining the property of the component),
PropertyDisjointOfProperty (for deleting the property of the component as disjoint to the given
values), PropertyInverseOfProperty (for deleting the property of the component as inverse to the
given values), PropertyOfType (for deleting the property of the component as having type the
given values), PropertySubOfProperty (for deleting the property of the component as specific of
the given values), PropertySuperOfProperty (for deleting the property of the component as
generic of the given values), PropertyWithCardinality (for deleting the property of the
component with minimum and maximum cardinality the given values), and PropertyIsTransitive
(for deleting the property of the component as being transitive).
3.1.18 Remove Property Value component
The Remove Property value Component deletes axioms in the knowledge base regarding UML
property values. The deletion conditions: PropertyValueOfValue (specifying the mandatory The
Remove Property value Component deletes axioms in the knowledge base regarding UML
property values. The deletion conditions: PropertyValueOfValue (specifying the mandatory
name of the property value, the mandatory name of the property assuming the property value of
the component, and the mandatory name of the class defining the previous property),
PropertyValueOnInstance (for deleting the given instances as having value the property value of
the component).
Figure: 3.19: Remove Property Value Component
44