Schedule (Tuesday, August 21, 2007)

  8:30-8:50 Registration
  8:50-9:00 Welcome and Workshop Overview
  9:00-10:00 Invited Talk
Modularity in logical theories and ontologies
Frank Wolter
 10:00-11:00 Paper Presentation Session: Mining Context
 10:00-10:30 Textual inference logic: take two
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi,
Dick Crouch, Tracy Holloway King, Lauri Karttunen,
Rowan Nairn, Annie Zaenen
 10:30-11:00 Ontology-driven association rules extraction:
a case of study

Andrea Bellandi, Barbara Furletti, Valerio Grossi,
Andrea Romei
 11:00-11:30 Coffee Break
 11:30-12:30 Paper Presentation Session: Context and User
 11:30-12:00 The difference a day makes - recognizing important events in daily context logs
Michael Wessel, Marko Luther, Matthias Wagner
 12:00-12:30 The user model and context ontology GUMO revisited for future Web 2.0 extensions
Dominik Heckmann, Eric Schwarzkopf, Junichiro Mori, Dietmar Dengler, Alexander Kröner
 12:30-14:00 Lunch
 14:00-15:00 Invited Talk
Interaction as context: the OpenKnowledge experience
David Robertson
 15:00-15:30 Paper Presentation Session: Context and Matching
 15:00-15:30 Contexts and ontologies in schema matching
Paolo Bouquet (to be presented by Marco Cruciani)
 15:30-16:00 Coffee Break
 16:00-16:30 Paper Presentation Session: Context and Matching (cont'd)
 16:00-16:30 Context-sensitive referencing for ontology mapping disambiguation
Heiko Paulheim, Michael Rebstock, Janina Fengel
 16:30-17:30 Paper Presentation Session: Short Papers
 16:30-16:50 Ontologies as contexts for constraint-based reasoning
Richard Wallace, Tomas Nordlander, Ioannis Dokas
 16:50-17:10 Opinion nets for reasoning with uncertain
context information

Yves Vanrompay, Yolande Berbers
 17:10-17:30 Modeling Adaptive behavior with conceptual spaces
Michael Cebulla
 17:30-18:00 Discussion and Wrap-up

Invited Talks

Frank Wolter

 Frank Wolter
 University of Liverpool, UK

 Title: Modularity in logical theories and ontologies

Abstract: Modularity of logical theories is a classical subject in mathematical logic and philosophy of science. Due to the ever increasing size and complexity of logical theories that are used to represent ontologies and software specifications, the problem of defining appropriate notions of modularity and of providing reasoning support for dealing with modularity has recently become an important research topic also in these areas. In this talk, we introduce and survey recent progress in the field. We start with a general introduction to modularity in the context of propositional and first-order logic, highlighting the connection to classical notions such as conservative extensions and interpolation. We then switch to ontologies and description logics, introduce different notions of modularity, analyze their interrelation and possible use, and consider a variety of reasoning tasks such as the extraction of a module from an ontology.

About the Speaker: Frank Wolter is Professor for Logic and Computation at the Department of Computer Science, University of Liverpool. He is working in Knowledge Representation and Reasoning and Logic in Computer Science. His main interests are in Modal Logic (theory and applications), Description Logic and their application as ontology languages, Spatial and Temporal Reasoning, and Combining Logics. Frank Wolter is co-editor of the Handbook of Modal Logic (Elsevier, 2007) and co-author of the research monograph Many-dimensional Modal Logic: Theory and Applications (Elsevier, 2003). He is member of the Steering Committees `Advances in Modal Logic (AiML)', `Description Logic Workshop (DL),' and `Frontiers of Combining Systems (FroCoS)'.

David Robertson

 David Robertson
 University of Edinburgh, UK

 Title: Interaction as context:
 the OpenKnowledge experience

Abstract: Context often is viewed by traditional knowledge engineers as a problem: our beautifully crafted ontologies tend to break as we shift them from one context to another and then we become frustrated in our attempts to prevent such breakages by attempting to standardise across ontologies. The OpenKnowledge project ( has taken a different view; it accepts that context will radically influence the semantics of the knowledge conveyed during interaction between systems (both automated and human) and requires all knowledge sharing to be situated with respect to a (standardised) model of the interaction for which that knowledge is being shared. We have provided a lightweight infrastructure in which this sort of context can be shared at very low cost, providing a form of web service choreography in the process. With this infrastructure we then have a different starting point for addressing problems such as ontology mapping, service matchmaking and assessment of reputation of services.

About the Speaker: Dave Robertson is the Director of the Centre for Intelligent Systems and their Applications, part of the School of Informatics at the University of Edinburgh. His current research is on formal methods for coordination and knowledge sharing in distributed, open systems - the long term goal being to develop theories, languages and tools that out-perform conventional software engineering approaches in these arenas. He is coordinator of the OpenKnowledge project ( and was a principal investigator on the Advanced Knowledge Technologies research consortium (, which are major EU and UK projects in this area. His earlier work was primarily on program synthesis and on the high level specification of programs, where he built some of the earliest systems for automating the construction of large programs from domain-specific requirements. He has contributed to the methodology of the field by developing the use of "lightweight" formal methods - traditional formal methods made much simpler to use in an engineering context by tailoring them to a specific type of task. As an undergraduate he trained as a biologist and continues to prefer biology-related applications of his research, although methods from his group have been applied to other areas such as astronomy, simulation of consumer behaviour and emergency response.