1. Baader F., Calvanese D., McGuinness D. L., Nardi D., Patel-Schneider P. F. (Eds.). (2003). The description logic handbook: Theory, implementation, and applications. New York, NY, USA, Cambridge University Press.
2. Modal logics for incidence geometries
3. Modal Logics for Qualitative Spatial Reasoning
4. Chevalier P., Leclercq E., Millereux A., Sapin C., Savonnet M. (2010). WikiBridge: a Semantic Wiki for Archaeological Applications. In Proceedings of the 38th conference on computer applications and quantitative methods in archaeology (CAA), p. 193-196.
5. MOLOG: A system that extends PROLOG with modal logic