[CEUR Workshop Proceedings] Vol-874⫷ Vol-875 ⫸Vol-876
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 E DDL HQ + 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