Skip to main content

Semantic matching: Formal ontological distinctions for information organization, extraction, and integration

  • Conference paper
  • First Online:
Information Extraction A Multidisciplinary Approach to an Emerging Information Technology (SCIE 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1299))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Albertazzi, L. 1989. Strati. Riverdito, Trento.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Anne, B. 1991. Metaphysics of Analytic Philosophy. In H. Burkhardt and B. Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia, Munich: 539–543.

    Google Scholar 

  • 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.

    Google Scholar 

  • Borgo, S. and Guarino, N. 1997. An Ontological Theory of Physical Objects. In Proceedings of 1997 Workshop on Qualitative Reasoning (QR 97). Cortona, Italy.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Burkhardt, H. and Smith, B. (eds.) 1991. Handbook of Metaphysics and Ontology. Philosophia Verlag, Munich.

    Google Scholar 

  • Casati, R. and Varzi, A. (eds.) 1996. Events. Dartmouth, Aldershots, USA.

    Google Scholar 

  • 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.

    Google Scholar 

  • Cleland, C. 1991. On the Individuation of Events. Synthese, 86: 229–254. Reprinted in R. Casati and A. Varzi (eds.), Events, Dartmouth 1996.

    Article  Google Scholar 

  • Cocchiarella, N. B. 1991. Formal Ontology. In H. Burkhardt and B. Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia Verlag, Munich: 640–647.

    Google Scholar 

  • Cowie, J. and Lehnert, W. 1996. Information Extraction. Communications of the ACM, 39(1): 80–91.

    Article  Google Scholar 

  • Genesereth, M. R. and Nilsson, N. J. 1987. Logical Foundation of Artificial Intelligence. Morgan Kaufmann, Los Altos, California.

    MATH  Google Scholar 

  • Griffin, N. 1977. Relative Identity. Oxford University Press, Oxford.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Gruber, T. R. 1993. A translation approach to portable ontology specifications. Knowledge Acquisition, 5: 199–220.

    Article  Google Scholar 

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

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Guarino, N. 1995. Formal Ontology, Conceptual Analysis and Knowledge Representation. International Journal of Human and Computer Studies, 43(5/6): 625–640.

    Article  Google Scholar 

  • Guarino, N. 1996. Understanding, Building and Using Ontologies. LADSEB Internal Report 6/96.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Chapter  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Guha, R. V. and Lenat, D. B. 1990. CYC: a Mid-Term Report. AI Magazine, 11(3): 32–59.

    Google Scholar 

  • Hirsch, E. 1982. The Concept of Identity. Oxford University Press, New York, Oxford.

    Google Scholar 

  • Hirst, G. 1991. Existence Assumptions in Knowledge Representation. Artificial Intelligence, 49: 199–242.

    Article  MathSciNet  Google Scholar 

  • Karmo, T. 1977. Disturbances. Analysis, 37: 147–148.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Lombard, L. B. 1979. Events. Canadian Journal of Philosophy, 9(3). Reprinted in Roberto Casati and Achille Varzi (eds.), Events, Dartmouth 1996.

    Google Scholar 

  • Mahesh, K. 1996. Ontology Development for Machine Translation: Ideology and Methodology. New Mexico State University, Computing Research Laboratory MCCS-96-292.

    Google Scholar 

  • Miller, G. A. 1995. WORDNET: A Lexical Database for English. Communications of A CM(11): 39–41.

    Article  Google Scholar 

  • Mulligan, K. (ed.) 1992. Language, Truth and Ontology. Kluwer, Dordrecht.

    Google Scholar 

  • Mulligan, K., Simons, P. M., and Smith, B. 1984. Truth Makers. Philosophy and Phenomenological Research, 44: 287–321.

    Article  Google Scholar 

  • Noonan, H. (ed.) 1993. Identity. Dartmouth, Aldershot, USA.

    Google Scholar 

  • 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.

    Google Scholar 

  • Poli, R. 1995. Bimodality of Formal Ontology and Mereology. International Journal of Human and Machines Studies, 43(5/6): 687–696.

    Google Scholar 

  • Poli, R. 1996. Ontology and Knowledge Organization. In Proceedings of 4th Conference of the International Society of Knowledge Organization (ISKO 96). Washington.

    Google Scholar 

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

    Google Scholar 

  • Smith, B. (ed.) 1982. Parts and Moments: Studies in Logic and Formal Ontology. Philosophia Verlag, München.

    MATH  Google Scholar 

  • Smith, B. 1989. The Primacy of Place: an Investigation in Brentanian Ontology. Topoi, 8: 43–51.

    Article  Google Scholar 

  • Smith, B. and Mulligan, K. 1983. Framework for Formal Ontology. Topoi, 2: 73–85.

    Article  MathSciNet  Google Scholar 

  • Sowa, J. 1995. Top-level ontological categories. International Journal of Human and Computer Studies, 43: 669–685.

    Article  Google Scholar 

  • Strawson, P. F. 1959. Individuals. An Essay in Descriptive Metaphysics. Routledge, London and New York.

    Google Scholar 

  • 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.

    Google Scholar 

  • Uschold, M. and Gruninger, M. 1996. Ontologies: Principles, Methods and Applications. The Knowledge Engineering Review, 11(2): 93–136.

    Article  Google Scholar 

  • 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).

    Google Scholar 

  • 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).

    Google Scholar 

  • Varzi, A. 1996. Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology. Data and Knowledge Engineering, 20(3): 259–286.

    Article  Google Scholar 

  • Winston, M., Chaffin, R., and Herrmann, D. 1987. A Taxonomy of Part-Whole Relations. Cognitive Science, 11: 417–444.

    Article  Google Scholar 

  • Woods, W. 1986. Important issues in knowledge representation. Proceedings of the IEEE, 74(10): 1322–1334.

    Article  Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Maria Teresa Pazienza

Rights and permissions

Reprints 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

Publish with us

Policies and ethics