F. Baader and B. Hollunder, Embedding defaults into terminological knowledge representation formalisms, Journal of Automated Reasoning, vol.14, issue.1, pp.149-180, 1995.

F. Baader and B. Hollunder, Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic, Journal of Automated Reasoning, vol.15, issue.1, pp.41-68, 1995.

J. Baget, F. Garreau, M. Mugnier, and S. Rocher, Extending acyclicity notions for existential rules, ECAI 2014 -21st European Conference on Artificial Intelligence, pp.39-44, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092757

J. Baget, M. Leclère, M. Mugnier, S. Rocher, and C. Sipieter, Graal: A toolkit for query answering with existential rules, Rule Technologies: Foundations, Tools, and Applications -9th International Symposium, pp.328-344, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01172063

J. Baget, M. Leclère, M. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artif. Intell, vol.175, issue.9, pp.1620-1654, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00587012

J. Baget, L. Garcia, F. Garreau, C. Lefèvre, S. Rocher et al., Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin, Ann. Math. Artif. Intell, vol.82, issue.1-3, pp.3-41, 2018.
URL : https://hal.archives-ouvertes.fr/lirmm-01934731

C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, 2003.

G. F. Bass and D. Rosencrantz, Submersibles in underwater search and photogrammetric mapping, Underwater archaeology. A nascent discipline, vol.13, pp.271-283, 1972.

M. Ben-ellefi, P. Drap, O. Papini, D. Merad, J. Royer et al., Ontology-based web tools for retrieving photogrammetric cultural heritage models, ISPRS-International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, pp.31-38, 2019.

M. Ben-ellefi, O. Papini, D. Merad, J. Boï, J. Royer et al., Cultural heritage resources profiling: Ontology-based approach, Companion of the The Web Conference 2018 on The Web Conference, pp.1489-1496, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02049498

P. Bonatti, Rational closure for all description logics, Artificial Intelligence, vol.274, pp.197-223, 2019.

P. A. Bonatti, M. Faella, I. M. Petrova, and L. Sauro, A new semantics for overriding in description logics, Artificial Intelligence, vol.222, pp.1-48, 2015.

P. A. Bonatti, C. Lutz, and F. Wolter, The complexity of circumscription in dls, Journal of Artificial Intelligence Research, vol.35, pp.717-773, 2009.

I. Donadello and L. Serafini, Integration of numeric and symbolic information for semantic image interpretation, Intelligenza Artificiale, vol.10, issue.1, pp.33-47, 2016.

F. M. Donini, D. Nardi, and R. Rosati, Description logics of minimal knowledge and negation as failure, ACM Transactions on Computational Logic (TOCL), vol.3, issue.2, pp.177-225, 2002.

P. Drap, D. Merad, B. Hijazi, L. Gaoua, M. Nawaf et al., Underwater photogrammetry and object modeling: A case study of xlendi wreck in malta, Sensors, vol.15, issue.12, p.29802, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02050163

P. Drap, O. Papini, J. Sourisseau, and T. Gambin, Ontology-based photogrammetric survey in underwater archaeology, The Semantic Web: ESWC 2017 Satellite Events -ESWC 2017 Satellite Events, pp.3-6, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02050114

T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits, Combining answer set programming with description logics for the semantic web, Artif. Intell, vol.172, pp.1495-1539, 2008.

S. Garlik and A. Seaborne, Sparql 1.1 query language, W3C: Available at, 2013.

M. Gebser, B. Kaufmann, and T. Schaub, Conflict-driven answer set solving: From theory to practice, Art. Intell, vol.187, pp.52-89, 2012.

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, Proc. of ICLP'88, pp.1070-1080, 1988.

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato, A non-monotonic description logic for reasoning about typicality, Artificial Intelligence, vol.195, pp.165-202, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01479546

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato, Semantic characterization of rational closure: From propositional logic to description logics, Artificial Intelligence, vol.226, pp.1-33, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01479541

G. Hiebel, M. Doerr, K. Hanke, and A. Masur, How to put archaeological geometric data into context? representing mining history research with cidoc crm and extensions, International Journal of Heritage in the Digital Era, vol.3, issue.3, pp.557-578, 2014.

I. Horrocks, P. Patel-scneider, H. Boley, S. Tabet, B. Grosof et al., Swrl: A semantic web rule language combining owl and ruleml, W3C: Available at, 2004.

P. Jezek and R. Moucek, Semantic framework for mapping object-oriented model to semantic web languages, Frontiers in Neuroinformatics, vol.9, issue.3, 2015.

M. Knorr, J. J. Alferes, and P. Hitzler, Local closed world reasoning with description logics under the wellfounded semantics, Artif. Intell, vol.175, issue.9, pp.1528-1554, 2011.

C. Lefèvre, C. Béatrix, I. Stéphan, and L. Garcia, Asperix, a first order forward chaining approach for answer set computing, Theory and Practice of Logic Programming, 2015.

N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob et al., The DLV system for knowledge representation and reasoning, ACM Trans. Comput. Log, vol.7, issue.3, pp.499-562, 2006.

C. Lopes, M. Knorr, and J. Leite, Nohr: Integrating XSB prolog with the OWL 2 profiles and beyond, Logic Programming and Nonmonotonic Reasoning -14th International Conference, pp.236-249, 2017.

B. Motik and R. Rosati, Reconciling description logics and rules, J. ACM, vol.57, issue.5, 2010.

I. Niemelä, Logic programs with stable model semantics as a constraint programming paradigm, AMAI, vol.25, issue.3-4, pp.241-273, 1999.

J. Pollio, Underwater Mapping with Photography and SONAR, Photogramm Eng, vol.37, issue.9, pp.955-968, 1971.

D. M. Rosencrantz, UNDERWATER PHOTOGRAPHY SYSTEMS, Photogramm Eng, vol.37, issue.9, pp.969-974, 1971.

T. Schaub, Here's the beef: Answer set programming !, Proc. of ICLP'08, pp.93-98, 2008.

G. Stevenson and S. Dobson, Sapphire: Generating Java Runtime Artefacts from OWL Ontologies, pp.425-436, 2011.

U. Straccia, Default inheritance reasoning in hybrid kl-one-style logics, In: IJCAI, vol.93, pp.676-681, 1993.