REFERENCES

Ajdukiewicz K. Le problème du fondement des propositions analytiques. Studia Logica, 8, 259-72 (1958).

Bateman JA, Kasper RT, Moore JD, Whitney RA. A General Organization of Knowledge for Natural Language Processing: The Penman Upper Model. Tech. Rep., USC/Information Science Institute, Marina del Rey, CA (1990).

Borst P, Benjamin J, Wielinga B, Akkermans H. An Application of Ontology Construction. In Vet (ed.) Proceedings of the Workshop on Ontological Engineering, ECAI96 (1996).

Bouquet P, Giunchiglia P. Reasoning about theory adequacy. A new solution to the qualification problem. In Fundamenta Informaticae, vol. 23, n. 2-3-4, June-July-August, Don Perlis (ed.) (1995).

CEN/TC251/PT003. Model for representation of terminologies and coding systems in medicine. in: Proceedings of the Seminar "Opportunities for European and U.S. Cooperation in Standardization in Health Care Informatics" (1992).

Cocchiarella NB - Formal Ontology - in Burkhardt H, Smith B (eds.): Handbook of Metaphysics and Ontology - Munich, Philosophia Verlag (1991).

Cohn AG. Taxonomic Reasoning with Many-Sorted Logic. Artificial Intelligence Review, 3 (1989).

Coté RA, Rothwell DJ, Brochu L (eds). SNOMED International, 3rd ed., 4 vols. Northfield, Ill: College of American Pathologists (1994).

Dorland's Medical Dictionary. Philadelphia, Saunders (1994).

Dowty DR. Towards a Semantic Analysis of Verb Aspect and the English 'Imperfective' Progressive. Linguistics and Philosophy, 1, 45-79 (1977).

Eco U. Semiotica e filosofia del linguaggio. Torino, Einaudi (1984).

EPISTOL Core Group. Knowledge Processing for Decision Support in the Health Sector. in Barahona P & Christensen JP (eds.): Knowledge and Decisions in Health Telematics, IOS Press (1994).

Evans DA, Cimino JJ, Huff SM, Bell DS for the CANON Group. Toward a Medical-Concept Representation Language. Journal of the American Medical Informatics Association 1:207-17 (1994).

Falasconi S, Stefanelli M. A Library of Medical Ontologies. in Workshop on Comparison of Implemented Ontologies, ECAI 94 (1994).

Fankhauser P, Kracker M, Neuhold E. Semantic vs. Structural Resemblance of Classes. Special issue: Semantic Issues in Multidatabase Systems, SIGMOD RECORD, Vol. 20, No. 4, December, pp. 59-63 (1991).

Gabrieli E. A New Electronic Medical Nomenclature. Journal of Medical Systems; 3:6 (1989).

GALEN Project. Documentation available from the main contractor Rector AL, Medical Informatics Group, Dept. Computer Science, Univ. Manchester, Manchester M13 9 PL, UK, (1992-1994).

Gangemi A , Steve G, Giacomelli F. ONIONS: An Ontological Methodology for Taxonomic Knowledge Integration. In Vet (ed.) Proceedings of the Workshop on Ontological Engineering, ECAI96 (1996).

Gangemi A, Steve G, Rossi Mori A. Cognitive Design for Sharing Medical Knowledge Models. in Kaihara (ed.): Proceedings of the World Congress on Medical Informatics (MEDINFO) (1995a).

Gangemi, A - Ricategorizzare la memoria. Le categorie tra semiotica e ontologia - in Negrini G (ed.): Atti del Seminario su "Categorie e modelli della conoscenza", CNR, Roma (1995b).

Gennari JH, Tu SW, Rothenfluh TE, Musen M. Mapping Domains to Methods in Support of Reuse. International Journal of Human-Computer Studies, 41, 399-424 (1994).

Givòn T. On Understanding Grammar. New York, Academic press (1979).

Griffin N. Relative identity. Oxford University press (1977).

Gruber T. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition; 5:188-220 (1993).

Guarino N, Boldrin L - Concepts and Relations - in Guarino N, Poli R: Pre-Proceedings of the International Workshop on Formal Ontology, Ladseb, Padova 1-17 (1993).

