2015语义技术国际研讨会（IWOST2015）

14:00 - 14:20

Welcome including welcome address by Prof. Claudio Migliaresi, Coordinator of SAT European Programme, and Prof. Xiaohui Wei, Dean of College of Computer Science and Technology, Jilin University

14:20 - 15:00

Invited Talk: Open data integration, cleaning and reuse

Prof. Fausto Guinchiglia, University of Trento, Italy

15:00 - 15:15

Break

15:15 - 15:45

TourPack: Packaging and Disseminating Touristic Services with Linked Data and Semantics
Anna Fensel, Elias Kärle and Ioan Toma

15:45 - 16:15

Exploring Trends of Cancer Research Based on Topic Model
Minglinag Cui, Yanchun Liang, Yuping Li and Renchu Guan

16:15 - 16:45

A Proposal of a Model using Kansei Evaluation integrated with Fuzzy Rules and Self-Organizing Map for Evaluation of Bio-Food Products
Hai Van Pham and Khang Dinh Tran

16:45 - 17:00

Break

17:00 - 17:30

A Practical Framework for RelBAC Implementation
Lei Liu, Quanzhu Tao, Fausto Giunchiglia and Rui Zhang

17:30 - 18:00

Position on Interoperability Everywhere under IoT-ARM
Adriano Tavares, Fausto Giunchiglia, Hao Xu and Yanchun Liang

18:00 - 18:30

The Logical Difference for EL: from Terminologies towards TBoxes
Shasha Feng, Michel Ludwig and Dirk Walther

9:00 - 9:40

Invited Talk: Language resources in Semantic Web

Prof. Chagnaa Altangerel, National University of Mongolia

9:40 - 10:10

Improved algorithm of unsatisfiability-based Maximum Satisfiability 
Yiyuan Wang, Dantong Ouyang and Liming Zhang

10:10 - 10:40

Novel Integrated Framework for Crowd Simulation
Ji Qingge and Han Yugang

10:40 - 11:10

Break

11:10 - 11:40

On Indicative Conditionals
Emmanuelle Anna Dietz, Steffen Hölldobler and Luis Moniz Pereira

11:40 - 12:10

Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies
Yuxin Ye and Dantong Ouyang

12:10 - 12:40

An automatic way of generating incoherent terminologies with parameters
Yu Zhang, Dantong Ouyang and Yuxin Ye

12:40 - 12:50

Farwell