Abstract
Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. Thanks to this, conceptual of subject areas modeling has become one of the fields of application of descriptive logics, taking into account the use of inference mechanisms. Conceptual modeling is used to create databases and knowledge bases. A key issue of the subject area modeling is the ability to monitor the dynamics of changes in the state of the subject area over time. It is necessary to describe not only the current actual state of the database (knowledge bases), but also the background. Temporal descriptive logics are used to solve this problem. They have the same set of algorithmic problems that are presented in conventional descriptive logics, but to them are added questions related to the description of knowledge in time. This refers to the form of time (continuous or discrete), time structure (moments of time, intervals, chains of intervals), time linearity (linear or branched), domain (present, past, future), the concept of “now”, the method of measurement, etc. An urgent task today is to create an algorithm for the temporal interpretation of conventional descriptive logics. That is, to show a way in which temporal descriptive logic can be applied to ordinary descriptive logic. The paper presents an algorithm for temporal interpretation of LTL into ALC. Linear, unbranched time is chosen for the description goal. It is presented in the form of a whole temporal axis with a given linear order on it. Only the future tense is considered. The algorithm contains graphic notations of LTL application in ALC: concepts, concept constructors, roles, role constructors, TBox and ABox. Numerous examples are used to illustrate the application of the algorithm.
Publisher
National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (Publications)
Reference11 articles.
1. 1. CAU A., MOSZKOWSKI B. (2021) Interval Temporal Logic [Online] Available from: http://antonio-cau.co.uk/ITL/ [Accessed: 21 May 2022]
2. Temporal description logics: A survey;LUTZ;In 15th International Symposium on Temporal Representation and Reasoning IEEE Computer Society Press pages,2008
3. On Signal Temporal Logic;DONZÉ;RV 2013 [Lecture notes] Legay A Bensalem S (eds) Runtime Verification,2013
4. 4. MEHRABIAN M., KHAYATIAN M., SHRIVASTAVA A., EIDSON J.C., DERLER P., ANDRADE H.A., LI-BABOUD Y.-S., GRIFFOR E., WEISS M., STANTON K. (2017) Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Transactions on Embedded
5. Computer Systems 16 p. 169:1 - 169:20