S. Abiteboul, A. Bonner-hassan-aït-kaci, and A. Podelski, On the logic of theory change: partial meet contraction and revision functions, SIGMOD RecordActes SIGMOD, Denver (CO US) LIFE Journal of logic Journal of symbolic logic, vol.2034, issue.502, pp.239-247195, 1985.

. Assemblée-nationale, en vigueur depuis le 25 mars 1998) http://www.assemblee-nationale.fr/5/5ab.htm [Baader& 1991] Franz Baader, Philipp Hanschke, A scheme for integrating concrete domains into concept languages, Actes 12th IJCAI Semantics and implementation of schema evolution in object-oriented databases, pp.452-457, 1959.

S. Kraus, J. Minker, and V. Subrahmanian, Combining knowledge bases consisting in first order theories, Computational intelligence, vol.8, issue.1, pp.45-71, 1992.

T. Barkowsky&, C. Barkowsky, and . Freksa, Cognitive requirements on making and interpreting maps, Lecture notes in computer science 1329, pp.347-361, 1997.

. Barr&, C. Barr, and . Wells, Category theory for computing science, 1990.

J. Barthélémy, A. Guénoche, J. Beach, S. Pramanik, J. B. et al., Les arbres et les représentations des proximités Hierarchic taxonomic databases, dans Renaud Fortuner (éd Advanced computer methods for systematic biology Sushil Jajodia, A general framework for time granularity and its application to temporal reasoning, Annals of mathematics and artificial intelligence, vol.22, issue.84, pp.241-25629, 1988.

D. Bobrow and T. Winograd, An Overview of KRL, a Knowledge Representation Language, a customizable knowledge base management system, Actes 1st Conference on Information and Knowledge Management, pp.3-45, 1977.
DOI : 10.1207/s15516709cog0101_2

R. Brachman, R. Brachman, and H. Levesque, Readings in knowledge representation Computer-supported collaborative argumentation resource site, pp.80-93, 1985.

. Santa-cruz, Cécile Capponi Identification et exploitation des types dans un modèle de représentation des connaissances par objets, Thèse d'informatique Cécile Capponi, Jérôme Euzenat, Jérôme Gensel, Objects, types and constraints as classification schemes (abstract), Actes international symposium on " Knowledge Retrieval, Use, and Storage for Efficiency, Mathematical Structures in Computer Science, vol.1, issue.1, pp.69-733, 1991.

B. Carré and G. Comyn, On multiple classification, points of view and object evolution Artificial intelligence and cognitive sciences, Concurrency control for knowledge bases, pp.49-62, 1988.

M. Jeffrey-conklin and . Begemann, gIBIS: a hypertext tool for exploratory policy discussion, ACM Transactions on Information Systems, vol.6, issue.4, pp.303-331, 1988.
DOI : 10.1145/58566.59297

. Corruble&, J. Vincent-corruble, and . Ganascia, Induction and the discovery of the causes of scurvy: a computational reconstruction, Artificial Intelligence, vol.91, issue.2, pp.205-223324, 1996.
DOI : 10.1016/S0004-3702(97)00014-3

URL : https://hal.archives-ouvertes.fr/hal-01184895

A. Jong&-1997-]-hidde-de-jong and . Rip, The computer revolution in science: steps towards the realization of computer-supported discovery environments, Artificial Intelligence, vol.91, issue.2, pp.225-256, 1997.
DOI : 10.1016/S0004-3702(97)00011-8

J. Jong, Computer-supported analysis of scientific measurements, Thèse, 1998.

D. Doyle and R. Patil, Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services, point sur l'héritage multiple, Techniques et science informatiques, pp.261-297, 1991.
DOI : 10.1016/0004-3702(91)90029-J

M. Fischer, N. Lynch, and M. Paterson, KSL-95-63.ps [Filman 1988] Robert Filman, Reasoning with worlds and truth maintenance in a knowledgebased programming environment Impossibility of distributed consensus with one faulty process Temporal reasoning based on semi-intervals, Communications of the ACM Journal of the ACM Lecture notes in computer science Artificial intelligence, vol.31, issue.541, pp.382-401374, 1985.

