Modelling Hypermedia Retrieval in Datalog.
Norbert Fuhr · 1995
In this paper, we take the logical approach to information retrieval in order to identify and describe new concepts required for performing hypermedia retrieval. For this purpose, we consider hypertext linking of nodes, hierarchical structure of documents and document type hierarchies. These concepts are described in Datalog, a horn logic without functions. Furthermore, we discuss terminological inference and propose a new approach for its application in retrieval, for which we also describe the mapping into Datalog formulas. It turns out that this logic is able to express most of the concepts, but that a higher-level language would be more appropriate for hypermedia retrieval. 1 Introduction In the logical approach to information retrieval (IR), retrieval is interpreted as inference. For a query q, the system is searching for documents d which imply the query logically, i.e. for which the logical formula q / d is true. Due to the intrinsic vagueness and imprecision of IR, a logic tha...