JOWO 2015 Program

Day I, July 25, ONTOLP

08:30-08:45 Opening

08:45-09:40 Keynote ONTOLP: Steven Schockaert (Cardiff University): Extending Answer Set Programming using Generalized Possibilistic Logic

Logic Programming I

09:40-10:30 Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi: Logic Programming Techniques for Reasoning with Probabilistic Ontologies

Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan. exists-ASP

10:30-11:00 Coffee break

Description Logic

11:00-12:15 Veronica Dahl, Sergio Tessaris, Thom Fruehwirth: "Imperfect Querying through Womb Grammars plus Ontologies"

Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza: "Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++"

Nuno Costa, Matthias Knorr, Joao Leite: "Extending NoHR for OWL 2 QL"

12:45-13:45 Lunch break

13:45 -14:40 Invited talk: Andreas Pieris: "From Classical to Consistent Query Answering under Existential Rules"

Logic Programming II

14:40-15:30 Cristina Feier, Thomas Eiter: "Reasoning with Forest Logic Programs Using Fully Enriched Automata"

Ricardo Gonçalves: "Combining rules and ontologies via parametrized logic programming"

15:30-16:00 Coffee break

Inconsistency Handling

16:00-17:30 Cristhian Ariel David Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Simari: "On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog+-"

Badrinath Jayakumar, Rajshekhar Sunderraman: "Paraconsistent Relational Model: A Quasi-Classic Logic Approach"

Zied Bouraoui, Salem Benferhat, Sylvain Lagrue, Julien Rossit: "Merging Incommensurable Possibilistic DL-Lite Assertional Bases"

17:15-17:45 Concluding discussion

Day II, July 26, OntoChange, WoMO, FOfAI

08:45-09:00 Opening

09:00-10:30 Keynote OntoChange / FOfAI: Tommie Meyer (University of Cape Town, South Africa)

Julien Corman, Nathalie Aussenac-Gilles and Laure Vieu: “Prioritized Base Debugging in Description Logics”

10:30-11:00 Coffee break

Chair: TBA

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

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

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

12:45-13:45 Lunch break

Chair: TBA

13:45-15:30 Keynote WoMO: Carsten Lutz (University of Bremen, Germany): “Complexity and Expressive Power of Ontology-Based Data Access”

Stefano Borgo: “Towards ontology composition from cognitive libraries”

15:30-16:00 Coffee break

Chair: TBD

16:00-17:45 Jose Martin Lozano Aparicio, Joel Luis Carbonera and Mara Abel: “A novel approach for extracting well-founded ontology views”

Filipe Polizel, Sara Casare and Jaime Sichman: “OntoBacen: a modular ontology for risk management in the Brazilian financial system”

Rogelio Nazar and Irene Renau: “Ontology population using corpus statistics”

Germán Braun, Laura Cecchi and Pablo Fillottrani: “Integrating graphical support with reasoning in a methodology for ontology evolution”

From 19:00 Workshop dinner

Day III, July 27, FOfAI

08:45-09:00 Opening

Chair: TBA

09:00-10:30 Tim Fernando: “Two perspectives on change and institutions”

Ayako Nakamura, Koji Mineshima and Daisuke Bekki: "Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics"

Daniel de Leng and Fredrik Heintz.: "Ontology-Based Introspection in Support of Stream Reasoning"

10:30-11:00 Coffee break

Chair: TBA

11:00-12:45 Rajesh Tavva and Navjyoti Singh: “Generative Ontology of Vaisesika”

Pawel Garbacz: “Two Demarcation Problems In Ontology”

Giancarlo Guizzardi, João Paulo Andrade Almeida, Nicola Guarino and Victorio Carvalho: “Towards an Ontological Analysis of Powertypes”

12:45-13:45 Lunch break

Chair: TBA

13:45-15:30 Keynote FOfAI: Diego Calvanese (Free University of Bozen-Bolzano, Italy)

Emily Leblanc, Duc Nguyen, Marcello Balduccini, William Regli, Joseph Kopena and Thomas Wambold: “Military Ontologies for Information Dissemination at the Tactical Edge”

15:30-16:00 Coffee break

Chair: TBD

16:00-17:45 JOWO Panel - Topic: "The future of ontology-based semantic technologies in AI – is there one?"
Participants: Tommie Meyer, Diego Calvanese, Odile Papini, Riichiro Mizoguchi, Stefano Borgo

From 19:00