The modelling and retrieval of documents using index expressions

ABSTRACT

In this paper we introduce Index Expressions as a means for modelling document content. From an index expression the the Power Index Expression can be derived, which is a powerful instrument for information retrieval. We describe the characterization of documents in the style of formal logic. The content of a document is then modelled by a set of axioms, of which the document is a model. Relating a document to a query is done by proving the query from the axioms of that document. We introduce three rules of inference. If such a proof is not possible, the relevance of the document for the query is derived by plausible deduction. We introduce two inference rules for plausible deduction.

REFERENCES

• 1: {BBB91} R. Bosman, R. Bouwman, and P. D. Bruza. The Effectiveness of Navigable Information Disclosure Systems. Technical Report 91--11, Vakgroep Informatiesystemen, University of Nijmegen, The Netherlands, 1991.
• 2: C. Berrut , Y. Chiaramella, Indexing medical reports in a multimedia environment: the RIME experimental approach, Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval, p.187-197, June 25-28, 1989, Cambridge, Massachusetts, United States
• 3: D. C. Blair, Language and representation in information retrieval, Elsevier North-Holland, Inc., New York, NY, 1990
• 4: {Bru90} P. D. Bruza. Hyperindices: A Novel Aid for Searching in Hypermedia. In A. Rizk, N. Streitz, and J. Andre, editors, <i>Proceedings of the Eur&oacute;pean Conference on Hypertext - ECHT 90</i>, pages 109--122. Cambridge University Press, 1990.
• 5: P. D. Bruza , Th. P. van der Weide, Assessing the quality of hypertext views, ACM SIGIR Forum, v.24 n.3, p.6-25, Fall 1990 [doi>10.1145/101306.101307]
• 6: {BvdW90b} P. D. Bruza and T. P. van der Weide. Two Level Hypermedia - An Improved Architecture for Hypertext. In A. M. Tjoa and R. Wagner, editors, <i>Proceedings of the Data Base and Expert System Applications Conference (DEXA 90)</i>, pages 76--83. Springer Verlag, 1990.
• 7: {BvdW91} P. D. Bruza and T. P. van der Weide. The Modelling and Retrieval of Documents using Index Expressions. In A. J. van de Goor, editor, <i>Proceedings of the Computing Science in the Netherlands Conference (CSN91)</i>, 1991.
• 8: W. B. Croft , T. J. Lucia , J. Cringean , P. Willett, Retrieving documents by plausible inference: an experimental study, Information Processing and Management: an International Journal, v.25 n.6, p.599-614, 1989 [doi>10.1016/0306-4573(89)90095-2]
• 9: {Coo71} W. S. Cooper. A Definition of Relevance for Information Retrieval. <i>Information Storage and Retrieval</i>, 7:19--37, 1971.
• 10: S. Christodoulakis , M. Theodoridou , F. Ho , M. Papa , A. Pathria, Multimedia document presentation, information extraction, and document formation in MINOS: a model and a system, ACM Transactions on Information Systems (TOIS), v.4 n.4, p.345-383, Oct. 1986 [doi>10.1145/9760.9764]
• 11: {Far80} J. Farradane. Relational Indexing Part I. <i>Journal of Information Science</i>, 1(5):267--276, 1980.
• 12: Gaston H. Gonnet , Frank Wm. Tompa, Mind Your Grammar: a New Approach to Modelling Text, Proceedings of the 13th International Conference on Very Large Data Bases, p.339-346, September 01-04, 1987
• 13: Ralf Hartmut Güting , Roberto Zicari , David M. Choy, An algebra for structured office documents, ACM Transactions on Information Systems (TOIS), v.7 n.2, p.123-157, April 1989 [doi>10.1145/65935.65939]
• 14: {Luc90} D. Lucarella. A Model for Hypertext-Based Information Retrieval. In <i>Proceedings of the European Conference on Hypertext - ECHT 90</i>, pages 81--94. Cambridge University Press, 1990.
• 15: Dino Mandrioli , Carlo Ghezzi, Theoretical Foundations of Computer Sciences, John Wiley & Sons, Inc., New York, NY, 1987
• 16: J. Nie, An outline of a general model for information retrieval systems, Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval, p.495-506, May 1988, Grenoble, France [doi>10.1145/62437.62493]
• 17: C. J. van Rijsbergen, (invited paper) A new theoretical framework for information retrieval, Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval, p.194-200, September 1986, Palazzo dei Congressi, Pisa, Italy [doi>10.1145/253168.253208]
• 18: {Rij86b} C. J. van Rijsbergen. A non-classical logic for information retrieval. <i>The Computer Journal</i>, 29(6):481--485, 1986.
• 19: C. J. van Rijsbergen, Towards an information logic, Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval, p.77-86, June 25-28, 1989, Cambridge, Massachusetts, United States
• 20: Gerard Salton, Automatic text processing: the transformation, analysis, and retrieval of information by computer, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
• 21: {SDBvdW91} P. L. van der Spiegel, J. T. W. Driessen, P. D. Bruza, and Th. P. van der Weide. A Transaction Model for Hypertext. In <i>Proceedings of the Data Base and Expert System Applications Conference (DEXA 91).</i> Springer Verlag, 1991.
• 22: P. David Stotts , Richard Furuta, Petri-net-based hypertext: document structure with browsing semantics, ACM Transactions on Information Systems (TOIS), v.7 n.1, p.3-29, Jan. 1989 [doi>10.1145/64789.64791]
• 23: T.M.T Sembok , C.J. van Rijsbergen, SILOL: a simple logical-linguistic document retrieval system, Information Processing and Management: an International Journal, v.26 n.1, p.111-134, 1990 [doi>10.1016/0306-4573(90)90012-Q]
• 24: Marybeth T. Weaver , Robert K. France , Qi Chen , Edward A. Fox, A Frame-Based Language in Information Retrieval, Virginia Polytechnic Institute & State University, Blacksburg, VA, 1988

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.3 Information Search and Retrieval
          Subjects: Retrieval models

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

General Terms:
Design, Theory