J. Friedman&-1996-]-nir-friedman and . Halpern, Belief revision: a critique, Actes 5th KR conference, pp.421-431, 1996.

B. Gaines, A class library implementation of a principled open architecture knowledge representation server with plug-in data types, Actes 13th IJCAI Integrating constraints in an object-based knowledge representation system, Lecture notes in computer science, Constraint processing), pp.504-50967, 1993.

K. Peter-karp, T. G. Myers, M. Kifer, G. Lausen, and J. Wu, Philip Johnson-Laird, Mental models Cambridge (UK) Design method for scientific hypothesis formation and their application to molecular biology The Generic Frame Protocol, Actes 14th IJCAI A collaborative environment for authoring large knowledge bases Ontologically yours, Lecture notes in computer science 1453 Logical foundations of objectoriented and frame-based languages The scientific community metaphor The essential tension: tradition and innovation in scientific research, IEC 14997:1996] JTC1/WG19, Syntactic metalanguage ? Extended BNF, International standard ISO/IEC 14977 Actes 3rd University of Utah research conference on the identification of creative scientific talent, pp.267-295, 1959.

P. J. , A. Kumar, and K. Malik, La tension essentielle : tradition et innovation dans la recherche scientifique, dans Pierre Jacob, De Vienne à Cambridge : l'héritage du positivisme de 1950 à nos jours Optimizing the costs of hierarchical quorum consensus, Acta informatica, issue.3, pp.1959-33255, 1980.

]. Levesque and R. Brachman, Expressiveness and tractability in knowledge representation and reasoning, Computational Intelligence, vol.2, issue.2, pp.78-93, 1987.
DOI : 10.1016/0004-3702(84)90054-7

A. and B. Us, The evolving technology of classification-based knowledge representation systems Principles of semantic networks: exploration in the representation of knowledge, temporal and spatial reasoning, dans Frank Anger, Rasiah Loganantharaj (éds.), actes 12th AAAI workshop on spatial and temporal reasoning Consistency in networks of relations, pp.715-720, 1977.

O. Mariño, Raisonnement classificatoire dans une représentation à objets multi-points de vue perspectives and classification mechanism in object-oriented representation, Thèse d'informatique, université Joseph Fourier, Grenoble (FR), pp.425-430, 1990.

R. Michalski&-1983-]-ryszard-michalski and . Stepp, Automatic construction of classifications: conceptual clustering versus numeric taxonomy Marvin Minsky, A framework for representing knowledge, Rapport technique AI-memo 306 The psychology of computer vision, IEEE transaction on pattern analysis and machine intelligence, vol.5, issue.4, pp.396-409, 1974.

]. Muller, J. Lagrange, R. Weibel, and F. Salgé, GENERALIZATION, GIS and generalization, pp.3-17, 1995.
DOI : 10.4135/9781412986281.n142

URL : https://hal.archives-ouvertes.fr/jpa-00247336

]. Nayak, A. L. , R. Neches, R. Fikes, T. Finin et al., Reasoning and revision in hybrid representation systems, Lecture notes in computer science (lecture notes in artificial intelligence) 422 Bernhard Nebel, Syntax-based approaches to belief revision Belief revision, Cambridge tracts in theoretical computer science 29 Ted Senator, William Swartout, Enabling technology for knowledge sharing Schema evolution in object-oriented database systems Blackboard systems Anthony Finkelstein, A framework for expressing the relationships between multiple views in requirement specifications Ramesh Patil, Causal representation of patient illness for electrolyte and acid-base diagnosis, Actes 14th IJCAI Convex relations between time intervals Practical taxonomic computing courte dans les actes de 12th IEEE international conference on automated software engineering, Incline Village, pp.196-202, 1981.

G. Wiederhold, S. Jajodia, W. L. , J. Clifford, S. Gadia et al., Integrating temporal data in a heterogeneous environment Temporal databases ART: The advanced reasoning tool, conceptual overview, Inference Corporation What's in a link: foundations for semantic networks Representation and understanding: studies in cognitive science, pp.564-578, 1975.