Third International Workshop on
Debugging Ontologies and Ontology Mappings
May 26, 2014
WoDOOM14 is an ESWC 2014 workshop.
Lambrix P, Qi G, Horridge M, Parsia B., (eds),
Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings, (Anissaras/Hersonissou, Greece), CEUR Workshop Proceedings Volume 1162, 2014.
Motivation and objectives
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.
Topics of interest
This workshop intends to be a forum where issues in debugging ontologies and mappings between ontologies are discussed.
Topics of interest include, but are not limited to:
Foundations for revising networks of ontologies.
- detecting and repairing semantic defects in ontologies
- detecting and repairing modeling defects in ontologies
- detecting and repairing defects in the structure of ontologies
- detecting and repairing defects in mappings between ontologies
- debugging ontology networks
- debugging modular ontologies
- debugging defects in linked data
- belief revision for debugging
- ontology patterns for debugging
- interactive ontology debugging
- visualization for ontology debugging
- connection of ontology debugging with other ontology engineering tasks (e.g. ontology development, ontology alignment, ontology comprehension, ontology sense making, ontology evolution, ontology enrichment)
- case studies
The framework of belief revision has been studied for years in the context of logic theories.
It has been considered several times for description logics and more recently for aligned ontologies.
We consider more generally the problem of revising a network of ontologies:
given a set of ontologies connected by alignments, how to evolve them such that they account for new information, i.e., new formulas or correspondences.
Revision is a typical problem of the semantic web due to its open nature.
There are two extreme ways to approach this problem: on the one hand, transforming the network of ontologies in a single logic theory and applying classical revision; on the other hand, applying revision locally to each ontology and to each alignment and communicating the changes to related elements.
We keep a middle term between these two approaches: local revision alone is not sufficient to revise networks of ontologies but preserving the separation of ontologies and alignments can be exploited by revision.
We first use existing semantics of networks of ontologies for defining the notions of closure and consistency for networks of ontologies.
Inconsistency can come from two different sources: local inconsistency in a particular ontology or alignment, and global inconsistency between them.
Revision, in turn, can affect any of these components: retracting assertions from closed ontologies, like in classical belief revision, or correspondences from closed alignments, like in current alignment repair.
Then, we define revision postulates for networks of ontologies and we show that revision cannot be simply based on local revision operators on both ontologies and alignments: they may fail to reach a consistent network of ontologies although solutions exist.
We define a global revision operator by adapting the partial meet revision framework to networks of ontologies.
We show that it indeed satisfies the revision postulates.
Finally, we discuss strategies based on network characteristics for designing concrete revision operators.
14:35-15:20 Invited talk: Jerome Euzenat.
Foundations for revising networks of ontologies.
Vojtech Svatek, Simone Serra, Miroslav Vacura, Martin Homola and Jan Kluka.
B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing.
Zlatan Dragisic, Patrick Lambrix and Fang Wei-Kleiner.
A System for Debugging Missing Is-a Structure in EL Ontologies.
15:40-16:00 (*) Jerome Euzenat.
First experiments in cultural alignment repair.
16:00-16:30 Coffee break
Repairing Learned Ontologies.
Identifying Wrong Links between Datasets by Multi-dimensional Outlier Detection.
Kostyantyn Shchekotykhin, Gerhard Friedrich, Patrick Rodler and Philipp Fleiss.
Interactive Ontology Debugging using Direct Diagnosis.
The paper marked with * was selected by the ESWC committee for the 'Best of Workshops' session at ESWC14.
Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, follow Springer LNCS format, and be submitted in PDF.
We invite the following types of submissions:
- Research papers (up to 12 pages).
- Experience papers (up to 12 pages).
- Poster papers (up to 8 pages).
- System/demonstration (up to 8 pages).
As last year, we expect to publish accepted papers in CEUR Workshop Proceedings.
- Submission: March 17, 2014 (extended)
- Notification: April 1, 2014
- Camera-ready: April 15, 2014
Note that workshop attendees cannot register for the workshop only, but need to
register for the main conference, as well.
- Grigoris Antoniou, University of Huddersfield, UK
- Samantha Bail, University of Manchester, UK
- Oscar Corcho, Universidad Politécnica de Madrid, Spain
- Ronald Cornet, Universiteit van Amsterdam, The Netherlands and Linköping University, Sweden
- Bernardo Cuenca-Grau, University of Oxford, UK
- Jerome Euzenat, INRIA, France
- Peter Haase, fluid Operations, Germany
- Matthew Horridge, Stanford University, USA
- Maria Keet, University of KwaZulu-Natal, South Africa
- Patrick Lambrix, Linköping University, Sweden
- Yue Ma, TU Dresden, Germany
- Christian Meilicke, Mannheim University, Germany
- Tu Anh T. Nguyen, Open University, UK
- Bijan Parsia, University of Manchester, UK
- Rafael Penaloza, TU Dresden, Germany
- Guilin Qi, Southeast University, China
- Uli Sattler, University of Manchester, UK
- Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands
- Baris Sertkaya, SAP Research Dresden, Germany
- Kostyantyn Shchekotykhin, Klagenfurt University, Austria
- Kewen Wang, Griffith University, Australia
- Renata Wassermann, University of Sao Paulo, Brazil
- Fang Wei-Kleiner, Linköping University, Sweden