CoReC: un modello formale per le relazioni fra due sistemi di classificazione

The report describes the process starting from the conception of a formal model and leading to his definition. The paper introduces the requirements necessary for representing and correlating two knowledge classification systems. The formal model and its implementation are introduced. The objects managed by the model are the concepts (classes) which classify knowledge and semantic relationships between concepts. Relationship between concepts belonging to a single classification and different classifications are discussed.

Il rapporto tecnico mostra il processo che conduce dalla concezione di un modello formale per relazioni semantiche alla sua definizione. Dopo aver introdotto i requisiti necessari a rappresentare e correlare due sistemi di classificazione viene presentato il modello formale e la sua realizzazione. Gli oggetti gestiti dal modello sono i concetti (classi) che classificano la conoscenza e le relazioni semantiche esistenti fra concetti. Vengono distinte le relazioni fra concetti di una stessa classificazione e fra concetti di classificazioni distinte.