Embedding defaults into terminological knowledge representation formalisms, Journal of Automated Reasoning, vol.14, issue.1, pp.149-180, 1995. ,
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. ,
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
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
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
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
Knowledge Representation, Reasoning and Declarative Problem Solving, 2003. ,
Submersibles in underwater search and photogrammetric mapping, Underwater archaeology. A nascent discipline, vol.13, pp.271-283, 1972. ,
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. ,
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
Rational closure for all description logics, Artificial Intelligence, vol.274, pp.197-223, 2019. ,
A new semantics for overriding in description logics, Artificial Intelligence, vol.222, pp.1-48, 2015. ,
The complexity of circumscription in dls, Journal of Artificial Intelligence Research, vol.35, pp.717-773, 2009. ,
Integration of numeric and symbolic information for semantic image interpretation, Intelligenza Artificiale, vol.10, issue.1, pp.33-47, 2016. ,
Description logics of minimal knowledge and negation as failure, ACM Transactions on Computational Logic (TOCL), vol.3, issue.2, pp.177-225, 2002. ,
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
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
Combining answer set programming with description logics for the semantic web, Artif. Intell, vol.172, pp.1495-1539, 2008. ,
Sparql 1.1 query language, W3C: Available at, 2013. ,
Conflict-driven answer set solving: From theory to practice, Art. Intell, vol.187, pp.52-89, 2012. ,
The stable model semantics for logic programming, Proc. of ICLP'88, pp.1070-1080, 1988. ,
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
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
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. ,
Swrl: A semantic web rule language combining owl and ruleml, W3C: Available at, 2004. ,
Semantic framework for mapping object-oriented model to semantic web languages, Frontiers in Neuroinformatics, vol.9, issue.3, 2015. ,
Local closed world reasoning with description logics under the wellfounded semantics, Artif. Intell, vol.175, issue.9, pp.1528-1554, 2011. ,
Asperix, a first order forward chaining approach for answer set computing, Theory and Practice of Logic Programming, 2015. ,
The DLV system for knowledge representation and reasoning, ACM Trans. Comput. Log, vol.7, issue.3, pp.499-562, 2006. ,
Nohr: Integrating XSB prolog with the OWL 2 profiles and beyond, Logic Programming and Nonmonotonic Reasoning -14th International Conference, pp.236-249, 2017. ,
Reconciling description logics and rules, J. ACM, vol.57, issue.5, 2010. ,
Logic programs with stable model semantics as a constraint programming paradigm, AMAI, vol.25, issue.3-4, pp.241-273, 1999. ,
Underwater Mapping with Photography and SONAR, Photogramm Eng, vol.37, issue.9, pp.955-968, 1971. ,
UNDERWATER PHOTOGRAPHY SYSTEMS, Photogramm Eng, vol.37, issue.9, pp.969-974, 1971. ,
Here's the beef: Answer set programming !, Proc. of ICLP'08, pp.93-98, 2008. ,
Sapphire: Generating Java Runtime Artefacts from OWL Ontologies, pp.425-436, 2011. ,
Default inheritance reasoning in hybrid kl-one-style logics, In: IJCAI, vol.93, pp.676-681, 1993. ,