Skip Navigation
NIH | National Cancer Institute | NCI Wiki   New Account Help Tips
Skip to end of metadata
Go to start of metadata
Conference Highlights

Date: July 24th 2012

Location: Graz, Austria

Website: WoMO 2102

Held in conjunction with: FOIS 2012

Overview

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 2012

Topics of Interest

Topics include, but are not limited to:

  1. What is modularity: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation;
  2. Logical/foundational studies: conservativity; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity;
  3. Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; evaluation of modularization approaches; complexity of reasoning; implemented systems;
  4. Applications: semantic web; life sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; collaborative ontology development and ontology versioning.

Invited Speakers

Thomas Eiter, Vienna University of Technology, Austria

 Title TBA

Luciano Serafini  Fondazione Bruno Kessler, Trento, Italy

  1. Multi context logics: a formal support for structuring knowledge and beliefs (tentative title)

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

http://home.comcast.net/~mdeanbbn/

http://home.comcast.net/~mdeanbbn/

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

Immanuel Normann, Birkbeck College, London, UK

http://vili.dcs.bbk.ac.uk/dept/staffperson05.asp?name=immanuelTill Mossakowski, University of Bremen, Germany

Leo Obrst, MITRE, McLean, VA, USA

Adrian Paschke, Free University of Berlin, Germany

David Perez del Rey, Universidad Politecnica de Madrid, Spain

Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy

Submission

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 http://www.dia.fi.upm.es/~dwalther/ LCNS Springer prepared in PDF format and submitted no later than May 11, 2012, through the Easy Chair Submission System (see Easychair ).

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

WoMO 2010 and 2011 proceedings

2010 Proceedings

2011 Proceedings

Key Dates

Date

Event

May 11, 2012

Paper Submission

June 12 2012

Notification

July 1, 2012

Camera-ready ..

July 24, 2012

Workshop

More Conferences

To see a list of other meetings and conferences:

Future Meetings

Past Meetings

  • No labels