Abstract
The relationship between Description Logic (DL) and database is quite close. Indeed, the needs for the building of the systems that can manage both the database and the knowledge representation are really necessary. A description-logic based on the knowledge representation system not only allows the knowledge management, but also provides a standard framework which is considered to be very close to the language used to represent the Entity-Relationship model (ER model). On the other hand, the temporal ER model is used to model the time aspects of the conceptual database schema. Thus, the problem of the use of description logic to express temporal ER models is really useful for modeling the conceptual data models. Based on the temporal DL, Alessandro Artale et al. (2011) presented temporal ER schemas and integrity constraints in the form of complex inclusion dependencies. The paper approaches the representation method of Alessandro Artale and proposes mapping multi-valued attributes in the temporal ER model to DL. Description logic application in TimeER modeling
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tailoring temporal description logics for reasoning over temporal conceptual models. In: Tinelli, C., Sofronie-Stokkermans, V. (eds.) FroCoS 2011. LNCS, vol. 6989, pp. 1–11. Springer, Heidelberg (2011)
Artale, A., Franconi, E., Wolter, F., Zakharyaschev, M.: Reasoning over conceptual schemas and queries in temporal database. In: Proceedings of the 9th Italian Database Conference (2002)
Artale, A., Franconi, E.: Reasoning with enhanced temporal entity-relationship models. In: Proceedings of the International Workshop on Spatio-Temporal Data Models and Languages. IEEE Computer Society Press, Also in Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB 1999), and in Proceedings of the 1999 International Workshop on Description Logics (DL 1999) (1999)
Calvanes, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems. Kluwer Academic Publisher (1998)
Artale, A., Franconi, E.: Temporal ER modelling with description logics. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) ER 1999. LNCS, vol. 1728, pp. 81–95. Springer, Heidelberg (1999)
Artale, A., Franconi, E., Mandreoli, F.: Description logics for modelling dynamic information. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases. LNCS, pp. 239–275. Springer, Heidelberg (2003)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Shneiter, P.F.: The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
Artale, A., Franconi, E.: Foundations of temporal conceptual data models. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 10–35. Springer, Heidelberg (2009)
Rudolph, S.: Foundations of Description Logics. Karlsruhe Institute of Technology, Germany (2011)
Hoang, Q., Van Nguyen, T.: Extraction of a temporal conceptual model from a relational database. Int. J. Intell. Inf. Database Syst. 7(4), 340–355 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Chanh, N.V., Quang, H. (2016). The Performance of TimeER Model by Description Logics. In: Vinh, P., Alagar, V. (eds) Context-Aware Systems and Applications. ICCASA 2015. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 165. Springer, Cham. https://doi.org/10.1007/978-3-319-29236-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-29236-6_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29235-9
Online ISBN: 978-3-319-29236-6
eBook Packages: Computer ScienceComputer Science (R0)