Abstract
Modeling and verification of context-aware systems have been proven to be a challenging task mainly because expressive modeling implies, in most cases, expensive verification algorithms. On the other side, description logics have been successfully applied as a modeling and verification framework in many settings, such as in the semantic Web and bioinformatics, just to mention some. The main factor for this success is the delicate balance between expressiveness and computational cost of the corresponding algorithms in description logics. In the current work, we propose the use of an expressive description logics to model the consistency of context-aware systems. We show this expressive modeling language is capable to succinctly express complex properties, such as temporal ones.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory Implementation and Applications, 2nd edn. Cambridge University Press, New York (2010)
Bárcenas, E., Molero, G., Sánchez, G., Benítez-Guerrero, E., Mezura-Godoy, C.: Reasoning on expressive description logics with arithmetic constraints. In: 2016 International Conference on Electronics, Communications and Computers (CONIELECOMP), pp. 180–185. IEEE (2016)
Bettini, C., et al.: A survey of context modelling and reasoning techniques. Pervasive Mob. Comput. 6(2), 161–180 (2010)
Dey, A.K.: Understanding and using context. Pers. Ubiquit. Comput. 5(1), 4–7 (2001)
Henricksen, K., Indulska, J.: Developing context-aware pervasive computing applications: models and approach. Pervasive Mob. Comput. 2(1), 37–64 (2006)
Hernández-Calderón, J., Benítez-Guerrero, E., Rojano, R.: Towards an intelligent desk matching behaviors and performance of learners. In: Proceedings of the XVIII International Conference on Human Computer Interaction, Interacción, pp. 29:1–29:6 (2017)
Limón, Y., Bárcenas, E.: On the consistency of context-aware systems. J. Intell. Fuzzy Syst. 34, 3373–3383 (2018)
Limón, Y., Bárcenas, E., Benítez-Guerrero, E., Medina, M.: Depth-first reasoning on trees. Computación y Sistemas 22(1), 1–7 (2018). https://dblp.org/rec/bibtex/journals/cys/LimonPBN18
Riboni, D., Bettini, C.: OWL 2 modeling and reasoning with complex human activities. Pervasive Mob. Comput. 7(3), 379–395 (2011)
Acknowledgment
This work was partially developed under the support of the National Council of Science and Technology (CONACYT).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Ramírez-Rueda, R., Bárcenas, E., Mezura-Godoy, C., Molero-Castillo, G. (2019). Expressive Context Modeling with Description Logics. In: Villazón-Terrazas, B., Hidalgo-Delgado, Y. (eds) Knowledge Graphs and Semantic Web. KGSWC 2019. Communications in Computer and Information Science, vol 1029. Springer, Cham. https://doi.org/10.1007/978-3-030-21395-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-21395-4_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21394-7
Online ISBN: 978-3-030-21395-4
eBook Packages: Computer ScienceComputer Science (R0)