24 July 2012
Graz, Austria
========================================================
6th Int'l Workshop on Modular Ontologies (WoMO)
Graz, Austria, July 24, 2012
held in conjunction with FOIS 2012
--- Second Call for Papers ---
========================================================
Submission deadline: May 11, 2012
========================================================
INVITED SPEAKERS:
* Thomas Eiter, Vienna University of Technology, Austria
Title TBA
* Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy
Multi context logics: a formal support for structuring knowledge and
beliefs (Tentative title)
http://www.informatik.uni-bremen.de/~ts/womo2012
MODULARITY, studied for years in software engineering, allows
mechanisms for easy and flexible reuse, generalization, structuring,
maintenance, design patterns, and comprehension. In formal and applied
ontology, modularity is central to reducing the complexity of
designing and understanding ontologies, and to facilitating ontology
verification, reasoning, development, maintenance and integration.
Recent research on ontology modularity shows substantial progress in
foundations of modularity, techniques of modularization and modular
development, distributed reasoning and empirical evaluation. These
results provide a solid foundation and exciting prospects for further
research and development.
The workshop continues a series of successful events that have been an
excellent venue for practitioners and researchers to discuss latest
and current work; the most recent WoMOs were held at FOIS 2010 and
ESSLLI 2011.
TOPICS include, but are not limited to:
- What is modularity?: kinds of modules and their properties; modules
vs. contexts; design patterns; granularity of representation;
- Logical/foundational studies: conservativity; modular ontology
languages; reconciling inconsistencies across modules; formal
structuring of modules; heterogeneity;
- Algorithmic approaches: distributed and incremental reasoning;
modularization and module extraction; sharing, linking, reuse;
privacy; evaluation of modularization approaches; complexity of
reasoning; implemented systems;
- Applications: semantic web; life sciences; bio-ontologies; natural
language processing; space and time; ambient intelligence; social
intelligence; collaborative ontology development and ontology
versioning.
IMPORTANT DATES
Paper Submission: May 11, 2012
Notification: June 12, 2012
Camera ready: July 1, 2012
Workshop: July 24, 2012
SUBMISSION GUIDELINES:
We welcome submissions on modularity in a broad sense. The workshop is
open to papers of theoretical or practical nature. Submissions should
be of up to 11 pages in length, formatted according to Springer LNCS
style (see http://www.springer.com/comp/lncs/Authors.html ), prepared
in PDF format and submitted no later than May 11, 2012, through the
EasyChair Submission System (see
http://www.easychair.org/conferences/?conf=womo2012 ).
Submitted papers will be peer-reviewed by members of the program
committee. Accepted papers will be made available in the proceedings
to be published electronically in the CEUR Workshop Proceedings series
(see http://www.ceur-ws.org ).
(Find the WoMO 2010 and 2011 proceedings here
http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 and
http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369 )
WORKSHOP CHAIRS:
Thomas Schneider, University of Bremen, Germany
Dirk Walther, Technical University of Madrid (UPM), Spain
PROGRAM COMMITTEE (TENTATIVE):
Stefano Borgo, Italian National Research Council, Trento, Italy
Oscar Corcho, Universidad Politecnica de Madrid, Spain
Bernardo Cuenca Grau, University of Oxford, UK
Silvio Ghilardi, Universita degli Studi di Milano, Italy
Michael Gruninger, University of Toronto, Canada
Janna Hastings, EMBL-EBI, Cambridge, UK
Robert Hoehndorf, University of Cambridge, UK
Boris Konev, University of Liverpool, UK
Roman Kontchakov, Birkbeck College, London, UK
Thomas Meyer, Meraka Institute, CSIR, Pretoria, South Africa
Till Mossakowski, University of Bremen, Germany
Immanuel Normann, Birkbeck College, London, UK
Adrian Paschke, Free University of Berlin, Germany
David Perez-Rey, Universidad Politecnica de Madrid, Spain
Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy