16-18 October 2014, Sibiu, Romania Locations and rooms Time slots Day 0 15:00 15 October 18:00-20:00 Registration desk open for early arrivals Welcome reception Registration desk open Welcoming speeches 09:00 10:00-10:30 Keynote speech: Ruqian Lu, Korchestration and the Korc Calculus 10:30-11:30 11:30-11:45 11:45-13:15 13:15-14:45 Day 1 16 October 14:45-15:45 15:45-16:00 16:00-18:00 19:00 20:00 University Library, 4 Lucian Blaga Str.) Coffee break Session1: Formal Semantics I (chair: Chengqi Zhang) Bernhard Heinemann Coming Upon the Classic Notion of Implicit Knowledge Again Éric Grégoire Knowledge Preemption and Defeasible Rules Xiaoxin Jing, Shier Ju, and Xudong Luo A Method for Merging Logic Systems in CrossCultural Environments Session2: Content and Document Analysis I (chair: Costin Bădică) Christophe Thovex and Automatic Building of Socio-semantic Francky Trichet Networks for Requirements Analysis: Model and Business Application Jungang Xu, Shilong Zhou, A Document Clustering Algorithm based on Lin Qiu, Shengyuan Liu, Semiconstrained Hierarchical Latent Dirichlet and Pengfei Li Allocation Zhiwei Jiang, Gang Sun, An Ordinal Multi-class Classification Method Qing Gu, and Daoxu Chen for Readability Assessment of Chinese Documents Lunch break Keynote speech: Pericles Loucopoulos, Enterprise Knowledge Modelling Facilitating Flexible Dynamically Changing Systems Coffee break Session3: Formal Semantics II (chair: Éric Grégoire) Wenjuan Wu, Dianfu Formal Modeling of Airborne Software High-level Ma, Yongwang Zhao, Requirements Based on Knowledge Graph and Xianqi Zhao Session4: Content and Document Analysis I (chair: Christoph Thovex) Cungen Cao, Shi Wang, and A Practical Approach to Extracting Names of Lin Jiang Geographical Entities and their Relations from the Web Haijiang Wu, Jie Liu, Dan Scalable Horn-Like Rule Inference of Semantic Data Ye, Jun Wei, and Hua Using MapReduce Zhong Wenting Zhao, Lijin Wang, An Improved Backtracking Search Algorithm Yilong Yin, Bingqing Wang, for Constrained Optimization Problems Yi Wei, and Yushan Yin Lianyi Zhang, Qingdi Model Checking (k; d)-Markov Chain with ipLTL Meng, and Guiming Luo Fuan Pu, Jian Luo, Yulai Argument Ranking with Categoriser Function Zhang, and Guiming Luo Yaxin Bi, Maurice Mulvenna, and Anna Jurek Mihaela Colhon, Costin Bădică, and Alexandra Șendre Dinner Social event University Library, 4 Lucian Blaga Str.), Senate Hall University Library, 4 Lucian Blaga Str.) University Restaurant, 31 Victoriei Blv. Avram Iancu Auditorium, 5-7 Victoriei Blvd. Academic Reunion Centre, 6 Banatului Str. Sentiment Classification by Combining Triplet Belief Functions Relating the Opinion Holder and the Review Accuracy in Sentiment Analysis of Tourist Reviews University Restaurant 31, Victoriei Blvd. TBA 09:00-10:00 Keynote speech: Gheorghe Cosmin Silaghi, Multi-criteria Resource Negotiation and Scheduling 10:00-10:15 Coffee break 10:15-12:15 Session5: Enterprise Knowledge Representation (chair: Hans-Georg Fill) Huili Jiang, Zili Zhang, A Semantic-Based EMRs Integration Framework for Diagnosis Decision-Making and Li Tao 13:45-15:15 Day 2 17 October Combining Bottom-up and Top-down Generation of Interactive Knowledge Maps for Enterprise Search Sanda Dragoș, Diana Haliță, Christian Săcărea, and Diana Troancă Christoph Prackwieser A Modeling Procedure for Information and Material Flow Analysis Comprising Graphical Models, Rules and Animated Simulation Lili Mou, Ge Li, Zhi Jin, and Verification based on Hyponymy Hierarchical Lu Zhang Characteristics for Web-based Hyponymy Discovery Niksa Visic and Dimitris Karagiannis Developing Conceptual Modeling Tools Using a DSL Wafa Wali, Bilel Gargouri, and Abdelmajid Ben Hamadou Session7: Hybrid Knowledge Systems (chair: Michael Kaufmann) Hans-Georg Fill On the Social Network based Semantic Annotation of Conceptual Models Nobuhito Marumo, Takashi Beppu, and Takahira Yamaguchi A Knowledge-Transfer System Integrating Workflow, a Rule Base, Domain Ontologies and a Goal Tree Andreas Müller, Stefan Mitsch, Werner Retschitzegger, and Wieland Schwinger A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems 17:15-18:15 18:15-18:45 19:30 09:00 Day 3 10:30-11:30 18 October 12:00-14:00 14:00-15:00 15:00 Academic Reunion Centre, 6 Banatului Str Using Standardized Lexical Semantic Knowledge to Measure Similarity University Restaurant 31, Victoriei Blvd. Session8: Clustering and Classification (chair: Zhi Jin) Zoltan Geler, Vladimir Impact of the Sakoe-Chiba Band on the DTW Kurbalija, Miloš Time-Series Distance Measure for kNN Radovanović, and Mirjana Classification Ivanović Liping Jing, Dong Deng, and Weighting Exponent Selection of Fuzzy CJian Yu Means via Jacobian Matrix Binfeng Wang, Li Tao, Chao Dividing Traffic Sub-Areas Based on a Parallel KGao, Dawen Xia, Zhuobo Means Algorithm Rong, Wu Wang, and Zili Zhang Coffee break Session9: Knowledge Management (chair: Christoph Prackwieser) Bogdan Chiliban, Lal Review of Knowledge Management Models for Implementation within Advanced Product Quality Mohan Baral, and Planning Claudiu Vasile Kifor Session10: Ontology Engineering (chair: Robert Buchmann) Sabin C. Buraga and An Ontological Approach for Specifying Claudia Gheorghiu Provenance into SPARQL Service Descriptions Lal Mohan Baral, Claudiu Assessing the Impact of DMAIC-Knowledge Vasile Kifor, and Ioan Management Methodology on Six Sigma Projects: An Evaluation through Participant’s Perception Bondrea Alex Becheru and Costin Bădică Nora Fteimi and Franz Lehner 17:00-17:15 Applying Triadic FCA in Studying Web Usage Behaviors Lunch break 15:15-15:30 15:30-17:00 Session6: Concept and Lexical Analysis (chair: Jian Yu) Hisashi Masuda, Wilfrid Development of an Evaluation Approach for Utz, Yoshinori Hara Customer Service Interaction Models Michael Kaufmann, Gwendolin Wilke, Edy Portmann, and Knut Hinkelmann 12:15-13:45 Avram Iancu Auditorium, 5-7 Victoriei Blvd. The Core Elements of Corporate Knowledge Management and their Reflection in Research and Practice – the Case of Knowledge Management Systems Academic Reunion Centre, 6 Banatului Str Complex Networks’ Analysis Using an OntologyBased Approach: Initial Steps Marco Rospocher, Tania Investigating Collaboration Dynamics in Tudorache, Mark A. Musen Different Ontology Development Environments Coffee break Panel Discussion: Knowledge Engineering in Big Data Era (panel chair: Ruqian Lu) Closing plenary Closing banquet Final tour departure Panel Discussion: Interdisciplinarity versus Specialization in the Scientific World (panel chair: Dimitris Karagiannis) Lunch break Tour Return to Sibiu TBA TBA