ACM Transactions on Information Systems (TOIS)
An outline of a general model for information retrieval systems
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
An algebra for structured office documents
ACM Transactions on Information Systems (TOIS)
SIGIR '89 Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval
Indexing medical reports in a multimedia environment: the RIME experimental approach
SIGIR '89 Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval
Automatic text processing: the transformation, analysis, and retrieval of information by computer
Automatic text processing: the transformation, analysis, and retrieval of information by computer
Language and representation in information retrieval
Language and representation in information retrieval
SILOL: a simple logical-linguistic document retrieval system
Information Processing and Management: an International Journal - Special issue on natural language processing and information retrieval
Retrieving documents by plausible inference: an experimental study
Information Processing and Management: an International Journal
Assessing the quality of hypertext views
ACM SIGIR Forum
(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
Theoretical Foundations of Computer Sciences
Theoretical Foundations of Computer Sciences
Mind Your Grammar: a New Approach to Modelling Text
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Frame-Based Language in Information Retrieval
A Frame-Based Language in Information Retrieval
TourisT: the application of a description logic based semantic hypermedia system for tourism
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Conceptual linking: ontology-based open hypermedia
Proceedings of the 10th international conference on World Wide Web
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
ECDL '98 Proceedings of the Second European Conference on Research and Advanced Technology for Digital Libraries
Binary lexical relations for text representation in information retrieval
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
| Hi-index | 0.00 |
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.