PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Locuratolo E., Palomäki J. Transporting the partitioning to the concept level. Paper to be submitted to DKE journal, Technical report, 2011.
 
 
Abstract
(English)
In concept theory, it is possible to make a distinction between the intensional/concept level, which is the level of human thinking, and the extensional/set theoretical level, which is the level of computer science. At the intensional level, concepts are dealt with, whereas, at the extensional level set of objects/classes are considered. As a set of objects falls under many different concepts, an arrow exists which is directed only from the intensional to the extensional level. In this paper, a methodology is proposed for transporting at the concept level mappings of graphs from semantic to object level. This idea is important for both reasons. Within the concept level effective algorithms which have correspondently classes of objects supported by computer systems are not yet available, but can be defined. On the other hand, within appropriate concept structures it is possible determining all the concepts under which a set of objects falls.
Subject Concept
Intension
Extension
Partitioning
D.2.10 Methodologies
D.2.12 Data Mapping
D.3.3 Classes and Objects
H.2.1 Data Models
F.4 Mathematical logic and formal languages
F.4.1 Set-theory
68U01 Computing Methodologies and Applications


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional