Workshop Program
Day 1 (August 16th 2010) |
|
| 09h00 to 09h30 | Registration |
| 09h30 to 10h30 | Invited Talk: Ontology Dynamics, Belief Change, and Nonmonotonic Reasoning Tommie Meyer, Meraka Institute, South Africa |
Coffee Break (30 min) |
|
| 11h00 to 11h30 | More about AGM Revision in Description Logics Marcio Ribeiro, Renata Wassermann |
| 11h30 to 12h00 | Context and Intention in Ontologies Richard Wallace, Tabbasum Naz |
| 12h00 to 12h30 | Uncertainty Reasoning through Similarity in Context Claudia d'Amato, Nicola Fanizzi |
Lunch (1h30) |
|
| 14h00 to 14h30 | Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics Jos Lehmann, Alan Bundy, Michael Chan |
| 14h30 to 15h00 | Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology Adam Pease, Chris Benzmueller |
| 15h00 to 15h30 | Ontology Debugging with Truth Maintenance Systems Hai Nguyen, Natasha Alechina, Brian Logan |
Coffee Break (30 min) |
|
| 16h00 to 17h30 | Participants Discussion |
Day 2 (August 17th 2010) |
|
| 09h30 to 10h30 | Invited Talk: Diversity as a feature (towards diversity aware classifications navigation and
search) Fausto Giunchiglia, University of Trento, Italy |
Coffee Break (30 min) |
|
| 11h00 to 11h30 | Reasoning with Embedded Formulas and Modalities in SUMO Christoph Benzmuller, Adam Pease |
| 11h30 to 12h00 | A Contextual Approach to Detection of Conflicting Ontologies Michael Chan, Jos Lehmann, Alan Bundy |
| 12h00 to 12h30 | First Steps in the Computation of Root Justifications Thomas Meyer, Kodylan Moodley, Ivan Varzinczak |
Lunch (1h30) |
|
| 14h00 to 15h30 | Panel Discussion |
Coffee Break (30 min) |
|
| 16h00 to 17h30 | Business Meeting |
Please note: Preliminary Program may be subject to variations.
[arcoe-10] [submission [organization] [abstracts] [program] [links] [arcoe home]