DOI
10.34229/KCA2522-9664.26.5.2
UDC 004.94
V. Reznichenko
Institute of Software Systems, National Academy of Sciences of Ukraine,
Kyiv, Ukraine, 
reznichenko.valery47@gmail.com
O. Zakharova
Institute of Software Systems, National Academy of Sciences of Ukraine,
Kyiv, Ukraine, ozakharova68@gmail.com
APPLYING THE TABULAR INTERPRETATION OF TEMPORAL LOGICS TO DEFINE
BRANCHINGS IN THE PROCESS MODEL OF SEMANTIC WEB SERVICES
Abstract. The focus of this study is to develop a method for formalizing the web service process, in particular, the branching elements in its behavior,
that is, the formalization of the non-deterministic development of the service domain. The essence of the proposed approach is to step-by-step extend the basic descriptive logic ALC with linear time temporal operators (LTL), first, and in the next step – to extend the obtained result with branched time temporal operators (CTL). In fact, this is achieved by introducing path quantifiers to the algebra of linear temporal operators. This paper also provides a tabular interpretation for certain non-linear time (branching operators) and an example of the application of the proposed method for formalizing branching calculations in the process model of the applied semantic web service for the administration of the process of submitting a dissertation for the degree of Doctor of Philosoph.
Keywords: temporal extension of descriptive logic, process model of web service, tabular interpretation of temporal operators, temporal operators of branching, path quantifiers, Kripke model.
full text
REFERENCES
- Zakharova O. Determining and solving the problem of detecting web services using the apparatus of descriptive logics. Problemy prohramuvannya. 2017. No. 4. P. 66–78. URL: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/311/306.
- Reznichenko V., Chystiakova I. Table interpretation of the temporal description logic LTLALC. Problems in Programming. 2022. N 3-4. P. 216–230. URL: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/523/575.
- Резніченко В.А., Захарова О.В. Опис процесу веб-сервісу. Таблична інтерпретація. Проблеми програмування. 2024. № 4. С. 99–113. https://doi.org/10.15407/pp2024.04.099.
- Pnueli A. The temporal logic of programs. Proc. 18th Annual Symposium on Foundations of Computer Science (31 October – 02 November 1977, Providence, Rhode Island, USA). Providence, 1977. P. 46–57. https://doi.org/10.1109/SFCS.1977.32.
- Clarke E.M., Emerson E.A. Design and synthesis of synchronization skeletons using branching time temporal logic. In: Logics of Programs. Logic of Programs 1981. Kozen D. (Eds.). LNCS. 1982. Vol. 131. P. 52–71. https://doi.org/10.1007/BFb0025774.
- Konur S. A survey on temporal logics. arXiv:1005.3199v3 [cs.LO] 25 Apr 2011. https://doi.org/10.48550/arXiv.1005.3199.
- Ben-Ari M., Pnueli A., Manna Z. The temporal logic of branching time. Acta Informatica. 1983. Vol. 20. N 3. P. 207–226. https://doi.org/10.1007/BF01257083.
- Emerson E.A., Halpern J.Y. “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Journal of the ACM. 1986. Vol. 33, Iss. 1. P. 151–178. https://doi.org/10.1145/4904.4999.
- Emerson E.A. Temporal and modal logic. In: Formal models and semantics. Ch. 16. Leeuwen J.V. (Ed.). Elsevier BV, 1990. P. 995–1072. https://doi.org/10.1016/B978-0-444-88074-1.50021-4.
- Gutierrez-Basulto V., Klarman S. Towards a unifying approach to representing and querying temporal data in description logics. In: Web Reasoning and Rule Systems. RR 2012. Krtzsch M., Straccia U. (Eds.). LNCS. Vol. 7497. P. 90–105. https://doi.org/10.1007/978-3-642-33203-6_8.
- Hitzler P., Krtzsch M., Rudolph S. Foundations of semantic Web technologies. New York: CRC Press, 2009. 456 p. https://doi.org/10.1201/9781420090512.
- Baader F., Calvanese D., McGuinness D.L., Nardi D., Patel-Schneider P.F. (Eds.). The description logic handbook: Theory, implementation, and applications. Cambridge: Cambridge University Press, 2003. 574 p.
- Lutz C., Wolter F. Temporal description logics. In: Handbook of Temporal Reasoning in Artificial Intelligence. Fisher M., Gabbay D., Vila L. (Eds.). Amsterdam: Elsevier, 2005. P. 89–227.
- Artale A., Mazzullo A., Ozaki A. Temporal description logics over finite traces. Proc. 31st International Workshop on Description Logics (DL 2018), co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (27–29 October 2018, Tempe, Arizona, USA). Tempe, 2018. CEUR Workshop Proceedings. 2018. Vol. 2211. CEUR-WS.org. URL: https://ceur-ws.org/Vol-2211/paper-06.pdf.
- Montanari A., Chomicki J.: Time domain. In: Encyclopedia of Database Systems. Liu L., zsu M.T. (Eds.) Boston: Springer, 2009. P. 3103–3107. https://doi.org/10.1007/978-0-387-39940-9_427.
