========================================================
7th Int'l Workshop on Modular Ontologies (WoMO)
Corunna, Spain, September, 2013
held in conjunction with LPNMR 2013
--- First Call for Papers ---
========================================================
Submission deadline: July 5, 2013
========================================================
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 ESSLLI 2011 and FOIS/ICBO 2012. This time WoMO is
organised as a workshop of LPNMR 2013: the 12th International
Conference on Logic Programming and Non-monotonic Reasoning.
LPNMR is well-established as the main conference in the
field.
The workshop will be open to all attendants of LPMNR'13 and
its workshops. Workshop speakers will be required to register
for WoMO via the LPMNR'13 website. Registration for WoMO only
will be possible.
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: modular ontology languages;
reconciling inconsistencies across modules; formal structuring
of modules; heterogeneity; hybrid theories; intertheory
relations (conservativity, interpretability, strong
equivalence, inseparability, etc.)
- Algorithmic approaches: distributed and incremental
reasoning; modularization and module extraction; sharing,
linking, reuse; privacy; complexity of reasoning; implemented
systems;
- Evaluation of modularizations: case studies or other
analyses of ontology modularizations (why it is modularized in
a certain way, what does it address, how can it be improved);
how to measure the adequacy of a modularization; comparison of
modularizations with respect to philosophical, logical,
reasoning, cognitive, or social aspects;
- Applications: semantic web; life sciences; earth
sciences; bio-ontologies; natural language processing; space
and time; ambient intelligence; social intelligence;
technology and engineering; collaborative ontology development
and ontology versioning.
IMPORTANT DATES
Paper Submission: July 5, 2013
Notification: August 19, 2013
Camera ready: September 2, 2013
Workshop: September 15, 2013
SUBMISSION GUIDELINES:
We welcome submissions on modularity in a broad sense. The
workshop is open to papers of theoretical or practical nature
from various disciplines. Submissions can be long papers (11
pages) or short papers (5 pages), formatted according to
Springer LNCS style (see
http://www.springer.com/comp/lncs/Authors.html),
prepared in PDF format and submitted no later than the
submission deadline, through the EasyChair Submission System
(see
http://www.easychair.org/conferences/?conf=womo2013).
WORKSHOP CHAIRS:
Torsten Hahmann, University of Toronto, Canada
David Pearce, Universidad Politecnica de Madrid, Spain
Chiara Del Vescovo, University of Manchester, UK
Dirk Walther, TU Dresden, Germany
PROGRAM COMMITTEE: TBA
INVITED SPEAKERS: TBA