[DL] Final CfP+deadline extension: WoMO 2012 - 6th Int'l Workshop on Modular Ontologies

[WoMO 2012]

========================================================
     6th Int'l Workshop on Modular Ontologies (WoMO)
              Graz, Austria, July 24, 2012
           held in conjunction with FOIS 2012

             --- Final Call for Papers ---
========================================================
   +++ EXTENDED SUBMISSION DEADLINE: May 18, 2012 +++
========================================================

+++ Following requests, we have extended the submission deadline to
MAY 18, 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 18, 2012
Notification: June 19, 2012
Camera ready: July 6, 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 18, 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:

Kenneth Baclawski, Northeastern University, Boston, MA, USA
Stefano Borgo, Italian National Research Council, Trento, Italy
Oscar Corcho, Universidad Politecnica de Madrid, Spain
Bernardo Cuenca Grau, University of Oxford, UK
Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA
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
Leo Obrst, MITRE, McLean, VA, USA
Adrian Paschke, Free University of Berlin, Germany
David Perez del Rey, Universidad Politecnica de Madrid, Spain
Uli Sattler, University of Manchester, UK
Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy