Program

Schedule (Tuesday, August 21, 2007)

8:30-8:50	Registration
8:50-9:00	Welcome and Workshop Overview Organizers
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 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 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 (www.openk.org) 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 (www.openk.org) and was a principal investigator on the Advanced Knowledge Technologies research consortium (www.aktors.org), 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.