The ECAI-10 Workshop on

Automated Reasoning about Context and Ontology Evolution

ARCOE-10

August 16-17, 2010
Lisbon, Portugal

held at the

European Conference on Artificial Intelligence

arcoe-10 submission organization abstracts program links arcoe home

THIS PAGE CONTAINS ARCHIVAL INFORMATION ABOUT THE 2010 EDITION
GO TO ARCOE HOME FOR UP-TO-DATE INFORMATION



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]


last update: August 10th 2010