Topics

WASPIQ 2017
Workshop on ASP technologIes for Querying large scale multisource heterogeneous web information 2017
http://waspiq2017.lsis.org

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