| Vol-651 urn:nbn:de:0074-651-1 Copyright © 2010 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.

# IWOD-2010
4th International Workshop on Ontology Dynamics

### Proceedings of the 4th International Workshop on Ontology Dynamics

### Shangai, China, November 8, 2010.

Edited by

### Giorgos Flouris *
Guilin Qi **

* Institute of Computer Science (ICS) , Foundation for Research and Technology - Hellas (FORTH), GR-70013 Heraklion, Greece
** School of Computer Science and Engineering, Southeast University, 211189, Nanjing, China

## Table of Contents

- Preface

### Session 1: Stream Reasoning and Applications of Dynamic Ontologies

1. Interleaving Reasoning and Selection with Semantic Data (invited paper)
   Zhisheng Huang
2. Toward Dynamic Ontologies for the Industrial Manufacturing Domain
   Ramos Luis
3. Ontological Stream Reasoning via Syntactic Approximation
   Yuan Ren, Jeff Z. Pan, Yuting Zhao

### Session 2: Ontology Evolution

4. Ontology Evolution in Data Integration
   Haridimos Kondylakis, Dimitris Plexousakis, Yannis Tzitzikas
5. Unsupervised Conflict-Free Ontology Evolution Without Removing Axioms
   Thomas Scharrenbach, Claudia d'Amato, Nicola Fanizzi, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein
6. Formalizing and Verifying Authenticity over Assertion Changes for An Interaction Protocol
   Xiaolie Ye, Lejian Liao

19-Oct-2010: submitted by Giorgos Flouris
20-Oct-2010: published on CEUR-WS.org