3rd CfP: 7th Int'l Workshop on Modular Ontologies (WoMO-13)

========================================================
      7th Int'l Workshop on Modular Ontologies (WoMO)
             Corunna, Spain, September, 2013
            held in conjunction with LPNMR 2013

              --- Third Call for Papers ---

       --- Student Travel Grants available ---
========================================================
            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.

STUDENT TRAVEL GRANTS: With the generous support of the IAOA, we are 
happy to provide funding to students. Priority will be given to student 
presenters and authors of accepted papers. More details will be 
published at a later date.

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). Proceedings of WoMO 2011 and 2012 can be found 
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:

Kenneth Baclawski, VIStology, Inc.
Eva Blomqvist, Linköping University
Alex Borgida, Rutgers University
Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento
Gerhard Brewka, University of Leipzig
Mike Dean, Raytheon BBN Technologies
Thomas Eiter, Technical University of Vienna
Pawel Garbacz, The John Paul II Catholic University of Lublin
Dagmar Gromann, Vienna University of Economics and Business
Michael Gruninger, University of Toronto
Robert Hoehndorf, University of Cambridge
Dieter Hutter, DFKI GmbH
Tomi Janhunen, Aalto University
Pavel Klinov, University of Ulm
Christoph Lange, University of Birmingham
Thomas Meyer, Centre for Artificial Intelligence Research, UKZN and 
CSIR Meraka
Leo Obrst, MITRE
Marco Schorlemmer, Artificial Intelligence Research Institute, IIIA, 
CSIC
Luciano Serafini, Fondazione Bruno Kessler
Dmitry Tsarkov, The University of Manchester

INVITED SPEAKERS: TBA

Received on Friday, 7 June 2013 13:00:40 UTC