Logic List Mailing Archive

WoMO 2013: Modular Ontologies

15 Sep 2013
Corunna, Spain

========================================================
      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
========================================================

http://www.iaoa.org/womo/2013.html

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).

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 proceedings of WoMO 2011 and 2012 at
http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369 and at
http://ceur-ws.org/Vol-875/)

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