Abstract
The task of information extraction can be seen as a problem of semantic matching between a user-defined template and a piece of information written in natural language. To this purpose, the ontological assumptions of the template need to be suitably specified, and compared with the ontological implications of the text. So-called “ontologies”, consisting of theories of various kinds expressing the meaning of shared vocabularies, begin to be used for this task. This paper addresses the theoretical issues related to the design and use of such ontologies for purposes of information retrieval and extraction. After a discussion on the nature of semantic matching within a model-theoretical framework, we introduce the subject of Formal Ontology, showing how the notions of parthood, integrity, identity, and dependence can be of help in understanding, organizing and formalizing fundamental ontological distinctions. We present then some basic principles for ontology design, and we illustrate a preliminary proposal for a top-level ontology developed according to such principles. As a concrete example of ontology-based information retrieval, we finally report an ongoing experience of use of a large linguistic ontology for the retrieval of object-oriented software components.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Albertazzi, L. 1989. Strati. Riverdito, Trento.
Artale, A., Franconi, E., Guarino, N., and Pazzi, L. 1996. Part-Whole Relations in Object-Centered Systems: an Overview. Data and Knowledge Engineering, 20(3): 347–383.
Anne, B. 1991. Metaphysics of Analytic Philosophy. In H. Burkhardt and B. Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia, Munich: 539–543.
Bateman, J. A., Kasper, R. T., Moore, J. D., and Whitney, R. A. 1990. A General Organization of Knowledge for Natural Language Processing: the PENMAN upper model. USC/Information Sciences Institute, Marina del Rey, CA.
Borgo, S. and Guarino, N. 1997. An Ontological Theory of Physical Objects. In Proceedings of 1997 Workshop on Qualitative Reasoning (QR 97). Cortona, Italy.
Borgo, S., Guarino, N., and Masolo, C. 1996. A Pointless Theory of Space based on Strong Connection and Congruence. In Proceedings of Principles of Knowledge Representation and Reasoning (KR96). Boston, MA, Morgan Kaufmann: 220–229.
Borgo, S., Guarino, N., and Masolo, C. 1996. Stratified Ontologies: the Case of Physical Objects. In Proceedings of ECAI-96 Workshop on Ontological Engineering. Budapest.
Borgo, S., Guarino, N., Masolo, C., and Vetere, G. 1997. Using a Large Linguistic Ontology for Internet-Based Retrieval of Object-Oriented Components. In Proceedings of 1997 Conference on Software Engineering and Knowledge Engineering. Madrid, Knowledge Systems Institute, Snokie, IL, USA.
Bouaud, J., Bachimont, B., Charlet, J., and Zweigenbaum, P. 1995. Methodological Principles for Structuring an “Ontology”. In Proceedings of IJCAI-95 Workshop on Basic Ontological Issues in Knowledge Sharing. Montreal, Quebec, Canada.
Burkhardt, H. and Smith, B. (eds.) 1991. Handbook of Metaphysics and Ontology. Philosophia Verlag, Munich.
Casati, R. and Varzi, A. (eds.) 1996. Events. Dartmouth, Aldershots, USA.
Casati, R. and Varzi, A. C. 1994. Holes and Other Superficialities. MIT Press/Bradford Books; revised paperback edition 1995., Cambridge (MA) and London (UK). Ed. Italiana: Buchi ed altre superficialita' (Trad. it. di Libero Sosio), Milano, Garzanti 1996.
Cleland, C. 1991. On the Individuation of Events. Synthese, 86: 229–254. Reprinted in R. Casati and A. Varzi (eds.), Events, Dartmouth 1996.
Cocchiarella, N. B. 1991. Formal Ontology. In H. Burkhardt and B. Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia Verlag, Munich: 640–647.
Cowie, J. and Lehnert, W. 1996. Information Extraction. Communications of the ACM, 39(1): 80–91.
Genesereth, M. R. and Nilsson, N. J. 1987. Logical Foundation of Artificial Intelligence. Morgan Kaufmann, Los Altos, California.
Griffin, N. 1977. Relative Identity. Oxford University Press, Oxford.
Gruber, T. 1995. Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal of Human and Computer Studies, 43(5/6): 907–928.
Gruber, T. R. 1993. A translation approach to portable ontology specifications. Knowledge Acquisition, 5: 199–220.
Guarino, N. 1992. Concepts, Attributes and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases. Data & Knowledge Engineering, 8: 249–261.
Guarino, N. 1994. The Ontological Level. In R. Casati, B. Smith and G. White (eds.), Philosophy and the Cognitive Science. Hölder-Pichler-Tempsky, Vienna: 443–456.
Guarino, N. 1995. Formal Ontology, Conceptual Analysis and Knowledge Representation. International Journal of Human and Computer Studies, 43(5/6): 625–640.
Guarino, N. 1996. Understanding, Building and Using Ontologies. LADSEB Internal Report 6/96.
Guarino, N. 1997a. Some Organizing Principles for a Unified Top-Level Ontology. In Proceedings of AAAI Spring Symposium on Ontological Engineering. Stanford, CA, AAAI Press.
Guarino, N. 1997b. Understanding, Building, and Using Ontologies: A Commentary to “Using Explicit Ontologies in KBS Development”, by van Heijst, Schreiber, and Wielinga. International Journal of Human and Computer Studies (in press)(46): (in press).
Guarino, N., Carrara, M., and Giaretta, P. 1994. Formalizing Ontological Commitment. In Proceedings of National Conference on Artificial Intelligence (AAAI-94). Seattle, Morgan Kaufmann: 560–567.
Guarino, N., Carrara, M., and Giaretta, P. 1994. An Ontology of Meta-Level Categories. In D. J. E. Sandewall and P. Torasso (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94). Morgan Kaufmann, San Mateo, CA: 270–280.
Guarino, N. and Giaretta, P. 1995. Ontologies and Knowledge Bases: Towards a Terminological Clarification. In N. Mars (ed.) Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing 1995. IOS Press, Amsterdam: 25–32.
Guarino, N. and Poli, R. (eds.) 1995. Formal Ontology in Conceptual Analysis and Knowledge Representation. Special issue of the International Journal of Human and Computer Studies, vol. 43 n. 5/6, Academic Press.
Guha, R. V. and Lenat, D. B. 1990. CYC: a Mid-Term Report. AI Magazine, 11(3): 32–59.
Hirsch, E. 1982. The Concept of Identity. Oxford University Press, New York, Oxford.
Hirst, G. 1991. Existence Assumptions in Knowledge Representation. Artificial Intelligence, 49: 199–242.
Karmo, T. 1977. Disturbances. Analysis, 37: 147–148.
Knight, K. and Luk, S. 1994. Building a Large Knowledge Base for Machine Translation. In Proceedings of American Association of Artificial Intelligence Conference (AAAI-94). Seattle, WA.
Lombard, L. B. 1979. Events. Canadian Journal of Philosophy, 9(3). Reprinted in Roberto Casati and Achille Varzi (eds.), Events, Dartmouth 1996.
Mahesh, K. 1996. Ontology Development for Machine Translation: Ideology and Methodology. New Mexico State University, Computing Research Laboratory MCCS-96-292.
Miller, G. A. 1995. WORDNET: A Lexical Database for English. Communications of A CM(11): 39–41.
Mulligan, K. (ed.) 1992. Language, Truth and Ontology. Kluwer, Dordrecht.
Mulligan, K., Simons, P. M., and Smith, B. 1984. Truth Makers. Philosophy and Phenomenological Research, 44: 287–321.
Noonan, H. (ed.) 1993. Identity. Dartmouth, Aldershot, USA.
Pelletier, F. J. and Schubert, L. K. 1989. Mass Expressions. In D. Gabbay and F. Günthner (eds.), Handbook of Philosophical Logic. Reidel: 327–405.
Poli, R. 1995. Bimodality of Formal Ontology and Mereology. International Journal of Human and Machines Studies, 43(5/6): 687–696.
Poli, R. 1996. Ontology and Knowledge Organization. In Proceedings of 4th Conference of the International Society of Knowledge Organization (ISKO 96). Washington.
Simons, P. 1987. Parts: a Study in Ontology. Clarendon Press, Oxford.
Smith, B. (ed.) 1982. Parts and Moments: Studies in Logic and Formal Ontology. Philosophia Verlag, München.
Smith, B. 1989. The Primacy of Place: an Investigation in Brentanian Ontology. Topoi, 8: 43–51.
Smith, B. and Mulligan, K. 1983. Framework for Formal Ontology. Topoi, 2: 73–85.
Sowa, J. 1995. Top-level ontological categories. International Journal of Human and Computer Studies, 43: 669–685.
Strawson, P. F. 1959. Individuals. An Essay in Descriptive Metaphysics. Routledge, London and New York.
Swartout, B., Patil, R., Knight, K., and Russ, T. 1996. Toward distributed use of largescale ontologies. In Proceedings of 10th Knowledge Acquisition for KnowledgeBased Systems Workshop. Banff, Canada.
Uschold, M. and Gruninger, M. 1996. Ontologies: Principles, Methods and Applications. The Knowledge Engineering Review, 11(2): 93–136.
Van Heijst, G., Schreiber, A. T., and Wielinga, B. J. 1997. Roles aren't Classes: a Reply to Nicola Guarino. International Journal of Human and Computer Studies(in press).
Van Heijst, G., Schreiber, A. T., and Wielinga, B. J. 1997. Using Explicit Ontologies in KBS Development. International Journal of Human and Computer Studies (in press).
Varzi, A. 1996. Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology. Data and Knowledge Engineering, 20(3): 259–286.
Winston, M., Chaffin, R., and Herrmann, D. 1987. A Taxonomy of Part-Whole Relations. Cognitive Science, 11: 417–444.
Woods, W. 1986. Important issues in knowledge representation. Proceedings of the IEEE, 74(10): 1322–1334.
Woods, W. A. 1975. What's in a Link: Foundations for Semantic Networks. In D. G. Bobrow and A. M. Collins (eds.), Representation and Understanding. Studies in Cognitive Science. Academic Press: 35–82.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guarino, N. (1997). Semantic matching: Formal ontological distinctions for information organization, extraction, and integration. In: Pazienza, M.T. (eds) Information Extraction A Multidisciplinary Approach to an Emerging Information Technology. SCIE 1997. Lecture Notes in Computer Science, vol 1299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63438-X_8
Download citation
DOI: https://doi.org/10.1007/3-540-63438-X_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63438-6
Online ISBN: 978-3-540-69548-6
eBook Packages: Springer Book Archive