<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM13</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Montpellier</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>France May</string-name>
        </contrib>
      </contrib-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Preface</title>
      <p>Developing ontologies is not an easy task and, as the ontologies grow in size,
they are likely to show a number of defects. Such ontologies, although often
useful, also lead to problems when used in semantically-enabled applications.
Wrong conclusions may be derived or valid conclusions may be missed. Defects
in ontologies can take different forms. Syntactic defects are usually easy to find
and to resolve. Defects regarding style include such things as unintended
redundancy. More interesting and severe defects are the modeling defects which
require domain knowledge to detect and resolve such as defects in the structure,
and semantic defects such as unsatisfiable concepts and inconsistent ontologies.
Further, during the recent years more and more mappings between ontologies
with overlapping information have been generated, e.g. using ontology alignment
systems, thereby connecting the ontologies in ontology networks. This has led
to a new opportunity to deal with defects as the mappings and other ontologies
in the network may be used in the debugging of a particular ontology in the
network. It also has introduced a new difficulty as the mappings may not always
be correct and need to be debugged themselves.</p>
      <p>The WoDOOM series deals with these issues. This volume contains the
proceedings of its second edition: WoDOOM13 - Second International Workshop on
Debugging Ontologies and Ontology Mappings held on May 27, 2013 in
Montpellier, France. WoDOOM13 was an ESWC 2013 (10th Extended Semantic Web
Conference) workshop.</p>
      <p>In his excellent invited talk, Heiner Stuckenschmidt proposed approaches for
debugging weighted ontologies. In this generalization of the classical debugging
problem, axioms in the ontology to be debugged have weights assigned and the
task is to remove axioms from this set such that the resulting model is consistent
and the sum of weights is maximal. Further, there were presentations of six full
papers. The topics included both detection and repair of defects. Several papers
used patterns for the detection. Regarding repairing wrong information, one
paper proposed a method for reformulating axioms with the aim to retain as much
information as possible. Another paper formalized the repairing of missing
information in ontologies as a new abductive reasoning problem. Finally, a recently
started EU project was presented in which ontology and mapping management
is one of the core components. Two of the papers were selected for republication
in the ESWC 2013 post-proceedings.</p>
      <p>The editors would like to thank the Program Committee for their work in
enabling the timely selection of papers for inclusion in the proceedings. We
also appreciate our cooperation with EasyChair as well as our publisher CEUR
Workshop Proceedings.</p>
      <p>May 2013</p>
      <sec id="sec-1-1">
        <title>Patrick Lambrix Guilin Qi Matthew Horridge Bijan Parsia</title>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>Workshop Organization</title>
      <sec id="sec-2-1">
        <title>Workshop Organizers</title>
        <sec id="sec-2-1-1">
          <title>Patrick Lambrix Guilin Qi Matthew Horridge Bijan Parsia</title>
        </sec>
      </sec>
      <sec id="sec-2-2">
        <title>Program Committee</title>
        <sec id="sec-2-2-1">
          <title>Link¨oping University, Sweden Southeast University, China Stanford University, USA University of Manchester, UK</title>
          <p>Samantha Bail University of Manchester, UK
Bernardo Cuenca Grau University of Oxford, UK
Jianfeng Du Guangdong University of Foreign Studies, China
Peter Haase fluid Operations, Germany
Aidan Hogan Digital Enterprise Research Institute, Ireland
Matthew Horridge Stanford University, USA
Maria Keet University of KwaZulu-Natal, South Africa
Patrick Lambrix Link¨oping University, Sweden
Yue Ma TU Dresden, Germany
Christian Meilicke University of Mannheim, Germany
Bijan Parsia University of Manchester, UK
Rafael Pen˜aloza TU Dresden, Germany
Guilin Qi Southeast University, China
Ulrike Sattler University of Manchester, UK
Stefan Schlobach Vrije Universiteit Amsterdam, The Netherlands
Bari¸s Sertkaya SAP Research Dresden, Germany
Kostyantyn Shchekotykhin University Klagenfurt
Kewen Wang Griffith University, Australia
Peng Wang Southeast University, China
Renata Wassermann University of Sao Paulo, Brazil
Fang Wei-Kleiner Link¨oping University, Sweden</p>
        </sec>
      </sec>
      <sec id="sec-2-3">
        <title>Invited talk</title>
      </sec>
      <sec id="sec-2-4">
        <title>Papers</title>
        <p>Debugging Weighted Ontologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .</p>
        <p>Heiner Stuckenschmidt
Repairing missing is-a structure in ontologies is an abductive reasoning
problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .</p>
        <p>Patrick Lambrix, Fang Wei-Kleiner, Zlatan Dragisic and Valentina
Ivanova
(*) Ontology Adaptation upon Updates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .</p>
        <p>Alessandro Solimando and Giovanna Guerrini
1
9
33
45
57
69
Papers marked with (*) were selected for republication in the ESWC 2013
postproceedings.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>