Schedule

July 26

8:45 –  9:00   Opening

9:00 – 10:00  KEYNOTE FOfAI: Tommie Meyer (University of Cape Town, South Africa)

10:00 – 10:30  Julien Corman, Nathalie Aussenac-Gilles and Laure Vieu: “Prioritized base Debugging in Description Logics”

10:30 – 11:00  Coffee Break

11:00 – 11:30  Madalina Croitoru and Ricardo Oscar Rodriguez: “Using Kernel Consolidation for Query Answering in Inconsistent OBDA”

11:30 – 12:00 Tobias Kaminski, Matthias Knorr and Joao Leite: “Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies”

12:00 – 12:30 Rafael Peñaloza and Aparna Saisree Thuluva:  “Iterative Ontology Updates Using Context Labels”