<div dir="ltr"><div>========================================================</div><div> 7th Int'l Workshop on Modular Ontologies (WoMO)</div><div> Corunna, Spain, September, 2013</div><div> held in conjunction with LPNMR 2013</div>
<div><br></div><div> --- Final Call for Papers ---</div><div><span class="" style="white-space:pre"> </span></div><div>========================================================<span class="" style="white-space:pre"> </span> </div>
<div> +++ STUDENT TRAVEL GRANTS AVAILABLE +++</div><div><br></div><div> +++ EXTENDED SUBMISSION DEADLINE: July 12, 2013 +++</div><div>========================================================</div><div><br></div><div>
+++ Following requests, we have extended the submission deadline to July 12, 2013. +++</div><div><br></div><div>INVITED SPEAKERS:</div><div><br></div><div>* Till Mossakowski, University of Bremen, Germany</div><div><br></div>
<div>Till Mossakowski is extraordinary professor of computer science at the University of Bremen. He is a leading international figure in modular and heterogeneous specification of logical theories and ontologies.</div><div>
<br></div><div>* George Vouros, University of Piraeus, Greece</div><div><br></div><div>George Vouros is a professor in the Department of Digital Systems at the University of Piraeus. His research work spans from knowledge representation and reasoning, focusing on the engineering, acquisition, evolution, alignment, and coordination of ontologies, to multi-agent systems, focusing on agent organizations and their adaptation, agents' collaboration and coordination, and architectures of collaborative agents.</div>
<div><br></div><div><br></div><div><a href="http://www.iaoa.org/womo/2013.html">http://www.iaoa.org/womo/2013.html</a></div><div><br></div><div>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.</div>
<div><br></div><div>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.</div>
<div><br></div><div>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. </div>
<div><br></div><div>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.</div>
<div><br></div><div>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.</div>
<div><br></div><div>TOPICS include, but are not limited to:</div><div><br></div><div>- What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; </div>
<div><br></div><div>- 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.)</div>
<div><br></div><div>- Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; complexity of reasoning; implemented systems; </div><div><br></div>
<div>- 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;</div>
<div><br></div><div>- 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.</div>
<div><br></div><div><br></div><div>IMPORTANT DATES:</div><div><br></div><div>Paper Submission: July 12, 2013 (extended)</div><div>Notification: August 19, 2013</div><div>Camera ready: September 2, 2013</div><div>Workshop: September 15, 2013</div>
<div><br></div><div>SUBMISSION GUIDELINES:</div><div><br></div><div>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 <a href="http://www.springer.com/comp/lncs/Authors.html">http://www.springer.com/comp/lncs/Authors.html</a>), prepared in PDF format and submitted no later than the submission deadline, through the EasyChair Submission System (see <a href="http://www.easychair.org/conferences/?conf=womo2013">http://www.easychair.org/conferences/?conf=womo2013</a>).</div>
<div><br></div><div>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 <a href="http://www.ceur-ws.org">http://www.ceur-ws.org</a>). Proceedings of WoMO 2011 and 2012 can be found at <a href="http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369">http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369</a> and at <a href="http://ceur-ws.org/Vol-875/">http://ceur-ws.org/Vol-875/</a>.</div>
<div><br></div><div>WORKSHOP CHAIRS:</div><div><br></div><div>Torsten Hahmann, University of Toronto, Canada</div><div>David Pearce, Universidad Politecnica de Madrid, Spain</div><div>Chiara Del Vescovo, University of Manchester, UK</div>
<div>Dirk Walther, TU Dresden, Germany</div><div><br></div><div>PROGRAM COMMITTEE:</div><div><br></div><div>Kenneth Baclawski, Northeastern University, Boston, MA, USA </div><div>Eva Blomqvist, Linköping University, Sweden</div>
<div>Alex Borgida, Rutgers University, USA</div><div>Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy</div><div>Gerhard Brewka, University of Leipzig, Germany</div><div>Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA</div>
<div>Thomas Eiter, Technical University of Vienna, Austria</div><div>Pawel Garbacz, Catholic University of Lublin, Poland</div><div>Dagmar Gromann, Vienna University of Economics and Business, Austria</div><div>Michael Gruninger, University of Toronto, Canada</div>
<div>Robert Hoehndorf, University of Cambridge, UK</div><div>Dieter Hutter, DFKI GmbH, Bremen, Germany</div><div>Tomi Janhunen, Aalto University, Helsinki, Finland</div><div>Pavel Klinov, University of Ulm, Germany</div><div>
Christoph Lange, University of Birmingham, UK</div><div>Thomas Meyer, CSIR Meraka Institute, Pretoria, South Africa</div><div>Leo Obrst, MITRE, McLean, VA, USA</div><div>Marco Schorlemmer, IIIA-CSIC, Barcelona, Spain</div>
<div>Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy</div><div>Dmitry Tsarkov, The University of Manchester, UK</div><div><br></div></div>