Skip to main content
SpringerLink
Log in

Virtual Catalog: The Ontology-Based Technology for Information Retrieval

  • Conference paper
Knowledge Processing and Data Analysis (KPP 2007, KONT 2007)

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

Abstract

This paper is devoted to information retrieval and fine search organization on the Internet. The presented approach is based on model-theoretical formalization of a subject domain ontology.

The formal measures of information retrieval effectiveness are studied. The central problem of our consideration is the problem of pertinence of information retrieval. To contribute to the solution of this problem, we present an approach which is called the Virtual Catalog. This approach is a synthesis of search engines and Internet catalogs.

The development of the Virtual Catalog is based on subject domain ontologies. Ontologies are formalized in model-theoretical terms. We develop methods of ontology representation as a network of sentences of first-order predicate logic. We use three types of ontology to solve the problem of pertinence of information retrieval: ontology of the subject domain which is relevant to the desired information; ontology of the Internet which describes various types of Internet resources; and ontology of user needs and types of information search tasks. With the help of the subject domain ontology, we specify the user’s field of interest. The user needs ontology helps us to specify what kind of information the user wants. The Internet ontology gives the possibility to determine the desired type of Internet resource. Our approach is applied to develop Virtual Catalogs for two fields: mathematics and information security. We present technologies for constructing ontologies for these fields and technologies for fine search organization on the Internet.

Supported by RFBR grant N 05-01-04003-NNIO-a (DFG project COMO, GZ: 436 RUS 113/829/0-1) and by the Federal Agency for Science and Innovations of the Russian Federation, the State contract N P-1008.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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.

