Formal ontology, conceptual analysis and knowledge representation

International Journal of Human - Computer Studies

Volumn 43, Issue 5-6, 1995, Pages 625-640

  Guarino, Nicola ^a  

^a Istituto di Ingeneria Biomedica del CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 55849131616     PISSN: 10715819     EISSN: 10959300     Source Type: Journal    
DOI: 10.1006/ijhc.1995.1066     Document Type: Article

References (76)

1. Alexander, J. H., Freiling, M. J., Shulman, S. J., Staley, J. L., Rehfus, S. & Messick, S. L. (1986). Knowledge level engineering: ontological analysis. Proceedings of AAAI 86. pp. 963-968. Philadelphia.
2. Aune, B. (1991). Metaphysics of Analytic Philosophy. In H. Burkhardt & B. Smith, Eds. Handbook of Metaphysics and Ontology, pp. 539-543. Munich: Philosophia Verlag.
3. Aurnague, M. & Vieu, L. (1993). A three level approach to the semantics of space. In C. Z. Wibbelt, Ed. The Semantics of Preposition: From Mental Processing to Natural Language Processing, pp. 393-439. Berlin: Mouton de Gruyter.
4. Bateman, J. A., Kasper, R. T., Moore, J. D. & Whitney, R. A. (1990). A General Organization of Knowledge for Natural Language Processing: the PENMAN Upper Model. Marina del Rey, CA: USC/lnformation Sciences Institute.
5. Bonfatti, F. & Pazzi, L. (1995). Ontological foundations of object state and identity. In this volume.
6. Brachman, R. J. (1979). On the epistemological status of semantic networks. In N. V. Findler, Ed. Associative Networks: Representation and Use of Knowledge by Computers. pp. 3-50. London: Academic Press.
7. Brachman, R. J. & Schmolze, J. G. (1985). An overview of the KL-ONE knowledge representation system. Cognitive Science 9, 171-216.
8. Burkhardt, H. & Smith, B. Eds. (1991). Handbook of Metaphysics and Ontology. Munich: Philosophia Verlag.
9. Clancey, W. J. (1993). The knowledge level reinterpreted; modelling socio-technical systems. International Journal of Intelligent Systems, 8, 33-49.
10. Clarke, B. L. (1981). A calculus of individuals based on "connection". Notre Dame Journal of Formal Logic, 22, 204-218.
11. Cocchiarelia, N. B. (1991). Formal ontology. In H. Burkhardt & B. Smith, Eds. Handbook of Metaphysics and Ontology, pp. 640-647. Munich: Philosophia Verlag.
12. Cohn, A. G., Randell, D. A. & Cui, Z. (1995). Taxonomies of logically defined qualitative spatial relations. International Journal of Human-Computer Studies, 43, 831-846.
13. Davis, E. (1990). Representations of commonsense knowledge. San Francisco, CA: Morgan Kaufmann.
14. Davis, R., Shrobe, H. & Szolovits, P. (1993). What is in a knowledge representation? AI Magazine, Spring, 17-33.
15. Eschenbach, C. & Heydrich, W. (1995). Classical mereology and restricted domains. International Journal of Human-Computer Studies, 43, 723-740.
16. Franconi, E. (1993). A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines, 3, 453-474.
17. Gaines, B. (1993). Modeling as framework for knowledge acquisition methodologies and tools. International Journal of Intelligent Systems, 8, 155-168.
18. Genesereth, M. R. & Nilsson, N. J. (1987). Logical Foundations of A rtificial Intelligence. Los Altos, CA: Morgan Kaufmann.
19. Genesereth, M. R. & Fikes, R. (1991). Knowledge Interchange Formal. Version 3.0 Reference Manual. Computer Science Department, Stanford University, June.
20. Gerstl, P. & Pribbenow, S. (1995). Midwinters, end games, and bodyparts: a classification of part-whole relations. International Journal of Human-Computer Studies, 43, 865-889.
21. Givon, T. (1979). On Understanding Grammar. New-York, NY: Academic Press.
22. Gotts, N. M, (1994). How far can we "C"? Defining a "doughnut" using connection alone. In J. Doyle, E. Sandewall & P. Torasso, Eds. Principles of Knowledge Representation and Reasoning: KR 94. pp. 246-257. San Francisco, CA: Morgan Kaufmann.
23. Griffin, N. (1977). Relative Identity. Oxford: Oxford University Press.
24. Gruber, T. R. (1993). A translation approach to portable ontology specifications. Knowledge Acquisition, 5:199-220.
25. Gruber, T. (1995). Toward principles for the design of ontologies used for knowledge sharing, international Journal of Human-Computer Studies, 43, 907-28.
26. Guarino, N. (1991). A concise presentation of ITL. in H. Boley & M. M. Richter, Eds. Processing Declarative Knowledge, pp. 141-160. Berlin: Springer Verlag.
27. Guarino, N. (1992). Concepts, attributes and arbitrary relations: some linguistic and ontological criteria for structuring knowledge bases. Data & Knowledge Engineering, 8, 249-261.
28. Guarino, N. (1994). The ontological level. In R. Casati, B. Smith & G. White, Eds. Philosophy and the Cognitive Science. Vienna: Holder-Pichler-Tempsky.
29. Guarino, N., Carrara, M. & Giaretta, P. (1994a). An ontology of rneta-level categories. In D. J. E. Sandewall & P. Torasso, Eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94). pp. 270-280. San Mateo, CA: Morgan Kaufmann.
30. Guarino, N., Carrara, M. & Giaretta, P. (1994b). Formalizing ontological commitment. Proceedings of National Conference on Artificial Intelligence (AAAI-94). Seattle, WA: Morgan Kaufmann.
31. Guarino, N. & Giaretta, P. (1995). Ontologies and knowledge bases: towards terminological clarification. In N. Mars, Ed. Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing 1995. pp. 25-32. Amsterdam: IOS Press.
32. Hayes, P. (1985). The second naive physics manifesto. In J. R. Hobbs & R. C. Moore, Eds. Formal Theories of the Commonsense World, pp. 1-36. Norwood, NJ: Ablex.
33. Hirst, G. (1991). Existence assumptions in knowledge representation. Artificial Intelligence, 49, 199-242.
34. Hobbs, J. R. (1985a). Granularity. Proceedings of IJCAI85. Los Angeles, CA. pp. 432-435.
35. Hobbs, J. R. (1985b). Ontological promiscuity. Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics, pp. 61-69. Chicago, IL, July.
36. Hobbs, J. R., Croft, W., Davies, T., Douglas, E. & Laws, K. (1987). Commonsense metaphysics and lexical semantics. Computational Linguistics, 13, 241-250.
37. Israel, D. (1983). Interpreting network formalisms. International Journal of Computers and Mathematics, 9, 1-13.
38. Israel, D. (1985). A short companion of the naive physics manifesto. In J. R. Hobbs & R. C. Moore, Eds. Formal Theories of the Commonsense World. Norwood, NJ: Ablex.
39. Katsuno, H. & Mendelzon, A. (1991). On the difference between updating a kb and revising it. In J. A. Allen, R. Fikes & E. Sandewall, Eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR 91) p. 387. Cambridge, MA: Morgan Kaufmann.
40. Klose, G., Lang, E. & Pirlein, T. (1992). Ontologie und Axiomatik der Wissensbasis von LILOG. Berlin: Springer-Verlag.
41. Lenat, D. & Guha, R. V. (1990). Building Large Knowledge-Based Systems. Reading, MA: Addison-Wesley.
42. McDermott, D. (1987). A critique of pure reason. Computational Intelligence, 3, 151-160.
43. McDermott, D. (1993). Review to D. B. Lenat & R. V. Guha. Building large knowledge-based systems: representation and inference in the Cyc project. Artificial Intelligence, 61, 53-63.
44. Monarch, I. & Nirenburg, S. (1987). The role of ontology in concept acquisition for knowledge-based systems. In J. Boose, T. Addis & B. Gaines, Eds. Proceedings of EKAW-87. University of Reading, Reading.
45. Mulligan, K., Ed. (1992). Language, Truth and Ontology. Dordrecht: Kluwer.
46. Musen, M. A. (1992). Dimensions of knowledge sharing and reuse. Computers and Biomedical Research, 25, 435-467.
47. Neches, R., Fikes, R., Finin, T., Gruber, T., Patil, R., Senator, T. & Swartout, W. R. (1991). Enabling technology for knowledge sharing. AI Magazine, fall, 37-56.
48. Newell, A. (1982). The knowledge level. Artificial Intelligence, 18, 87-127.
49. Nutter, J. T. (1987). Epistemology. In S. Shapiro, ed. Encyclopedia of Artificial Intelligence. London: John Wiley.
50. Paton, R. C., Nwana, H. S., Shave, M. J. R., Bench-Capon, T. J. M. & Hughes, S. (1991). Foundations of a structured approach to characterising domain knowledge. Cognitive Systems, 3, 139-161.
51. Pirlein, T. & Studer, R. (1995). An environment for reusing ontologies within a knowledge engineering approach. International Journal of Human-Computer Studies, 43, 945-965.
52. Poli, R. (1995). Bimodality of formal ontology and mereology. International Journal of Human-Computer Studies, 43, 687-696.
53. Randell, D. A. & Cohn, A. G. (1989). Modelling topological and metrical properties in physical process. In R. J. Brachman, H. J. Levesque & R. Reiter, Eds. Principles of Knowledge Representation and Reasoning. Proceedings of the First International Conference. pp. 357-368. Los Altos, CA: Morgan Kaufmann.
54. Randell, D. A. & Cohn, A. G. (1992). A spatial logic based on regions and connections. In B. Nebel, C- Rich & W. Swartout, Eds. Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference. Los Altos, CA: Morgan Kaufmann.
55. Randeia, D. A., Cui, Z., & Cohn, A. G. (1992). An interval logic of space based on "connection". In B. Neumann, Ed. 10th European Conference on Artificial Intelligence (ECAI-92). pp. 394-398. Chichester: John Wiley & Sons.
56. Sablayrolles, P. (1993). A two-level semantics for french expression of motion. DFKI Research Report RR-93-I2. Saarnbriicken, March.
57. Schreiber, G., Wielinga, B. & Breuker, J. (1993). KADS: A Principled Approach to Knowledge-Based System Development. London: Academic Press.
58. Simmons, G. (1994). Shapes, part structures and object concepts. Proceedings of ECAI-94 workshop on "Parts and Wholes: Conceptual Part-Whole Relationships and Formal Mereology". Amsterdam.
59. Simons, P. (1987). Parts: a Study in Ontology. Oxford: Clarendon Press.
60. Smith, B., Ed. (1982). Parts and Moments: Studies in Logic and Formal Ontology. München: Philosophia Verlag.
61. Smith, B. (1994). Review of "Ernest Davis: representation of commonsense knowledge". Minds and Machines, 4, 245-249.
62. Smith, B. (1995). Formal ontology, commonsense and cognitive science. In this volume.
63. Smith, B. & Casati, R. (1994). Naive physics. Philosophical Psychology, 7, 229-244.
64. Smith, B. & Mulligan, K. (1983). Framework for formal ontology. Topoi, 2, 73-85.
65. Sowa, J. F. (1988). Using a lexicon of canonical graphs in a semantic interpreter. In M. W. Evens, Ed. Relational Models of the Lexicon. Cambridge: Cambridge University Press.
66. Stefik, M. J. & Smoliar, S. W. (1993). The commonsense reviews—eight reviews of: "Douglas Lenat and R. V. Guha. Building large knowledge-based systems: representations and inference in the CYC project, Addison-Wesley 1990", and "Ernest Davis. Representations of commonsense knowledge, Morgan Kaufmann 1990". Artificial Intelligence, 61, 37-179.
67. Steve, G. & Gangemi, A. (1994). Ontological analysis for medical knowledge organisation systems. Proceedings of 12th International Congress of the European Federation for Medical Informatics (MIE 94). Lisboa.
68. Strawson, P. F. (1959). Individuals. An Essay in Descriptive Metaphysics. London: Routledge.
69. Takagaki, K. & Wand, Y. (1991). An object-oriented information systems model based on ontology. In F. Van Assche, B. Mouljn & C. Rolland, Eds. Object Oriented Approach in Information Systems, pp. 275-296. London: Elsevier.
70. Varzi, A. (1994). On the boundary between mereology and topology. In R. Casati, B. Smith & G. White, Eds. Philosophy and the Cognitive Science. Vienna: Holder-Pichler- Tempsky.
71. Wand, Y. & Weber, R. (1990). An ontological model of an information system. IEEE Transactions On Software Engineering, 16, 1282-1292.
72. Wielinga, B., Schreiber, G. & Breuker, J. (1993). Modelling expertise. In G. Schreiber, B. Wielinga & J. Breuker, Eds. KADS: A Principled Approach to Knowledge-Based System Development. London: Academic Press.
73. Wiggins, D. (1980). Sameness and Substance. Oxford: BJackwell.
74. Wimmer, K. & Wimmer, N. (1992). Conceptual modelling based on ontological principles. Knowledge Acquisition, 4, 387-406.
75. Winston, M., Chaffin, R. & Herrmann, D. (1987). A taxonomy of part-whole relations. Cognitive Science, 11, 417-444.
76. Woods, W. A. (1975). What's in a link: foundations for semantic networks. In D. G. Bobrow & A. M. Collins, Eds. Representation and Understanding: Studies in Cognitive Science, pp. 35-82. London: Academic Press.