Table interpretation of the temporal description logic LTLALC

Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern powerful mechanism that provides possibility of extracting from already existing ones. Thanks this, conceptual subject areas modeling has become one fields application descriptive logics, taking into account use inference mechanisms. Conceptual create databases bases. A key issue area ability monitor dynamics changes state over time. It necessary not only current actual database (knowledge bases), but also background. Temporal solve this problem. They have same set algorithmic problems presented conventional them added questions related description refers form time (continuous or discrete), structure (moments time, intervals, chains intervals), linearity (linear branched), domain (present, past, future), concept “now”, method measurement, etc. An urgent task today an algorithm for temporal interpretation logics. That is, show way which logic can be applied ordinary logic. The paper presents LTL ALC. Linear, unbranched chosen goal. whole axis with given linear order on it. Only future tense considered. contains graphic notations ALC: concepts, constructors, roles, role TBox ABox. Numerous examples illustrate algorithm.