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

P. Balbiani, D. Cerro, L. F. Tinchev, T. Vakarelov, and D. , Modal logics for incidence geometries, Journal of Logic and Computation, vol.7, issue.1, pp.59-78, 1997.
DOI : 10.1093/logcom/7.1.59

B. Bennett, Modal Logics for Qualitative Spatial Reasoning, Logic Journal of IGPL, vol.4, issue.1, pp.23-45, 1996.
DOI : 10.1093/jigpal/4.1.23

J. Benthem, . Van, and G. Bezhanishvili, Modal Logics of Space, Handbook of spatial logics, pp.217-298, 2007.
DOI : 10.1007/978-1-4020-5587-4_5

P. Chevalier, E. Leclercq, A. Millereux, C. Sapin, and M. Savonnet, WikiBridge: a Semantic Wiki for Archaeological Applications, Proceedings of the 38th conference on computer applications and quantitative methods in archaeology (CAA), pp.193-196, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00934972

D. Cerro and L. F. , MOLOG: A system that extends PROLOG with modal logic, New Generation Computing, vol.III, issue.No. 2, pp.35-50, 1986.
DOI : 10.1007/BF03037381

D. Runz and C. , Imperfection, temps et espace: modélisation, analyse et visualisation dans un sig archéologique, Thèse de doctorat, 2008.

O. Doukari and R. Jeansoulin, Space-contained conflict revision, for geographic information, The european information society, pp.335-347, 2007.
DOI : 10.1007/978-3-540-72385-1_20
URL : https://hal.archives-ouvertes.fr/hal-00138447

P. F. Fisher, Models of uncertainty in spatial data. Geographical information systems, pp.191-205, 1999.

M. Fitting, First-order modal tableaux, Journal of Automated Reasoning, vol.4, issue.2, pp.191-213, 1988.
DOI : 10.1007/BF00244394

C. Garion, S. Roussel, and L. Cholvy, Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. Revue d'intelligence artificielle, pp.267-290, 2010.
DOI : 10.3166/ria.24.267-290
URL : http://oatao.univ-toulouse.fr/2409/1/Garion_2409.pdf

O. Gasquet, A. Herzig, B. Said, and F. Schwarzentruber, Kripke's worlds: An introduction to modal logics via tableaux, 2013.
DOI : 10.1007/978-3-7643-8504-0

N. Gershon, Visualization of an imperfect world, IEEE Computer Graphics and Applications, vol.18, issue.4, pp.43-45, 1998.
DOI : 10.1109/38.689662

T. R. Gruber, A translation approach to portable ontology specifications Knowledge acquisition, pp.199-220, 1993.
DOI : 10.1006/knac.1993.1008
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.7493

M. Héon and R. Nkambou, G-OWL: Vers un langage de modélisation graphique, polymorphique et typé pour la construction d'une ontologie dans la notation OWL, 2013.

J. Hué, M. Serayet, P. Drap, O. Papini, and E. Würbel, Underwater archaeological 3D surveys validation within the removed sets framework, Symbolic and quantitative approaches to reasoning with uncertainty, pp.663-674, 2011.

R. Jeansoulin and O. Papini, Underwater archaeological knowledge analysis and representation in the venus project, 21th CIPA international symposium, anticipating the future of the cultural past, p.6, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00622317

E. Leclercq and M. Savonnet, Syst??me d???information pour la production de connaissances. L'approche wiki s??mantique, Ingénierie des Systèmes d'Information, pp.143-166, 2012.
DOI : 10.3166/isi.17.3.143-166

E. Leclercq, M. Savonnet, A. Troya-galvis, and S. Buttner, Investigating a multi-paradigm system for the management of archaeological data: Corpus Lapidum Burgundiae, 2013 Digital Heritage International Congress (DigitalHeritage), pp.679-682, 2013.
DOI : 10.1109/DigitalHeritage.2013.6743816

J. W. Lloyd, Foundations of logic programming. symbolic computation: Artificial intelligence, 1987.

L. A. Nguyen, A fixpoint semantics and an sld-resolution calculus for modal logic programs, Fundamenta Informaticae, vol.55, issue.1, pp.63-100, 2003.

L. A. Nguyen, The Modal Logic Programming System MProlog, Logics in artificial intelligence, pp.266-278, 2004.
DOI : 10.1007/978-3-540-30227-8_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.738

G. Piolle and Y. Demazeau, Une logique pour raisonner sur la protection des données personnelles, 16e congrès francophone sur la reconnaissance de formes et l'intelligence artificielle (RFIA'08), p.8, 2008.
DOI : 10.3166/ria.24.695-715

M. Skeels, B. Lee, G. Smith, and G. G. Robertson, Revealing uncertainty for information visualization, Information Visualization, vol.6, issue.1, pp.70-81, 2010.
DOI : 10.1109/38.689662
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.4315

P. Smets, Imperfect Information: Imprecision and Uncertainty, Uncertainty management in information systems, pp.225-254, 1997.
DOI : 10.1007/978-1-4615-6245-0_8

M. E. Szabo, The collected papers of gerhard gentzen, 1969.

J. Thomson, E. Hetzler, A. Maceachren, M. Gahegan, and M. Pavel, A typology for visualizing uncertainty, Electronic imaging 2005, pp.146-157, 2005.