Workshop on ASP technologIes for Querying large scale multisource heterogeneous web information 2017
This international workshop is affiliated with the 30th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2017)
http://www.cril.univ-artois.fr/ieaaie2017/ and will take place in Arras, France

Tuesday June 27th

Université d'Artois. 9, rue du temple. Arras


13:15-13:45 Odile Papini
A guided tour of the ASPIQ project

13:45-14:30 Ivan Vrzinczak
Foundations and Challenges of Reasoning Defeasibly over DL Ontologies

14:30-15:00 Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel
ASP Query answering: Application to underwater archaeological surveys querying

15:00-15:30 Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel
A Semantic characterization for ASP base revision

15:30-16:00 Jean-François Baget
Computing repairs (and more) with Answer Set Programming

16:00-16:30 Coffee break

16:30-17:00 Zied Bouraoui, Salem Benferhat, Sylvain Lagrue and Karim Tabia
Ontological Query answering under Uncertainty and/or Inconsistency

17:00-17:45 Andrea Tettamanzi
Possibilistic Test of OWL Axioms under the Open-World Assumption


The aim of this workshop is to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies.

  • Query answering while taking ontologies into account.
  • Non monotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies.

Concerning the first point, a challenging issue is how to adapt or extend Answer Set Programming to represent ontological knowledge. In particular, can (a fragment of) ASP cover lightweight ontological languages while keeping decidability and efficiency?
Concerning the second point, a challenging issue is how to extend lightweight ontological languages with non-monotonic features, while keeping a good computational complexity. In particular,

  • how to embed exceptions-based and inconsistency tolerant-based reasoning in a tractable ontological language?
  • how to integrate uncertainty information in lightweight ontological languages?
  • how to define merging operations where both inputs and outputs are in lightweight ontological languages?

Topics of interest include but are not limited to:

  • Reasoning with lightweight ontologies
  • Reasoning with tractable fragments of OWL languages
  • Belief change & tractable Description logics
  • Reasoning on the web of data
  • Ontology-based data-access
  • Ontological query answering
  • Belief change & ASP
  • Datalog+/- & existential rules
  • ASP & description logics
  • ASP & uncertainty
  • First-order ASP


  • The authors should submit their paper via EasyChair:
  • We expect submissions of both mature and preliminary works. Long papers will not exeed 8 pages and short papers will not exceed 4 pages in pdf formatted using the Springer-Verlag style according to the instructions
  • http://www.springer.de/comp/lncs/authors.html


  • Paper submission Extended deadline: April 15th, 2017
  • Notification of acceptance: May 2rd, 2017
  • Deadline for final camera ready copy: May 20th, 2017
  • workshop (2 half days): between June 27th- june 30th , 2017


This workshop receives support from ANR (French National Research Agency), ASPIQ project reference ANR-12-BS02-0003. (http://www.agence-nationale-recherche.fr/)