Program and Papers
Proceedings are available for download from CEUR.
8:15 - 10:00 - Session 1: Stream Reasoning and Applications of Dynamic Ontologies (chair: Guilin Qi)
- Interleaving Reasoning and Selection with Semantic Data (invited paper) by Zhisheng Huang
- Toward Dynamic Ontologies for the Industrial Manufacturing Domain, by Ramos Luis
- Ontological Stream Reasoning via Syntactic Approximation, by Yuan Ren, Jeff Z. Pan and Yuting Zhao
10:30 - 12:00 - Session 2: Ontology Evolution (chair: Zhisheng Huang)
- Ontology Evolution in Data Integration, by Haridimos Kondylakis, Dimitris Plexousakis and Yannis Tzitzikas
- Unsupervised Conflict-Free Ontology Evolution Without Removing Axioms, by Thomas Scharrenbach, Claudia d'Amato, Nicola Fanizzi, Rolf Grutter, Bettina Waldvogel and Abraham Bernstein
- Formalizing and Verifying Authenticity over Assertion Changes for An Interaction Protocol, by Xiaolie Ye and Lejian Liao