Towards a Logic for Representation and Retrieval of Incomplete Temporal Objects.

Ed Porto Bezerra, Ulrich Schiel, Bernardo Lula Junior: Towards a Logic for Representation and Retrieval of Incomplete Temporal Objects CSIT 1999 : 11-17

Abstract

In order to obtain an adequate model of the universe of discourse of certain information systems, it is of fundamental importance to allow the description of both incomplete and temporal characteristics of certain objects. In particular, in some cases the two types of characteristics may be treated simultaneously. This article proposes a logic, based on modal temporal logic, for the description and retrieval of incomplete temporal objects. Experiments has been done with a prototype, called MITO (Manipulation of Incomplete Temporal Objects) which has given significant elements for the construction of the theory.

Copyright © 1999 by the Institute for Contemporary Education "JurInfoR-MSU". Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the CSIT copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Institute for Contemporary Education JMSUICE. To copy otherwise, or to republish, requires a fee and/or special permission from the JMSUICE.

Printed Edition

Ch. Freytag and V. Wolfengagen (Eds.): CSIT'99, Proceedings of 1st International Workshop on Computer Science and Information Technologies, January 18-22, 1999, Moscow, Russia. MEPhI Publishing 1999, ISBN 5-7262-0263-5

Electronic Edition