The KESE7 Workshop

Intelligent systems have been successfully developed in various domains based on techniques and tools from the fields of knowledge engineering and software engineering. 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 and business rules.

The seventh workshop on Knowledge Engineering and Software Engineering (KESE7) is held at the CAEPIA 2011 (Conference of the Spanish Association for Artificial Intelligence), in La Laguna (Tenerife), Spain, and wants to bring together researchers and practitioners from both fields of software engineering and artificial intelligence, 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. This year we also encourage to submit tool presentations, i.e., system descriptions that clearly show the interaction between knowledge engineering and software engineering research and practice. The previous KESE Workshops were held at the German Conference on Artificial Intelligence (KI) since 2005. See the KESE workshop series page for more information.

Topics of interest include but are not limited to:

• Knowledge and software engineering for the Semantic Web
• Ontologies in practical knowledge and software engineering
• Business Rules design and management
• Practical knowledge representation and discovery techniques in software engineering
• Agent-oriented software engineering
• Database and knowledge base management in AI systems
• Evaluation and verification of intelligent systems
• Practical tools for intelligent systems engineering
• Process models in AI applications
• Software requirements and design for AI applications
• AI approaches in software engineering process
• Declarative, logic-based approaches
• Constraint programming approaches

Call for Tool Presentations

This year we strongly encourage the submission of tool presentation papers, i.e., system descriptions that clearly show the interaction between knowledge engineering and software engineering research and practice. Such papers have to be explicitly identified as tool presentation.

KESE 7 is the Workshop number 6 in the official CAEPIA-2011 program

Thursday, 10th November 2011. Nivaria Hotel. Room 1.

Session 1. 9:40 – 11:00

(talks are 15 min + 5 min discussion)

• KESE Opening
• Alvaro Prieto, Adolfo Lozano-Tello, José Luis Redondo-García. OntoMetaWorkflow: An Ontology for Representing Data and Users in Workflows
• Reinhard Hatko, Gritje Meinke, Joachim Baumeister, Stefan Mersmann and Frank Puppe. Anomaly Detection in DiaFlux Models
• Krzysztof Kluza, Grzegorz J. Nalepa, Marcin Szpyrka and Antoni Ligeza. Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods
• José Del Sagrado, Isabel María Del Águila and Francisco Javier Orellana. Architecture for the Use of Synergies between Knowledge Engineering and Requirements Engineering

11:00 - 11:30: Coffee Break

Session 2. 11:30-12:30

(talks are 15 min + 5 min discussion)

• Emilian Pascalau. Mashups: Behavior in Context(s)
• Joaquín Cañadas, Jose Palma and Samuel Túnez. Model-Driven Rich User Interface Generation from Ontologies for Data-Intensive Web Applications
• Weronika T. Adrian and Grzegorz J. Nalepa. Loki - Presentation of Logic-based Semantic Wiki (Tool presentation)
• KESE Closing

Here you can find a map of the CAEPIA venues: http://www.caepia11.es/index.php?option=com_content&view=article&id=54&Itemid=2&lang=en

CAEPIA11 main conference will take place ate the Paraninfo Building on the University of La Laguna (plenary sessions) and at the Convento de Santo Domingo (tematic sesions), whereas Workshops will take place in the Nivaria Hotel.

Papers should be formatted according to the Springer LNCS guidelines. The length should not exceed 10 pages (including figures and references). All papers must be written in English and submitted in PDF format. According to the review process requirement of CAEPIA proceedings, papers must be submitted in anonymized form. This means that author names and organization, references, acknowledgements, and any other information that might identify the authors shall be removed from the submitted version of the papers. Please submit your paper via EasyChair (http://www.easychair.org/conferences/?conf=caepia2011), selecting the 7th Workshop on Knowledge Engineering and Software Engineering track.

The submitted papers will be reviewed by three members of the program committee using a double blind-review process. A comfortable time slot for discussions will be given. Accepted contributions will be published in the two volumes of the conference proceedings: one published by Springer (LNAI series) containing a selection of the best papers and one published by Spanish Association for Artificial Intelligence with the rest of the accepted papers.

It is planned that accepted contributions to KESE7 also appear as CEUR Workshop Proceedings (CEUR-WS.org) (pending).

The KESE7 workshop will take place at the Conference of the Spanish Association for Artificial Intelligence CAEPIA 2011, in La Laguna (Tenerife), Spain.

The important dates are as follows:

The official KESE7 CfP: Call for Papers

The KESE 7 flyer

The one-day workshop will be held with presentations of accepted papers. English is the official language of the workshop. A comfortable time slot for discussions will be given. The proceedings will be published as part of the two volumes of CAEPIA 2011 conference proceedings before the workshop, and as CEUR Workshop Proceedings (CEUR-WS.org) later on (pending).

KESE7 Workshop Chairs

• J. Cañadas, University of Almería, Spain, jjcanada@ual.es
• G. J. Nalepa, AGH UST Krakow, Poland, gjn@agh.edu.pl
• J. Baumeister, University of Würzburg, Germany, joba@uni-wuerzburg.de

Program Committee

• I. del Águila, University of Almeria, Spain
• K.-D. Althoff, University Hildesheim, Germany
• A. B. Bailón, University of Granada, Spain
• J. Baumeister, University Würzburg, Germany
• F. Bienvenido, University of Almeria, Spain
• I. Blanco, University of Granada, Spain
• M. Campos, University of Murcia, Spain
• J. Cañadas, University of Almería, Spain
• J. T. Fernandez-Breis, University of Murcia, Spain
• A. Giurca, BTU Cottbus, Germany
• F. Guil, University of Almeria, Spain
• J. M. Juarez, University of Murcia, Spain
• J. Jung, Yeungnam University, Korea
• R. Knauf, TU Ilmenau, Germany
• C. Martínez-Cruz, University of Jaen, Spain
• G. J. Nalepa, AGH UST, Krakow, Poland
• J. Palma, University of Murcia, Spain
• F. Puppe, University Wurzburg, Germany
• J. del Sagrado, University of Almeria, Spain
• D. Seipel, University Würzburg, Germany
• F. Silva Parreiras, University of Koblenz-Landau, Germany
• I. Stamelos, Aristotle University of Thessaloniki, Greece
• R. Valencia-García, University of Murcia, Spain