Object-oriented Temporal Knowledge Representation Model And Application

As an attribute of the objects in space, time runs through the whole developing procedures of the objects. People do not only pay attention to the data and information, but also consider the temporal attributes of the objects such as the time sequence of transaction, the valid time of processing. The aim of this paper is to represent the Temporal Knowledge with an OOTKRM, namely, Object-Oriented Temporal Knowledge Representation Model.Studying time's basic attributes in detail, a Time Model is made at first in this context. In addition, the Temporal Interval and Time Point are analyzed and their temporal relations are described with the Temporal Operators. Secondly, three main blanches of Temporal Logic, which are Linear-time Temporal Logic, Branching-time Temporal Logic and Interval Temporal Logic, are further introduced. Moreover, the OOTKM with its BNF formal descriptions are put forward and further study about the methods to represent temporal knowledge are introduced. Moreover, The Inference mechanism and algorithm are also analyzed. Based on the above research work, a prototype of Visualized Management Tool for Temporal Knowledge is put forward.The main contributions of this paper are as follows, first, OOKR, which stands for the Object-Oriented Knowledge Representation, is proposed to describe the field knowledge. As known, OOKR is a hybrid method of knowledge representation, which is made with several single methods based on the Object-Oriented theory. Second, Temporal Logic is adopted to describe the temporal attributes of the static knowledge and the temporal relations, constraints of the dynamic knowledge, with which are dealt as isolated temporal knowledge. Thirdly, the OOKR model is extended as the OOKTR with the component to describe the temporal knowledge, and then it forms the model of OOTKR. Moreover, The BNF semantics and structures of this model are given. Furthermore, the prototype of the Visualized Management Tool for Temporal Knowledge is shown on the base of the former work.As the verification of the theory, the Temporal Knowledge of SIDSS is re-described with the OOTKM on the base of the former related research work. Besides, some examples are taken to show how to describe the Structured Temporal Knowledge and the non-structured Temporal Knowledge. A prototype of the Visualized Management Tool for Temporal Knowledge is also shown with the example. As for the Sequential and Parallel Processing, which exists in the field of CSCW, temporal Constrains are used to describe the temporal relations between the sequential and parallel tasks. An application, which contains sequential and parallel sub-tasks, is shown as an example at last.