Computing Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning

Eric Würbel (1, 2) , Mohamed Ben Ellefi (1) , Pierre Drap (1) , Laurent Garcia (3) , Fabien Garreau (3) , Claire Lefèvre (3) , Odile Papini (1, 2) , Igor Stéphan (3)

1 LIS - Laboratoire d'Informatique et Systèmes
2 LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre
3 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers

This paper deals with querying ontology-based knowledge bases equipped with non-monotonic rules through a case study within the framework of Cultural Heritage. It focuses on 3D underwater surveys on the Xlendi wreck which is represented by an OWL2 knowledge base with a large dataset. The paper aims at improving the interactions between the archaeologists and the knowledge base providing new queries that involve non-monotonic rules in order to perform qualitative spatial reasoning. To this end, the knowledge base initially represented in OWL2-QL is translated into an equivalent Answer Set Programming (ASP) program and is enriched with a set of non-monotonic ASP rules suitable to express default and exceptions. An ASP query answering approach is proposed and implemented. Furthermore due to the increased expressiveness of non-monotonic rules it provides spatial reasoning and spatial relations between artifacts query answering which is not possible with query answering languages such as SPARQL and SQWRL.

Domains: Computer Science [cs]; Artificial Intelligence [cs.AI]; Computer Science [cs]; Logic in Computer Science [cs.LO]; Computer Science [cs]; Image Processing [eess.IV]

Eric Würbel, Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, et al.. Computing Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning. 5th Global Conference on Artificial Intelligence, Sep 2019, Bolzano, Italy. pp.1-14. ⟨hal-02332016⟩