Thesis full text (PDF) - Politecnico di Milano

upon these axioms. If no selection condition is applied, it extracts all the classes in the
knowledge base.
ClassWithNominal
- PValue [1..*]: String
- BooleanOperator : String
create(): void
destroy(): void
set(s:String[], b: String): void
getClasses(): String []
ClassIsUnsatisfiable
- IsUnsatisfiable : Boolean
create(): void
destroy(): void
set(s:String): void
getClasses(): String []
0..1
0..1
1
1
Class Component
- Description [0..*] : String
- conjunction(s: String [][]) : String []
+ query(s: String[][]) : String []
1 1
1
1
1
1
0..1
0..1
ClassDomainOfProperty
- Property [1..*] : String
- BooleanOperator : String
create(): void
destroy(): void
set(s:String[], b: String): void
getClasses(): String []
ClassTypeOfProperty
- Property [1..*] : String
- BooleanOperator : String
create(): void
destroy(): void
set(s:String[], b: String): void
getClasses(): String []
ClassOfName
- Name [1..*] : String
0..1
create(): void
destroy(): void
set(s:String []): void
getClasses(): String []
ClassDisjointOfClass
- Class [1..*] : String
- BooleanOperator : String
create(): void
destroy(): void
set(s:String[], b: String): void
getClasses(): String []
0..1 0..1 0..1
ClassOfInstance
- Instance [1..*] : String
- BooleanOperator : String
create(): void
destroy(): void
set(s:String[], b: String): void
getClasses(): String []
ClassOfDirectInstance
- Instance [1..*] : String
- BooleanOperator : String
create(): void
destroy(): void
set(s:String[], b: String): void
getClasses(): String []
Figure 3.1: Class Component
The Class Component is depicted in figure 3.1 as a UML class diagram. Each composition
indicates a selection condition to be applied for the extraction of classes: ClassOfName extracts
classes by name, ClassDisjointOfClass extract the classes being disjoint to some values,
ClassDomainOfProperty and ClassTypeOfProperty extract the definition for the given
properties, ClassOfInstance and ClassOfDirectInstance retrieve the classes being instantiated
(indirectly or directly) by these values, ClassWithNominal extracts the classes containing the
given nominals, and ClassIsUnsatisfiable retrieves the classes that cannot be instantiated.
The invocation of the component is made with the query method defined in the Class Component
class receiving the selection values if any. The Class Component object is responsible to create
the objects of the necessary selection conditions, initiate their value, get the classes, and destroy
28