Abstract
In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a growing interest in extending this work to the quantitative case. In this paper, we complement existing results on the combination of DLs with metric temporal logics over the natural numbers by introducing interval-rigid names. This allows to state that elements in the extension of certain names stay in this extension for at least some specified amount of time.
Supported by DFG in the CRC 912 (HAEC), the project BA 1122/19-1 (GoAsQ) and the Cluster of Excellence “Center for Advancing Electronics Dresden” (cfaed).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
- 2.
- 3.
- 4.
References
Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35–77 (1993)
Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–204 (1994)
Artale, A., Bresolin, D., Montanari, A., Sciavicco, G., Ryzhikov, V.: DL-lite and interval temporal logics: a marriage proposal. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 957–958. IOS Press (2014)
Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 1417–1423. AAAI Press (2015)
Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), pp. 11–22. IEEE Press (2007)
Artale, A., Lutz, C., Toman, D.: A description logic of change. In: Proceedings of the 20th International Joint Conference Artificial Intelligence (IJCAI 2007), pp. 218–223 (2007)
Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A., Thost, V.: Metric temporal description logics with interval-rigid names (extended version). LTCS-Report 17-03 (2017). https://lat.inf.tu-dresden.de/research/reports.html
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Log. 13(3), 21:1–21:32 (2012)
Borgwardt, S., Thost, V.: Temporal query answering in the description logic \(\cal{EL}\). In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2819–2825. AAAI Press (2015)
Brandt, S., Kalaycı, E.G., Kontchakov, R., Ryzhikov, V., Xiao, G., Zakharyaschev, M.: Ontology-based data access with a horn fragment of metric temporal logic. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), pp. 1070–1076. AAAI Press (2017)
Crowe, C.L., Tao, C.: Designing ontology-based patterns for the representation of the time-relevant eligibility criteria of clinical protocols. In: AMIA Summits on Translational Science Proceedings 2015, pp. 173–177 (2015)
Gutiérrez-Basulto, V., Jung, J.C., Ozaki, A.: On metric temporal description logics. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pp. 837–845. IOS Press (2016)
Harel, D.: Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. J. ACM 33(1), 224–248 (1986)
Kurucz, A., Wolter, F., Zakharyaschev, M., Gabbay, D.M.: Many-dimensional modal logics: theory and applications. Gulf Professional Publishing (2003)
Lutz, C., Walther, D., Wolter, F.: Quantitative temporal logics over the reals: PSPACE and below. Inf. Comput. 205(1), 99–123 (2007)
Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: Proceedings of the 15th Symposium on Temporal Representation and Reasoning (TIME 2008), pp. 3–14. IEEE Press (2008)
Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 466–471. Morgan Kaufmann (1991)
Schulz, S., Markó, K., Suntisrivaraporn, B.: Formal representation of complex SNOMED CT expressions. BMC Med. Inform. Decis. Mak. 8(Suppl 1), S9 (2008)
Wolter, F., Zakharyaschev, M.: Temporalizing description logics. In: Frontiers of Combining Systems, vol. 2, pp. 379–402. Research Studies Press/Wiley (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A., Thost, V. (2017). Metric Temporal Description Logics with Interval-Rigid Names. In: Dixon, C., Finger, M. (eds) Frontiers of Combining Systems. FroCoS 2017. Lecture Notes in Computer Science(), vol 10483. Springer, Cham. https://doi.org/10.1007/978-3-319-66167-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-66167-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66166-7
Online ISBN: 978-3-319-66167-4
eBook Packages: Computer ScienceComputer Science (R0)