Classification in areas (2024-03-15)
Jérôme Euzenat, Stepwise functional refoundation of relational concept analysis, Research report 9518, INRIA, Grenoble (FR), 68p., October 2023
Relational concept analysis (RCA) is an extension of formal concept analysis allowing to deal with several related contexts simultaneously. It has been designed for learning description logic theories from data and used within various applications. A puzzling observation about RCA is that it returns a single family of concept lattices although, when the data feature circular dependencies, other solutions may be considered acceptable. The semantics of RCA, provided in an operational way, does not shed light on this issue. In this report, we define these acceptable solutions as those families of concept lattices which belong to the space determined by the initial contexts (well-formed), cannot scale new attributes (saturated), and refer only to concepts of the family (self-supported). We adopt a functional view on the RCA process by defining the space of well-formed solutions and two functions on that space: one expansive and the other contractive. We show that the acceptable solutions are the common fixed points of both functions. This is achieved step-by-step by starting from a minimal version of RCA that considers only one single context defined on a space of contexts and a space of lattices. These spaces are then joined into a single space of context-lattice pairs, which is further extended to a space of indexed families of context-lattice pairs representing the objects manipulated by RCA. We show that RCA returns the least element of the set of acceptable solutions. In addition, it is possible to build dually an operation that generates its greatest element. The set of acceptable solutions is a complete sublattice of the interval between these two elements. Its structure and how the defined functions traverse it are studied in detail.
Formal Concept Analysis, Relational concept analysis, Fixed point, Fixed-point semantics, Circular dependency
Line van den Berg, Jérôme Euzenat, The small Class? gamebook, Pedagogical material, 2022
Class? is an enjoyable card game aiming at grouping colourful cards into meaningful classes. It illustrates facets of reasoning with classifications. In order to introduce Class? progressively, this small gamebook provides a sequence of games before getting to the Class? game itself and beyond. The games are presented in increasing order of difficulty so that a game will benefit from mastering of previous ones.
Class?, Classification, Game
Jérôme Euzenat, Fixed-point semantics for barebone relational concept analysis, in: Proc. 16th international conference on formal concept analysis (ICFCA), Strasbourg (FR), (Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber (eds), Proc. 16th international conference on formal concept analysis (ICFCA), Lecture notes in computer science 12733, 2021), pp20-37, 2021
Relational concept analysis (RCA) extends formal concept analysis (FCA) by taking into account binary relations between formal contexts. It has been designed for inducing description logic TBoxes from ABoxes, but can be used more generally. It is especially useful when there exist circular dependencies between objects. In this case, it extracts a unique stable concept lattice family grounded on the initial formal contexts. However, other stable families may exist whose structure depends on the same relational context. These may be useful in applications that need to extract a richer structure than the minimal grounded one. This issue is first illustrated in a reduced version of RCA, which only retains the relational structure. We then redefine the semantics of RCA on this reduced version in terms of concept lattice families closed by a fixed-point operation induced by this relational structure. We show that these families admit a least and greatest fixed point and that the well-grounded RCA semantics is characterised by the least fixed point. We then study the structure of other fixed points and characterise the interesting lattices as the self-supported fixed points.
Formal Concept Analysis
Jérôme Euzenat, Evaluating ontology alignment methods, in: Proc. Dagstuhl seminar on Semantic interoperability and integration, Wadern (DE), (Yannis Kalfoglou, Marco Schorlemmer, Amit Sheth, Steffen Staab, Michael Uschold (eds), Semantic interoperability and integration, Dagstuhl seminar proceedings(04391), 2005), 2005
Many different methods have been designed for aligning ontologies. These methods use such different techniques that they can hardly be compared theoretically. Hence, it is necessary to compare them on common tests. We present two initiatives that led to the definition and the performance of the evaluation of ontology alignments during 2004. We draw lessons from these two experiments and discuss future improvements.
Amedeo Napoli, Bernard Carré, Roland Ducournau, Jérôme Euzenat, François Rechenmann, Objet et représentation, un couple en devenir, RSTI - L'objet 10(4):61-81, 2004
Cet article propose une étude et discussion sur la place des objets en représentation des connaissances. Il n'apporte pas de réponse complête et définitive à la question, mais se veut plutôt une synthèse constructive des travaux sur les représentations par objets réalisés jusqu'à présent. Cet article est également écrit à l'intention particulière de Jean-François Perrot, en essayant de débattre avec entrain et brio de la question actuelle des représentations par objets, des recherches et des résultats établis, des directions de recherche envisageables et de ce qui pourrait ou devrait être attendu.
Représentation des connaissances par objets, Logique de descriptions, Raisonnement par classification, Web sémantique
Jérôme Euzenat, Petko Valtchev, Similarity-based ontology alignment in OWL-Lite, in: Ramon López de Mantaras, Lorenza Saitta (eds), Proc. 16th european conference on artificial intelligence (ECAI), Valencia (ES), pp333-337, 2004
Interoperability of heterogeneous systems on the Web will be admittedly achieved through an agreement between the underlying ontologies. However, the richer the ontology description language, the more complex the agreement process, and hence the more sophisticated the required tools. Among current ontology alignment paradigms, similarity-based approaches are both powerful and flexible enough for aligning ontologies expressed in languages like OWL. We define a universal measure for comparing the entities of two ontologies that is based on a simple and homogeneous comparison principle: Similarity depends on the type of entity and involves all the features that make its definition (such as superclasses, properties, instances, etc.). One-to-many relationships and circularity in entity descriptions constitute the key difficulties in this context: These are dealt with through local matching of entity sets and iterative computation of recursively dependent similarities, respectively.
Jérôme Euzenat, David Loup, Mohamed Touzani, Petko Valtchev, Ontology alignment with OLA, in: York Sure, Óscar Corcho, Jérôme Euzenat, Todd Hughes (eds), Proc. 3rd ISWC2004 workshop on Evaluation of Ontology-based tools (EON), Hiroshima (JP), pp59-68, 2004
Using ontologies is the standard way to achieve interoperability of heterogeneous systems within the Semantic web. However, as the ontologies underlying two systems are not necessarily compatible, they may in turn need to be aligned. Similarity-based approaches to alignment seems to be both powerful and flexible enough to match the expressive power of languages like OWL. We present an alignment tool that follows the similarity-based paradigm, called OLA. OLA relies on a universal measure for comparing the entities of two ontologies that combines in a homogeneous way the entire amount of knowledge used in entity descriptions. The measure is computed by an iterative fixed-point-bound process producing subsequent approximations of the target solution. The alignments produce by OLA on the contest ontology pairs and the way they relate to the expected alignments is discussed and some preliminary conclusions about the relevance of the similarity-based approach as well as about the experimental settings of the contest are drawn.
Jérôme Euzenat, Introduction to the EON Ontology alignment contest, in: York Sure, Óscar Corcho, Jérôme Euzenat, Todd Hughes (eds), Proc. 3rd ISWC2004 workshop on Evaluation of Ontology-based tools (EON), Hiroshima (JP), pp47-50, 2004
Jérôme Euzenat, Petko Valtchev, An integrative proximity measure for ontology alignment, in: Proc. ISWC workshop on semantic information integration, Sanibel Island (FL US), pp33-38, 2003
Integrating heterogeneous resources of the web will require finding agreement between the underlying ontologies. A variety of methods from the literature may be used for this task, basically they perform pair-wise comparison of entities from each of the ontologies and select the most similar pairs. We introduce a similarity measure that takes advantage of most of the features of OWL-Lite ontologies and integrates many ontology comparison techniques in a common framework. Moreover, we put forth a computation technique to deal with one-to-many relations and circularities in the similarity definitions.
Jérôme Euzenat, Towards composing and benchmarking ontology alignments, in: Proc. ISWC workshop on semantic information integration, Sanibel Island (FL US), pp165-166, 2003
Amedeo Napoli, Jérôme Euzenat, Roland Ducournau, Les représentations de connaissances par objets, Techniques et science informatique 19(1-3):387-394, 2000
La finalité des systèmes de représentation des connaissances par objets est de représenter des connaissances autour de la notion centrale d'objet. Cet article décrit l'origine et l'évolution de ces systèmes, ainsi que la place et l'avenir qui leurs sont réservés.
Représentation des connaissances par objets, raisonnement, système classificatoire, logique de descriptions, gestion des connaissances, objet, inférence, classification
Petko Valtchev, Jérôme Euzenat, Une stratégie de construction de taxonomies dans les objets, in: Actes 7e rencontressociété française de classification (SFC), Nancy (FR), pp307-314, 1999
Construire automatiquement une taxonomie de classes à partir d'objets co-définis et indiférenciables n'est pas une tâche aisée. La partition de l'ensemble d'objets en domaines et la hiérarchisation de ces domaines par la relation de composition permettent de différencier les objets et d'éviter certains cycles impliquant une relation de composition. Par ailleurs, l'utilisation d'une dissimilarité bâtie sur les taxonomies de classes existantes dans certains domaines permet d'éviter de traiter d'autres cycles. Il subsite cependant des références circulaires qui sont alors circonscrites à une partie bien identifiée des domaines.
Jérôme Euzenat, Représentations de connaissance: de l'approximation à la confrontation, Habilitation à diriger des recherches, Université Joseph Fourier, Grenoble (FR), janvier 1999
référence INRIA TH-015
Un formalisme de représentation de connaissance a pour but de permettre la modélisation d'un domaine particulier. Bien entendu, il existe divers langages de ce type et, au sein d'un même langage, divers modèles peuvent représenter un même domaine. Ce mémoire est consacré à l'étude des rapports entre de multiples représentations de la même situation. Il présente les travaux de l'auteur entre 1992 et 1998 en progressant de la notion d'approximation, qui fonde la représentation, vers la confrontation entre les diverses représentations. Tout d'abord la notion d'approximation au sein des représentations de connaissance par objets est mise en avant, en particulier en ce qui concerne l'ensemble des mécanismes tirant parti de la structure taxonomique (classification, catégorisation, inférence de taxonomie). À partir de la notion de système classificatoire qui permet de rendre compte de ces mécanismes de manière unique on montre comment un système de représentation de connaissance peut être construit. Le second chapitre introduit la possibilité de tirer parti de multiples taxonomies (sur le même ensemble d'objets) dans un système de représentation de connaissance. La multiplicité des représentations taxonomiques est alors introduite en tant que telle et justifiée. Ces multiples taxonomies sont replacées dans le cadre des systèmes classificatoires présentés auparavant. La notion de granularité, qui fait l'objet du troisième chapitre, concerne la comparaison de représentations diverses de la même situation sachant qu'elles ont un rapport très particulier entre elles puisqu'elles représentent la même situation sous différentes granularités. À la différence des autres chapitres, celui-ci n'est pas situé dans le cadre des représentations de connaissance par objets mais dans celui des algèbres de relations binaires utilisées pour représenter le temps et l'espace. Le quatrième chapitre, enfin, va vers la confrontation des différentes représentations de manière à en tirer le meilleur parti (obtenir une représentation consensuelle ou tout simplement une représentation consistante). Le but des travaux qui y sont présentés est de développer un système d'aide à la construction collaborative de bases de connaissance consensuelles. À cette fin, les utilisateurs veulent mettre dans une base commune (qui doit être consistante et consensuelle) le contenu de leurs bases de connaissance individuelles. Pour cela, deux problèmes particuliers sont traités : la conception d'un mécanisme de révision, pour les représentations de connaissance par objets, permettant aux utilisateurs de traiter les problèmes d'inconsistance et la conception d'un protocole de soumission de connaissance garantissant l'obtention d'une base commune consensuelle. Cet aperçu partiel des travaux possibles dans l'étude des relations entre représentations est limité, mais il met en évidence le caractère non impératif des solutions proposées qui s'appliquent bien au cadre où le modélisateur interagit avec le système de représentation.
représentation de connaissance, approximation, bases de connaissance, modélisation, représentation par objets, point de vue, passerelle, classification, catégorisation, inférence de taxonomie, granularité, représentation temporelle, algèbre de relations binaires, révision, consensus, TROEPS, CO4
Jérôme Euzenat, Des arbres qui cachent des forêts : remarques sur l'organisation hiérarchique de la connaissance, in: Mohamed Hassoun, Omar Larouk, Jean-Paul Metzger (éds), Actes 2e poster sessionchapitre français de l'ISKO , Lyon (FR), pp213-215, 1999
Jérôme Euzenat, Représentation de connaissance par objets, in: Roland Ducournau, Jérôme Euzenat, Gérald Masini, Amedeo Napoli (éds), Langages et modèles à objets: état des recherches et perspectives, INRIA, Rocquencourt (FR), 1998, pp293-319
Les systèmes de représentation de connaissance sont utilisés pour modéliser symboliquement un domaine particulier. Certains d'entre eux utilisent la notion d'objet comme structure principale. On trace ici les traits principaux de tels systèmes, en évoquant les systèmes marquants. L'exposé approfondit ensuite un système particulier, TROEPS, en abordant d'abord les problèmes que la conception de ce système cherche à résoudre. TROEPS est présenté en considérant les constructions et les mécanismes d'inférence qu'il met en oeuvre.
Représentation de connaissance, classification, filtrage, type, WWW, hypertexte, logiques de descriptions, réseaux sémantiques, schémas, identité, nommage, inférence, évolution, spécialisation, points de vue, passerelles
Roland Ducournau, Jérôme Euzenat, Gérald Masini, Amedeo Napoli (éds), Langages et modèles à objets: états des recherches et perspectives, Collection Didactique 19, INRIA, Rocquencourt (FR), 527p., 1998
Petko Valtchev, Jérôme Euzenat, Dissimilarity measure for collections of objects and values, in: Proc. 2nd international symposium on intelligent data analysis (IDA), London (UK), (Xiaohui Liu, Paul Cohen, Michael Berthold (eds), Advances in intelligent data analysis, reasoning about data, Lecture notes in computer science 1280, 1997), pp259-272, 1997
Automatic classification may be used in object knowledge bases in order to suggest hypothesis about the structure of the available object sets. Yet its direct application meets some difficulties due to the way data is represented: attributes relating objects, multi-valued attributes, non-standard and external data types used in object descriptions. We present here an approach to the automatic classification of objects based on a specific dissimilarity model. The topological measure, presented in a previous paper, accounts for both object relations and the variety of available data types. In this paper, the extension of the topological measure on multi-valued object attributes, e.g. lists or sets, is presented. The resulting dissimilarity is completely integrated in the knowledge model TROPES which enables the definition of a classification strategy for an arbitrary knowledge base built on top of TROPES.
Amedeo Napoli, Isabelle Crampé, Roland Ducournau, Jérôme Euzenat, Michel Leclère, Philippe Vismara, Aspects actuels des représentations de connaissances par objets et de la classification, in: Actes 6e journées nationalesPRC-GDR intelligence artificielle , Grenoble (FR), pp289-314, 1997
Cet article présente certains thèmes de recherches étudiés par les membres du groupe "Objets et classification" du PRC-IA. Ces thèmes concernent essentiellement la théorie des systèmes de représentation de connaissances par objets (RCPO), la révision d'une base de connaissances dans les systèmes de RCPO, la classification de classes et d'instances, et la mise en oeuvre d'applications, illustrée ici par le système RESYN. Les travaux présentés montrent une certaine continuité avec les préoccupations des membres du groupe depuis qu'il existe. L'article se termine par la présentation d'éléments de définition d'un système de RCPO, et de perspectives de recherches découlant des thèmes explicités dans l'article.
Jérôme Euzenat, Influence des classes intermédiaires dans les tests de classification, in: Actes 4e poster session sur langages et modèles à objets (LMO), Roscoff (FR), 1997
Dans le cadre d'une tâche de conception de hiérarchie, on mets en évidence l'influence des classes intermédiaires (ayant des sous-classes) sur le type de taxonomie obtenue (avec ou sans multi-spécialisation).
construction de taxonomie, génie logiciel, protocole expérimental
Petko Valtchev, Jérôme Euzenat, Classification of concepts through products of concepts and abstract data types, in: Edwin Diday, Yves Lechevalier, Otto Opitz (eds), Ordinal and symbolic data analysis, Studies in classification, data analysis, and knowledge organisation series, Springer Verlag, Heidelberg (DE), 1996, pp3-12
The classification scheme formalism represents in a uniform manner both usual data types and structured objects is introduced. It is here provided with a dissimilarity measure which only takes into account the structure of a given domain: a partial order over a set of classes. The measure we define compares a couple of individuals according to their mutual position within the taxonomy structuring the underlying domain. It is then used to design a classification algorithm to work on structured objects.
Petko Valtchev, Jérôme Euzenat, Classification of concepts through products of concepts and abstract data types (abstract), in: Proc. 1st international conference on data analysis and ordered structures, Paris (FR), pp131-134, 1995
The classification scheme formalism represents in a uniform manner both usual data types and structured objects is introduced. It is here provided with a dissimilarity measure which only takes into account the structure of a given domain: a partial order over a set of classes. The measure we define compares a couple of individuals according to their mutual position within the taxonomy structuring the underlying domain. It is then used to design a classification algorithm to work on structured objects.
Cécile Capponi, Jérôme Euzenat, Jérôme Gensel, Objects, types and constraints as classification schemes (abstract), in: Proc. 1st international symposium on Knowledge Retrieval, Use, and Storage for Efficiency (KRUSE), Santa-Cruz (CA US), pp69-73, 1995
The notion of classification scheme is a generic model that encompasses the kind of classification performed in many knowledge representation formalisms. Classification schemes abstract from the structure of individuals and consider only a sub-categorization relationship. The product of classification schemes preserves the status of classification scheme and provides various classification algorithms which rely on the classification defined for each member of the product. Object-based representation formalisms often use heterogeneous ways of representing knowledge. In the particular case of the TROPES system, knowledge is expressed by classes, types and constraints. Here is presented the way to express types and constraints in a type description module which provides them with the simple structure of classification schemes. This mapping allows the integration into TROPES of new types and constraints together with their sub-typing relation. Afterwards, taxonomies of classes are themselves considered to be classification schemes which are products of more primitive ones. Then, this information is sufficient for classifying TROPES objects.
Class, object, type, constraint, classification scheme, sub-type inference
Bernard Carré, Roland Ducournau, Jérôme Euzenat, Amedeo Napoli, François Rechenmann, Classification et objets: programmation ou représentation?, in: Actes 5e journées nationalesPRC-GDR intelligence artificielle , Nancy (FR), pp213-237, 1995
Jérôme Euzenat, François Rechenmann, Shirka, 10 ans, c'est Tropes ?, in: Actes 2e journées sur langages et modèles à objets (LMO), Nancy (FR), pp13-34, 1995
Il y a dix ans, apparaissait le système de représentation de connaissance SHIRKA. À
travers la présentation de sa conception, de son évolution et de son utilisation, on tente d'établir
ce que peut être, dix ans plus tard, un système de représentation de connaissance. La mise en oeuvre
de deux points clé de SHIRKA - la séparation programmation-représentation et l'utilisation de l'objet
partout où cela est possible - est particulièrement étudiée. Ceci permet de considérer leur pertinence
et leur évolution pour la représentation de connaissance.
Projet Sherpa, Tropes 1.0, Reference manual, INRIA Rhône-Alpes, Grenoble (FR), 85p., June 1995
Jérôme Euzenat, Brief overview of T-tree: the Tropes Taxonomy building Tool, in: Proc. 4th ASIS SIG/CR workshop on classification research, Columbus (OH US), (rev. Philip Smith, Clare Beghtol, Raya Fidel, Barbara Kwasnik (eds), Advances in classification research 4, Information today, Medford (NJ US), 1994), pp69-87, 1994
TROPES is an object-based knowledge representation system. It allows the representation of multiple taxonomies over the same set of objects through viewpoints and provides tools for classification (identification) of objects and categorisation (classification) of classes from their descriptions. T-TREE is an extension of TROPES for the construction of taxonomies from objects. Data analysis algorithms consider TROPES objects for producing TROPES taxonomies. Thus, data analysis is integrated into the knowledge representation system. Moreover, the original bridge notion permits the comparison and connection of adjacent taxonomies.
Automated techniques to assist in creating classification scheme, Knowledge representation schemes, Classification algorithms, Software for management of classification schemes, Comparison and compatibility between classification scheme
Jérôme Euzenat, KR and OOL co-operation based on semantics non reducibility, in: Proc. ECAI workshop on integrating object-orientation and knowledge representation, Amsterdam (NL), 1994
We argue that, due to semantics non reducibility, object based-knowledge representation systems (OBKR) and object-oriented programming languages (OOL) cannot be reduced one to another. However, being aware of this incompatibility allows to organise their cohabitation and co-operation accordingly. This is illustrated through the design of a new implementation of the TROPES system.
Jérôme Euzenat, Classification dans les représentations par objets: produits de systèmes classificatoires, in: Actes 9e congrèsAFCET-AFIA-ARC-INRIA sur Reconnaissance des Formes et Intelligence Artificielle (RFIA), Paris (FR), pp185-196, 1994
Les systèmes classificatoires représentent la structure supportant une activité de classification. Ils sont définis non pas à partir de la structure des entités à classer mais à partir de l'activité de classification elle-même. Ils prennent en compte la taxonomie dans laquelle est menée la classification et la construction de cette taxonomie. La notion de système classificatoire est étendue à l'aide d'opérations de produit et de projection qui engendrent de nouveaux systèmes classificatoires de telle sorte que les propriétés de ceux-ci leurs sont applicables. Les classifications multiples et composées sont ainsi caractérisées par un système classificatoire produit et des algorithmes peuvent être directement inférés de la composition des systèmes. L'exemple de TROPES permet de montrer comment la classification multi-points de vue d'objets composés est élaborée comme un produit de systèmes classificatoires à partir de systèmes classificatoires primitifs correspondant aux types de données.
Classification, Taxonomie, Catégorisation, Systèmes classificatoires, TROPES, Produits de systèmes classificatoires
Cécile Capponi, Jérôme Euzenat, Jérôme Gensel, Objects, types and constraints as classification schemes, Internal report, INRIA Rhône-Alpes, Grenoble (FR), 20p., February 1994
The notion of classification scheme is a generic model that encompasses the kind of classification performed in many knowledge representation formalisms. Classification schemes abstract from the structure of individuals and consider only a sub-categorization relationship. The product of classification schemes preserves the status of classification scheme and provides various classification and categorization algorithms which rely on both the classification and the categorization defined in the members of the product. Object-based representation formalisms often use heterogeneous ways of representing knowledge. In the particular case of the system TROPES, knowledge is expressed by classes, types and constraints. Here is presented the way to express types and constraints in a type description module which provides them with the simple structure of classification schemes. This mapping allows the integration into TROPES of new types and constraints together with their sub-typing relation. Afterwards, taxonomies of classes are themselves considered to be classification schemes which are product of more primitive ones. Then, this information is sufficient for classifying TROPES objects.
Class, object, type, constraint, classification scheme, sub-type inference
Jérôme Euzenat, A purely taxonomic and descriptive meaning for classes, in: Proc. IJCAI workshop on object-based representation systems, Chambéry (FR), (Amedeo Napoli (ed), object-based representation systems, Rapport de recherche 93-R-156, CRIN, Nancy (FR), 1993), pp81-92, 1993
Three different aspects of classes in object-based systems arestudied: the distinction between classes and instances, the separation of ontological from taxonomic function of classes and their descriptive or definitional meaning. The advantages of using a descriptive and taxonomic meaning for classes are advocated. One of the important reasons for separating ontology from taxonomy is the multiplicity of taxonomies over a same set of objects and the independence of objects from these taxonomies. These distinctions ground the semantics of the object-based representation system TROPES. The specialisation relation in TROPES is examined under this light and the classification mechanism is interpreted under the descriptive setting. It is shown that the use of a descriptive semantics of classes can support a semantics for the classification mechanism. In fact, there is no intrinsic superiority of definition over description: the precision of the former is balanced by the generality of the later.
Specialisation, Classification, Categorisation, Instantiation, Descriptive classes, Definitional classes
Jérôme Euzenat, Définition abstraite de la classification et son application aux taxonomies d'objets, in: Actes 2e journéesEC2 sur représentations par objets (RPO), La Grande-Motte (FR), pp235-246, 1993
La notion de système classificatoire est introduite comme généralisation de la classification dans les systèmes de représentation de connaissance. Sa définition ne dépend d'aucun modèle de connaissance. Les contraintes qui peuvent lui être ajoutées dans un modèle particulier sont examinées sous la forme de propriétés sémantiques, de structures graphiques et de problèmes d'incomplétude venant entacher les propriétés sémantiques. Ces seules contraintes permettront d'établir certaines propriétés (univocité, déterminance) de l'opération de classification et de concevoir les algorithmes en conséquence. Enfin, le système classificatoire est instancié de deux façons extrêmement différentes dans le cadre du modèle TROPES. La diversité de ces deux dernières interprétations est déjà un exemple de la généralité de cette définition.
Objet, Classification, Taxonomie, Catégorisation