Soumis par dominguesw le mer, 10/26/2016 - 17:59
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