[bull-ia] Call for participation ONTOLP 2016

Apologies for multiple copies. 
Thank you for distributing this call for participation
=0A=

=0A=

CALL FOR PARTICIP=
ATION =0A=
=0A=

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

=0A=

The second edition of this international workshop is affiliated with the 25th International Joint Conference on Ar=
tificial Intelligence (I=
JCAI-2016, http:/=
/ijcai-16.org) and will take=
place in New Yor=
k, USA, July 11th 2016 .

=0A=

The aim of this wor=
kshop is to bridge knowledge representation and reasoning in artifici=
al intelligence and web =
of knowledge communities in order to encourage the emergence=
of new solutions for reasoning with lightweight ontologies.=0A=

– Query answering while taking ontologies into account.
– Non monotonic reasoni=
ng for inconsistency handling and excepti=
on handling and expressing default negations in ontologies.
=0A=

PROGRAM
=0A=

13:30 Welcome
=0A=

13:35-14:30 Invited talk
=0A=

Micha=EBl Thomazo=

From Logical Query Rewriting to Plan Selecti=
on for Ontology-Based Query Answering

=0A=

14:30-15:00 Diego=
Calvanese, Elem Guzel Kala=
yci, Vladislav Ryzhikov, Guohui Xiao and Michael Zakharyaschev

Metric Temporal Logic for Ontology-Based Data Access over Log =
Data

=0A=

15:00-15:30 Jean-Fran=E7ois Baget, Salem Benferh=
at, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papi=
ni, Swan Rocher, =
Karim Tabia

A unified framework for inconsistency-tolerant query answering=
: Rational properties an=
d complexity
=0A=

15:30-16:00 Coffee break
=0A=

16:00-16:30 Daniel P. Lu=
pp, Evgenij Thorstensen.

Mapping Data to Ontologies Using Answer Set P=
rogramming

=0A=

16:30-17:00 Rachel Ben-E=
liyahu-Zohary

Monotonic Qualita=
tive Disjunctive Logic Programs – A Preliminary Report

=0A=

17:00-17:30 Jean-Fran=E7ois Baget, Zied Bouraoui , Farid Nouioua, Odile Papini, Swan R=
ocher and Eric W=FCrbel

Existential ASP for computing repairs with existential ontolog=
ies

=0A=

=0A=

 

 

Odile Papini – Professeur – POLYTECH
Aix-Marseille Universit=
=E9 – 
Lumin=
y. 163 avenue de Luminy. Case 901. 13009 Marseille 
http://odile.papini.per=
so.luminy.univ-amu.fr  
T=E9l: +33(0)4 91 8=
2 85 30 – Fax : +33(0)4 91 82 85 21
Site : htt=
p://www.univ-amu.fr – Email : odile.papini@univ-amu.fr
Afin de respecter l’environnement, merci de n’imprimer=
cet email que si n=E9cessaire.