Location DFKI, room "Turing" (see also: How to get there ) Wednesday, May 3, 2006 | 13:00 | Registration | 13:10 - 13:30 | Presentation of DFKI (Reinhard Karger) and SIG Philosophy and Informatics (Bertin Klein) | 13:30 - 14:30 | Barry Smith, “Ontology and the Future of Biomedical Research” | 14:30 - 14:50 | Coffee break | 14:50 - 15:30 | Ludger Jansen, “The Ontology of Tendencies and Medical Information Sciences”
| 15:30 - 15:40 | Break | 15:40 - 16:20 | Olav K.Wiegand, “A Formalism Supplementing Cognitive Semantics Based on a New Approach to Mereology” | 16:20 - 16:50 | Coffee break | 16:50 - 18:00 | (a) Dieter Fensel and Dieter Wolf, “The Scientific Role of Computer Science in the 21st Century” (b) Critical Comments by Gregor Büchel (c) General Discussion | 18:00 - 19:00 | SIG Philosophy and Informatics Community Meeting (GI Meeting) | 19:30 - | Dinner | Thursday, May 4, 2006 | 09:10 - 9:50 | Ingvar Johansson, “Four Kinds of ‘Is_A’ Relations: genus-subsumption, determinable-subsumption, specification, and specialization” | | 09:50 - 10:00 | Break | | 10:00 - 10:40 | Marcus Spies and Christophe Roche, “Aristotelian ontologies and OWL modeling” | | 10:40 - 11:00 | Coffee break | | 11:00 - 11:40 | C. Maria Keet, “Representations of the ecological niche” | | 11:40 - 12:00 | Presentation of IFOMIS and the project ACGT (Mathias Brochhausen) | | 12:00 - 13:30 | Lunch | | 13:30 - 14:10 | Eric Little, “The Need for Metaphysically-based Ontologies in Higher-level Information Fusion Applications” | | 14:10 - 14:30 | Coffee break | | 14:30 - 15:10 | Stephan Cursiefen, “An Externalist Way to Avoid Logical Omniscience Without Getting Logically Ignorant” | | 15:10 - 15:20 | Break | | 15:20 -16:00 | Francis Rousseaux and Thomas Bouaziz, “Why Not Imitate Collectors Using their Desire to Address our Content Browsing Issues?” | | 16:00 | Concluding words about the next WSPI meeting |
|