References

  1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  2. Carnap, R.: Meaning and Necessity: A Study in Semantics and Modal Logic. The University of Chicago Press, Chicago (1947)

    MATH  Google Scholar 

  3. Carnap, R.: Philosophical Foundations of Physics. Basic Books, New York (1968)

    Google Scholar 

  4. Chang, C.C., Keisler, H.J.: Model Theory. North-Holland Publishing Company, New York (1973)

    MATH  Google Scholar 

  5. Daconta, M.C., Obrst, L.J., Smith, K.T.: The Semantic Web. In: A Guide to the Future of XML, Web Services, and Knowledge Management, Wiley Technology Publishing, Indianapolis (2006)

    Google Scholar 

  6. Ershov, Y.L., Palutin, E.A.: Mathematical Logic. Walter de Gruyter, Berlin (1989)

    Google Scholar 

  7. Fensel, D.: Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce, 2nd edn. Springer, Berlin (2003)

    MATH  Google Scholar 

  8. Gangemi, A., Pisanelli, D.M., Steve, G.: An overview on the ONIONS project: Applying ontologies to the integration of medical terminologies. Data and Knowledge Engineering 31(2), 183–220 (1999)

    Article  MATH  Google Scholar 

  9. Gómez-Pérez, A., Fernandez-Lopez, M., Corcho, O.: Ontological Engineering with Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web. Springer, London (2004)

    Google Scholar 

  10. Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  11. Haarslev, V., Möller, R.: RACER: An OWL Reasoning Agent for the Semantic Web. In: Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems, in Conjunction with the 2003 IEEE/WIC International Conference on Web Intelligence, Halifax, Canada, pp. 91–95 (2003)

    Google Scholar 

  12. Maedche, A.: Ontology Learning for the Semantic Web. The Kluwer International Series in Engineering and Computer Science, vol. 665 (2003)

    Google Scholar 

  13. McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. Recommendation, World Wide Web Consortium (2004), http://www.w3.org/TR/owl-features/

  14. Mizoguchi, R.: Ontological Engineering: Foundation of the Next Generation Knowledge Processing. In: Zhong, N., Yao, Y., Ohsuga, S., Liu, J. (eds.) WI 2001. LNCS (LNAI), vol. 2198, pp. 44–57. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. Palchunov, D.E.: Countably-categorical Boolean algebras with distinguished ideals. Studia Logica XLVI(2), 121–135 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  16. Palchunov, D.E.: Finitely axiomatizable Boolean algebras with distinguished ideals. Algebra and Logic 26(4), 252–266 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  17. Palchunov, D.E.: Direct summands of Boolean algebras with distinguished ideals. Algebra and Logic 31(5), 295–316 (1992)

    Article  MathSciNet  Google Scholar 

  18. Palchunov, D.E.: The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals. Algebra and Logic 34(1), 50–65 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  19. Palchunov, D.E.: Algebraische Beschreibung der Bedeutung von Äußerungen der natürlichen Sprache. In: Zelger, J., Maier, M. (Hrsg.) GABEK. Verarbeitung und Darstellung von Wissen, pp. 310–326. STUDIENVerlag, Innsbruck (1999)

    Google Scholar 

  20. Palchunov, D.E.: On a logical analysis of GABEK. In: Buber, R., Zelger, J. (Hrsg.) GABEK II. Zur Qualitativen Forschung. On Qualitative Research, pp. 185–203. STUDIENVerlag, Innsbruck (2000)

    Google Scholar 

  21. Palchunov, D.E.: Modelling of thinking and formalization of reflection I: Model theoretical formalization of ontology and reflection. Philosophy of Science 31(4), 86–114 (2006) (in Russian)

    Google Scholar 

  22. Palchunov, D.E.: GABEK for Ontology Generation. In: Herdina, P., Oberprantacher, A., Zelger, J. (eds.) Lernen und Entwicklung in Organisationen. Learning and Development in Organizations, Beitrage zur Wissensverarbeitung, 2nd edn., Berlin, Wien (LIT), pp. 90–109 (2007)

    Google Scholar 

  23. Palchunov, D.E., Sidorova, E.S.: The Virtual Catalog. In: Proc. All-Russia Conference ”Knowledge–Ontology–Theory”, Novosibirsk, pp. 166–175 (2007) (in Russian)

    Google Scholar 

  24. Palchunov, D.E.: Solution of the problem of information retrieval, based on ontologies. Business Informatics (1), 3–13 (2008) (in Russian)

    Google Scholar 

  25. Palchunov, D.E.: Definability of sentences in the language of Boolean algebras with distinguished ideals. Vestnik NSU. Mathematics, Mechanics, Informatics 8(2), 92–105 (2008) (in Russian)

    Google Scholar 

  26. Staab, S., Studer, R. (eds.): Handbook on Ontologies. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  27. Zelger, J.: GABEK, a new method for qualitative evaluation of interviews and model construction with PC-support. In: Stuhler, E., Suilleabhain, M.O. (eds.) Enchanging Human Capacity to Solve Ecological and Socio-Economic Problems, pp. 128–172. Rainer Hampp Verlag, Munchen (1993)

    Google Scholar 

  28. Zelger, J.: Zur Geschichte von GABEK. In: Buber, R., Zelger, J. (Hrsg.) GABEK II. Zur Qualitativen Forschung. On Qualitative Research, pp. 13–20. STUDIENVerlag, Innsbruck (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics SB RAS, Novosibirsk State University, Novosibirsk, Russia

    Dmitry E. Palchunov

Authors
  1. Dmitry E. Palchunov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hochschule Darmstadt, Fachbereich Mathematik und Naturwissenschaften, Holzhofallee 38, 64295, Darmstadt, Germany

    Karl Erich Wolff

  2. Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Koptyug prosp. 4, 630090, Novosibirsk, Russia

    Dmitry E. Palchunov

  3. Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Koptyug prosp. 4, 630090, Novosibirsk, Russia

    Nikolay G. Zagoruiko

  4. Fachbereich Informatik, Hochschule Darmstadt, Schoefferstraße 8b, 64295, Darmstadt, Germany

    Urs Andelfinger

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Palchunov, D.E. (2011). Virtual Catalog: The Ontology-Based Technology for Information Retrieval. In: Wolff, K.E., Palchunov, D.E., Zagoruiko, N.G., Andelfinger, U. (eds) Knowledge Processing and Data Analysis. KPP KONT 2007 2007. Lecture Notes in Computer Science(), vol 6581. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22140-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22140-8_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22139-2

  • Online ISBN: 978-3-642-22140-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation