Thesis full text (PDF) - Politecnico di Milano

Figure 3.14: Add Instance Component
Similarly to the Add Class Component, the Add Datatype Component, Add Property Component,
Add Property Value Component, and Add Instance Component insert new axioms in the
knowledge base respectively regarding UML datatypes, properties, property values, and
instances. A mandatory insertion condition indicates the name of the datatype/ property/
propertyvalue/ instance to be inserted in the knowledge base. Further conditions may be applied
to specify related axioms that need to be inserted as well.
3.1.14 Remove Components
The Remove components remove existing axioms in the knowledge base regarding UML
elements. Similar to Add components, every component is defined upon one of the UML
primitives of Class, Datatype, Property, Generalization, Slot, and Instance, and it is invoked for
exactly one UML element instantiating the UML primitive upon which the component is
defined. It updates the knowledge base either by deleting the UML element and every axiom
defined upon it, or by disassociating the UML element from other existing elements.
The generic graphical depiction of a Remove component is shown in figure 3.15 and is
analogous to the one for Add components. The component is defined by the central Remove
Name Component UML class (main class), representing the main UML primitive upon which
the component is defined, and by a set of UML compositions representing the relations of the
main UML primitive with other UML primitives that may be explored for the insertion of
knowledge. There is one mandatory UML composition modeling the (main) element
instantiating the main UML primitive. In case the elements of the main UML primitive are not
40