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
End