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

    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
  4. Session 2: Ontology Evolution

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

19-Oct-2010: submitted by Giorgos Flouris