Steffen Hölldobler Yanchun Liang (Eds.) 1st International Workshop on Semantic Technologies (IWOST) Proceedings March 9–12 2015 Jilin University, Changchun, China Volume Editors Steffen Hölldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany email: sh@iccl.tu-dresden.de Yanchun Liang Jilin University Changchun, China Email: ycliang@jlu.edu.cn Copyright c 2015 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. 3 Preface This volume contains the papers presented at the First International Workshop on Semantic Technologies (IWOST) held on March 09-12, 2015 at the Jilin Uni- versity in Changchun, China. The workshop is an activity of the cluster Semantic Technologies with the project Swap and Transfer. This project is funded by the EU within the Erasmus Mundus programme and aims at fostering sustainable development, innovation and technology transfer. There were 14 submissions. Each submission was reviewed by at least 2 program committee members. The committee decided to accept 11 papers. The program also includes invited talks by Fausto Guinchiglia from the University of Trento on Open Data Integration, Cleaning and Reuse and by Chagnaa Altangerel from the National University of Mongolia on Language Resources in the Semantic Web. The editors would like to thank Peter Steinke for his help in setting up the web page and compiling this proceedings as well as the local organizers at Jilin Uni- versity without which the workshop would not have been possible. We thank the Swap and Transfer project as well as Jilin University for supporting the workshop financially. Finally, we are indepted to Easy Chair which made the organization of the workshop easy for the chairs. March 6, 2015 Steffen Hölldobler Dresden and Changchun Yanchun Liang 4 Program Committee Idilia Bachkova Chimikotehnologitchen I Metalurgitchen Universitet Khang Tran Dinh Hanoi University of Science and Technology Anna Fensel University of Innsbruck Steffen Hölldobler Technische Universitaet Dresden Yanchun Liang University of Jilin Maurizio Marchese University of Trento Thai Ha Phi Hanoi University of Transport and Communication Srun Sovila Royal University of Phnom Phen Hao Xu University of Jilin Additional Reviewers Norbert Manthey Tobias Philipp 5 Contents Minglinag Cui, Yanchun Liang, Yuping Li and Renchu Guan Exploring Trends of Cancer Research Based on Topic Model . . . . . . . . . . . 7 Emmanuelle Anna Dietz, Steffen Hölldobler and Luís Moniz Pereira On Indicative Conditionals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Shasha Feng, Michel Ludwig and Dirk Walther The Logical Difference for EL: from Terminologies towards TBoxes . . . . 31 Anna Fensel, Elias Kärle and Ioan Toma TourPack: Packaging and Disseminating Touristic Services with Linked Data and Semantics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 Lei Liu, Quanzhu Tao, Fausto Giunchiglia and Rui Zhang A Practical Framework for RelBAC Implementation . . . . . . . . . . . . . . . . . . . 55 Ji Qingge and Han Yugang Novel Integrated Framework for Crowd Simulation . . . . . . . . . . . . . . . . . . . . . 67 Adriano Tavares, Fausto Giunchiglia, Hao Xu and Yanchun Liang Position on Interoperability Everywhere under IoT-ARM . . . . . . . . . . . . . . 79 Hai Van Pham and Khang Dinh Tran A Proposal of Model using Kansei Evaluation Integrated with Fuzzy Rules and Self-Organizing Map for Evaluation of Bio-Food Products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 Yiyuan Wang, Dantong Ouyang and Liming Zhang Improved algorithm of unsatisfiability-based Maximum Satisfiability . . . . 93 Yuxin Ye and Dantong Ouyang Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 Yu Zhang, Dantong Ouyang and Yuxin Ye An Automatic Way of Generating Incoherent Terminologies with Parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117