[Liste-proml] CFP - ONTOLP-2016 workshop @ IJCAI-2016

Nathalie Aussenac nathalie.aussenac-gilles at irit.fr
Lun 4 Avr 22:59:18 CEST 2016



Ontologies and Logic Programming for Query Answering




The international workshop Ontologies and Logic Programming for Query Answering is affiliated with the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016,http://ijcai-16.org) and will take place in New-York city, USA, july 9-11, 2016.


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.

The workshop focuses on languages and techniques that allow for:

- 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

* Rulelog

The workshop is expected to bring together people from different

research communities that are actively pursuing this line of



Paper submission


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 AAAI style according to the instructions at:


In both cases, all papers will be peer-reviewed.



Important dates


* Paper submission deadline: May 3, 2016

* Notification of acceptance: May 20, 2016

* Deadline for final camera ready copy: May 30, 2016

* workshop: Between July 9-11, 2016


Program Committee


Jean-François Baget (INRIA, Montpellier, France)

David Carral (Wright State University, Dayton, U.S.A.)

Madalina Croitoru (University of Montpellier 2, France)

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 (University of Lisbon,  Portugal)

Sylvain Lagrue (University of Artois, France)

Claire Lefèvre (University of Angers, France)

Joao Leite (University of Lisbon,  Portugal)

Thomas Lukasiewicz (University of Oxford. U.K.)

Robert E. Mercer (University of Western Ontario, Canada)

Thomas Meyer (University of Cape Town, South Africa)

Farid Nouioua (Aix Marseille University, France)

Guilin Qi (Southeast University, China)

Vincent Risch (Aix Marseille University, France)

Marie-Christine Rousset (University of Grenoble, France)

Torsten Schaub (University of Potsdam. Germany)

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)




Odile Papini (Aix-Marseille University, France)

Salem Benferhat (University of Artois, France)

Laurent Garcia (University of Angers, France)

Marie-Laure Mugnier (University of Montpellier 2, France)




Odile Papini,odile.papini at univ-amu.fr


This workshop receives support from ANR (French National Research Agency)


ASPIQ project reference ANR-12-BS02-0003. (http://aspiq.lsis.org/)

Odile Papini /- Professeur - POLYTECH/
Aix-Marseille Université - Luminy. 163 avenue de Luminy. Case 901. 13009 
Tél: +33(0)4 91 82 85 30 - Fax : +33(0)4 91 82 85 21
Site : http://www.univ-amu.fr - Email : odile.papini at univ-amu.fr 
<mailto:odile.papini at univ-amu.fr>
/Afin de respecter l'environnement, merci de n'imprimer cet email que si 

-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.lri.fr/pipermail/liste-proml/attachments/20160404/0e3feb60/attachment.html>

More information about the Liste-proml mailing list