F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. Patel-schneider, The Description Logic Handbook: Theory, Implementation , and Applications, 2003.
DOI : 10.1017/CBO9780511711787

J. Haël-brenas, R. Echahed, and M. Strecker, A hoare-like calculus using the SROIQ ? logic on transformation of graphs (extended version), 2014.

D. Calvanese, M. Ortiz, and M. Simkus, Evolving graph databases under description logic constraints, Proc. of the 26th Int. Workshop on Description Logics (DL 2013), volume 1014 of CEUR Electronic Workshop Proceedings, pp.120-131, 2013.

M. Chaabani, R. Echahed, and M. Strecker, Logical foundations for reasoning about transformations of knowledge bases, DL Description Logics, volume 1014 of CEUR Workshop Proceedings, pp.616-627, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00944370

B. Courcelle and J. Engelfriet, Graph structure and monadic second-order logic, a language theoretic approach, 2011.
DOI : 10.1007/978-3-540-70575-8_1
URL : https://hal.archives-ouvertes.fr/hal-00646514

A. Habel, K. Pennemann, and A. Rensink, Weakest Preconditions for High-Level Programs, Third International Conference on Graph Transformations (ICGT), pp.445-460, 2006.
DOI : 10.1007/11841883_31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.3454

I. Horrocks, O. Kutz, and U. Sattler, The even more irresistible SROIQ

N. Immerman, A. Rabinovich, T. Reps, M. Sagiv, and G. Yorsh, The Boundary Between Decidability and Undecidability for Transitive-Closure Logics, Lecture Notes in Computer Science, vol.3210, pp.160-174, 2004.
DOI : 10.1007/978-3-540-30124-0_15

H. Liu, C. Lutz, M. Milicic, and F. Wolter, Foundations of instance level updates in expressive description logics, Artificial Intelligence, vol.175, issue.18, pp.2170-2197, 2011.
DOI : 10.1016/j.artint.2011.08.003

A. Møller and M. I. Schwartzbach, The pointer assertion logic engine, PLDI, pp.221-231, 2001.

M. Christopher, D. Poskitt, and . Plump, Hoare-style verification of graph programs, Fundam. Inform, vol.118, issue.12, pp.135-175, 2012.