[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