The 10th Workshop on Knowledge Engineering and Software Engineering (KESE10)

Knowledge Based Systems (KBS) have been successfully developed in various domains based on techniques and tools from Knowledge Engineering (KE). The classic KE approach to system modelling uses mostly symbolic logic-based symbolic knowledge representation methods, which are more specific from Artificial Intelligence (AI) in a broad sense, that has recently included computational intelligence techniques. Since most of the implementations of today KBS are software based, Software Engineering (SE) methods and tools play an important role in their development. Moreover, recent developments in SE emphasize the importance of the use of formalized symbolic representations in the software development process.

This stimulates the synergy between KE methods and SE methods and tools. Thus, declarative software engineering techniques have been established in many areas, such as knowledge systems, logic programming, constraint programming, and lately in the context of the Semantic Web, business rules as well as business processes.

The tenth workshop on Knowledge Engineering and Software Engineering (KESE10) is held at the ECAI 2014, the 21st European Conference on Artificial Intelligence in Prague, August 18-22, 2014, and wants to bring together researchers and practitioners from both fields of software engineering and knowledge engineering, as well as the Semantic Web community. The intention is to give ample space for exchanging latest research results as well as knowledge about practical experience. Moreover the workshop endeavors to promote the use of KE techniques in SE problems, where significant benefits can be derived from their use. The general goal of the workshop is to show how the KE techniques can provide practical solutions in SE issues. On the other hand, the influence of SE methods and tools on the practical design of KBS within KE.

The principal focus of the Workshop is on methods of Knowledge Engineering rooted in the symbolic logic-based representations and their novel applications in Software Engineering. Moreover, a synergistic use and development of these KE methods together with recent formalized and declarative SE methods, including Model-Driven Architecture and Development, ontological modelling as well as Business Process modelling is emphasized. Finally, the studies of the impact of these SE methods on the classic KE development processes are welcomed.

The previous KESE Workshops were held at the German Conference on Artificial Intelligence (KI) since 2005 and on the Spanish AI Conference (CAEPIA) in 2011, and in 2012 on ECAI2012. See the KESE workshop series page for more information.

Topics of the workshop are generally related to the applications of symbolic KE techniques in SE as well as the use of KE in the SE practice.

Specific topic the areas include but are not limited to:

• Knowledge and software engineering for the Semantic Web
• Knowledge and software engineering for Linked Data
• Ontologies in practical knowledge and software engineering
• Business systems modeling, design and analysis using KE and SE
• Practical knowledge representation and discovery techniques in software engineering
• Context and explanation in intelligent systems
• Knowledge base management in KE systems
• Evaluation and verification of KBS
• Practical tools for KBS engineering
• Process models in KE applications
• Software requirements and design for KBS applications
• Software quality assessment through formal KE models
• Declarative, logic-based, including constraint programming approaches in SE

Call for Tool Presentations

We are also strongly interested in tool presentations, so we regularly encourage the submission of tool presentation papers, i.e., system descriptions that clearly show the interaction between knowledge engineering and software engineering research.

Date 19.08.2014, see http://www.ecai2014.org/workshops/list-of-workshops, the workshop will be organized at the Czech Technical University, room 205 located on the second floor.

Time: 9:00-10:30, Title: Knowledge Modelling, Chair: Grzegorz J. Nalepa

• Grzegorz J. Nalepa: KESE 10 Opening
• Martina Freiberg and Frank Puppe. Pattern-driven Knowledge Systems Engineering
• Sebastian Furth and Joachim Baumeister. An Ontology Debugger for the Semantic Wiki KnowWE (Tool presentation)
• Reinhard Hatko, Stefan Mersmann and Frank Puppe. Behaviour-Driven Development for Computer-Interpretable Clinical Guidelines (SHORT PAPER)

Time: 11:00-12:30, Title: Business Processes in KE and SE, Chair: Thomas Roth-Berghofer

• Thi Hoa Hue Nguyen and Nhan Le-Thanh. Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach
• Szymon Bobek, Grzegorz J. Nalepa and Olgierd Grodzki. Integration of Activity Modeller with Bayesian network based recommender for business processes
• Emilio Sanfilippo, Stefano Borgo and Claudio Masolo. Towards an ontological analysis of BPMN (SHORT PAPER)

Time: 14:00-15:45, Title: Systems and Tools, Chair: Martina Freiberg

• Ludwig Ostermayer, Frank Flederer and Dietmar Seipel. CAPJA - A Connector Architecture for Prolog and Java
• Mateusz Ślażyński, Szymon Bobek and Grzegorz J. Nalepa. Migration of rule inference engine to mobile platform. Challenges and case study.
• Kerstin Bach, Christian Severin Sauer, Klaus-Dieter Althoff and Thomas Roth-Berghofer. Knowledge Modeling with the Open Source Tool myCBR (SHORT PAPER)
• Krzysztof Kluza, Krzysztof Kutt, Marta Woźniak. SBVRwiki (Tool presentation)
• Grzegorz J. Nalepa: KESE closing

Presentation time:

• regular papers: 20 min presentation + 10 min discussion
• short papers and tool presentations: 15 min presentation + 5 min discussion

• 25.05.2014: Deadline for paper submission
• 02.06.2014: EXTENDED Deadline for full paper submission
• 23.06.2014: Notification on paper acceptance
• 07.07.2014: Camera ready papers
• 19.08.2014: Workshop date

The official KESE10 CfP: Call for Papers

Papers should be formatted according to the Springer LNCS guidelines. The length should not exceed 12 pages for regular papers and 6 pages for short papers (including figures and references). Please use A4 format!

All papers must be submitted in PDF. Please submit your paper via EasyChair (https://www.easychair.org/conferences/?conf=kese10).

The one-day workshop will be held with presentations of accepted papers. The submitted papers will be reviewed by three members of the program committee. At least one author of each accepted paper must register and present the contribution. A comfortable time slot for discussions will be given. Accepted contributions will appear as CEUR Workshop Proceedings (CEUR-WS.org).

• G. J. Nalepa, AGH UST Krakow gjn@agh.edu.pl
• J. Baumeister, University Würzburg joba@uni-wuerzburg.de
• K. Kaczor, AGH UST Krakow kk@agh.edu.pl

Thomas Roth-Berghofer, University of West London, UK
Klaus-Dieter Althoff, University Hildesheim, Germany
Kerstin Bach, Verdande Technology AS, Norway
Joaquin Canadas, University of Almeria, Spain
Adrian Giurca, BTU Cottbus, Germany
Jason Jung, Yeungnam University, Korea
Rainer Knauf, TU Ilmenau, Germany
Mirjam Minor, Johann Wolfgang Goethe-Universitat Frankfurt, Germany
Pascal Molli, University of Nantes - LINA, France
Jose Palma, University of Murcia, Spain
Alvaro E. Prieto, University of Extremadura, Spain
Dietmar Seipel, University Wuerzburg, Germany
Isabel Maria del Aguila, University of Almeria, Spain
Jose del Sagrado, University of Almeria, Spain

Date 19.08.2014, see http://www.ecai2014.org/workshops/list-of-workshops, the workshop will be organized at the Czech Technical University, room 205 located on the second floor.