| Vol-875 urn:nbn:de:0074-875-7 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# WoMO 2012
Workshop on Modular Ontologies

### Proceedings of the 6th International Workshop on Modular Ontologies

#### Workshop at the 7th International Conference on Formal Ontology in Information Systems (FOIS 2012)

### Graz, Austria, July 24, 2012.

Edited by

### Thomas Schneider *
Dirk Walther **

* Fachbereich 03, Universität Bremen, Germany
** Facultad de Informática, Universidad Politécnica de Madrid, Spain

## Table of Contents

Preface
Thomas Schneider, Dirk Walther

### Invited Talks

1. Distribution and Modularity in Nonmonotonic Logic Programming
   Thomas Eiter
2. Multi Context Logics: a Formal Framework for Structuring Knowledge
   Luciano Serafini

### Regular Papers

1. Structure Formation to Modularize Ontologies
   Serge Autexier, Dieter Hutter
2. Characterizing Modular Ontologies
   Sarra Ben Abbès, Andreas Scheuermann, Thomas Meilender, Mathieu d'Aquin
3. Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies
   Thierry Declerck, Dagmar Gromann
4. Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
   Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
5. LoLa: A Modular Ontology of Logics, Languages, and Translations
   Christoph Lange, Till Mossakowski, Oliver Kutz

### Short Papers

1. Proposal of a New Approach for Ontology Modularization
   Amir Souissi, Walid Chainbi, Khaled Ghedira
2. Distributed Reasoning with EDDLHQ+ SHIQ
   George A. Vouros, George M. Santipantakis

The whole proceedings can also be downloaded here.

26-Jul-2012: submitted by Thomas Schneider
30-Jul-2012: published on CEUR-WS.org
06-Dec-2013: added conference affiliation