[PlanetKR] [call for participation] Ontologies and Logic Programming for Query Answering

Xun Wang wang.xun at gmail.com
Sat Jun 18 11:05:57 EST 2016


*************************************************
Apologies for multiple copies. 
Thank you for distributing this call for participation


CALL
 FOR PARTICIPATION 


ONTOLP-2016 (W40)
Ontologies and Logic Programming for Query Answering
http://ontolp.lsis.org

The second edition of this international workshop is affiliated with the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016, http://ijcai-16.org) and will take place in New York, USA, July 11th 2016 .

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.

PROGRAM 

13:30 Welcome

13:35-14:30 Invited talk

Michaël Thomazo
From Logical Query Rewriting to Plan Selection for Ontology-Based Query Answering

14:30-15:00 Diego Calvanese, Elem Guzel Kalayci, Vladislav Ryzhikov, Guohui Xiao and Michael Zakharyaschev 
Metric Temporal Logic for Ontology-Based Data Access over Log Data

15:00-15:30 Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
A unified framework for inconsistency-tolerant query answering: Rational properties and complexity

15:30-16:00 Coffee break

16:00-16:30 Daniel P. Lupp, Evgenij Thorstensen.
Mapping Data to Ontologies Using Answer Set Programming

16:30-17:00 Rachel Ben-Eliyahu-Zohary
Monotonic Qualitative Disjunctive Logic Programs - A Preliminary Report

17:00-17:30 Jean-François Baget, Zied Bouraoui , Farid Nouioua, Odile Papini, Swan Rocher and Eric Würbel 
Existential ASP for computing repairs with existential ontologies


​
Odile Papini - Professeur - POLYTECH
Aix-Marseille Université - Luminy. 163 avenue de Luminy. Case 901. 13009 Marseille 
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 - Email : odile.papini at univ-amu.fr
Afin de respecter l'environnement, merci de n'imprimer cet email que si nécessaire.


More information about the PlanetKR mailing list