Guarino N. Formal Ontology, Conceptual Analysis and Knowledge Representation. In N Guarino & R Poli (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation, special issue of Journal of Human-Computer Studies, 43 (1995).

Guarino, N. Concepts, Attributes and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases. Data & Knowledge Engineering, 8: 249-261 (1992).

Guarino, N., Carrara, M., and Giaretta, P. An Ontology of Meta-Level Categories. In J. Doyle, E. Sandewall and P. Torasso (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94). Kaufmann, San Mateo (1994).

Guarino, Nicola - Ontologies and Knowledge Bases: Towards a Terminological Clarification- in Proceedings of 2nd Internationl Conference on Building and Sharing Very Large-Scale Knowledge Bases (1995).

Haimowitz IJ, Patil RS, Szolovits P. Representing Medical Knowledge in a Terminological Language is Difficult. in Greenes RA (ed.): Proceedings of the Twelfth SCAMC. Los Angeles, IEEE Computer Society (1988).

Hartmann N. Zur Grundlegung der Ontologie. Berlin, de Gruyter, (1966).

Humphreys BL, Lindberg DA.The Unified Medical Language System Project. in Lun KC et al. (eds.) MEDINFO 92. Amsterdam: Elsevier Science Publishers (1992).

Miller GA, Johnson-Laird PN. Language and Perception. Cambridge UP (1976).

Lakoff, George - The Invariance Hypothesis: is Abstract Reason Based on Image Schemas? - Cognitive Linguistics, 1, 1 39-74 (1990).

Langacker, Ronald W. - Concept, Image, and Symbol. The Cognitive Basis of Grammar - Berlin, Mouton De Gruyter (1991).

Lehmann F. Combining Ontological Hierarchies. in Guarino N, Poli R (eds.): Pre-Proceedings of the International Workshop on Formal Ontology, Ladseb, Padova (1993).

Lenat DB, Guha RV. Building Large Knowledge-based Systems: Representation and Inference in the CYC Project. Menlo Park, Addison-Wesley (1990).

Marconi D. A Metrics for Determining Terminological Knowledge. AI*IA Notizie (1994).

McCarthy J, Buvac S. Formalizing Context. Stanford Un. Tech. Note STAN-CS-TN-94-13 (1994).

Mourelatos A. Events, Processes, and States. Linguistics and Philosophy, 2, 415-34 (1978).

Musen M. Dimensions of Knowledge Sharing and Reuse. Computers and Biomedical Research; 25:435-67 (1992).

National Library of Medicine. MeSH Medical Subject Headings. Bethesda Maryland: NLM (yearly)

Neches R et al. Enabling Technology for Knowledge Sharing. AI Magazine; fall:35-56 (1991).

Oberschelp A. Order Sorted Predicate Logic. in Bläsius KH & al.(eds.): Sorts and Types in Artificial Intelligence, Springer Verlag, (1989).

Peirce, Charles Saunders - On Signs and the Categories - in Semiotica. I fondamenti della semiotica cognitiva, Torino, Einaudi (1980).

Petitot Jean & Smith, Barry - New Foundations for Qualitative Physics - in JE Tiles, GJ McKee, GC Dean (eds): Evolving Knowledge in Natural Science and Artificial Intelligence, London, Pitman (1991).

Poli, R. Ontologia Formale. Marietti (1992).

Quirk R, Greenbaum S, Leech G, Svartvik I. A comprehensive grammar of the English language. London, Longman (1985).

Rector A, Gangemi A, Galeazzi E, Glowinski A, Rossi Mori A. The GALEN CORE Model Schemata for Anatomy: Towards a Re-Usable Application-Independent Model of Medical Concepts. in Proceedings of 12th International Congress of the European Federation for Medical Informatics (MIE94) (1994).

Roeper P. Principles of Abstraction for Events and Processes. Journal of Philosophical Logic, 16, 273-307 (1987).

Rosch, E., C. B. Mervis, W. D. Gray, D. M. Johnson & P. Boyes-Braem - Basic Objects in Natural Categories, Cognitive Psychology 8, pp 382-439 (1976).

Rossi Mori A, Gangemi A, Galanti M. The Coding Cage. in Proceedings of 11th International Congress of the European Federation for Medical Informatics (MIE93), Freund Publishing House 466-71 (1993).

Saussure, Ferdinand de - Cours de linguistique générale - Payot, Lausanne (1906/11) tr. it. Corso di linguistica generale, con intr. e comm. di T. De Mauro, Bari, Laterza (1970).

Simons, P. Parts: a Study in Ontology. Clarendon Press, Oxford (1987).

Sowa JF. Top-Level Ontological Categories. In N Guarino & R Poli (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation, special issue of Journal of Human-Computer Studies, 43 (1995).

Stedman DL. Stedman's Medical Dictionary. Baltimore, Williams & Wilkins (1995).

Steve G, Gangemi A, Rossi Mori A. Knowledge Integration of Medical terminological Sources: An Ontologic mediation. In S.Ali(ed.): FLAIRS 96 Track on Information Interchange (1996).

Steve G, Gangemi A. Modelling a Sharable Medical Concept System: Ontological Foundation in GALEN. in Artificial Intelligence in Medicine Europe, AIME95 (1995).

Sujansky W, Altman R. Bridging the Representational Heterogeneity of Clinical Databases. Stanford Un. Knowledge Systems Laboratory Report KSL-94-07 (1994).

Talmy L. The Cognitive Culture System. The Monist, 78 (1995).

Uschold M, King M. Towards a Methodology for Building Ontologies. IJCAI95 Workshop on Basic Ontological Issues in Knowledge Sharing (1995).

van Heijst G, Schreiber ATh, Wielinga BG. Using Explicit Ontologies in KBS Development. International Journal of Human-Computer Studies, to appear

Varzi A, Casati R. Holes and Other Superficialities. Boston: MIT Press (1994).

WHO. International Classification of Diseases 10th revision. Geneva: WHO (1994).

Wiggins D. Sameness and Substance. Oxford, Blackwell (1980