[PlanetKR] call for paper WASPIQ2017 [correction]

[Xun Wang]

*************************************************
Apologies for multiple copies. 

1st CALL FOR PAPER  WASPIQ 2017
********************************************

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

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/ <http://www.cril.univ-artois.fr/ieaaie2017/> and will take place in Arras, France between June 27th and June 30th, 2017

WORKSHOP DESCRIPTION
*******************
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

SUBMISSIONS
***********
The authors should submit their paper via EasyChair:
https://easychair.org/conferences/?conf=waspiq2017 <https://easychair.org/conferences/?conf=waspiq2017>

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 <http://www.springer.de/comp/lncs/authors.html>

IMPORTANT DATES
***************
Paper submission deadline: March 10th, 2017
Notification of acceptance: April 10th, 2017
Deadline for final camera ready copy: May 10th, 2017
workshop (2 half days): between June 27th- june 30th, 2017

Program COMMITTEE
*****************
Jean-François Baget (INRIA, Montpellier, France)
Zied Bouraoui (Cardiff University. U.K.)
David Carral (Wright State University, Dayton, U.S.A.)
Jim Delgrande (Simon Fraser University, Vancouver. Canada)
Thomas Eiter (Vienna University of Technology. Austria)
Eduardo Fermé(University of Madeira, Portugal)
Sergio Alejandro Gomez (Universidad Nacional del Sur Alem, Argentina)
Fabio Grandi (University of Bologna, Italy)
Amanda Hicks (University of Florida, U.S.A.)
Gabriele Kern-Isberner (University of Dortmund , Germany)
Matthias Knorr (New University of Lisbon, Portugal)
Sylvain Lagrue (University of Artois, France)
Claire Lefèvre (University of Angers, France)
Joao Leite (New University of Lisbon, Portugal)
Thomas Lukasiewicz (University of Oxford. U.K.)
Farid Nouioua (Aix Marseille University, France)
Vincent Risch (Aix Marseille University, France)
Marie-Christine Rousset (University of Grenoble, France)
Steven Schockaert (Cardiff University. U.K.)
Guillermo Simari (University Bahia blanca, Argentina)
Igor Stephan (University of Angers, France)
Umberto Straccia (CNR, Pisa, Italy)
Karim Tabia (University of Artois, France)
Stefan Woltran (Vienna University of Technology, Austria)
Eric Würbel (Aix Marseille University, France)
  
CONTACT
*******
Odile Papini, odile.papini at univ-amu.fr <mailto:odile.papini at univ-amu.fr>
Salem Benferhat, benferhat at cril.fr <mailto:benferhat at cril.fr>
Laurent Garcia, garcia at info.univ-angers.fr <mailto:garcia at info.univ-angers.fr>
Marie-Laure Mugnier, mugnier at lirmm.fr <mailto:mugnier at lirmm.fr>

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





Odile Papini - Professeur - POLYTECH
Aix-Marseille Université - Luminy. 163 avenue de Luminy. Case 901. 13009 Marseille 
http://odile.papini.perso.luminy.univ-amu.fr <http://odile.papini.perso.luminy.univ-amu.fr/>  
Tél: +33(0)4 91 82 85 30 - Fax : +33(0)4 91 82 85 21
Site : http://www.univ-amu.fr <http://www.univ-amu.fr/> - Email : odile.papini at univ-amu.fr <mailto:odile.papini at univ-amu.fr>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20170210/70403671/attachment.html