This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
kese:kese8 [2012/02/19 13:14] gjn created |
kese:kese8 [2019/06/27 15:50] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== The KESE8 Workshop (2012) ====== | + | ====== The 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) a.k.a KESE8 ====== |
| ===== Aims and Scope ===== | ===== Aims and Scope ===== | ||
| {{:kese:kese_logo.png |The KESE logo (c) 2008 by WTF}} | {{:kese:kese_logo.png |The KESE logo (c) 2008 by WTF}} | ||
| 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. | 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 eight workshop on Knowledge Engineering and Software Engineering (KESE8) is held at the | The eight workshop on Knowledge Engineering and Software Engineering (KESE8) is held at the | ||
| [[http://www2.lirmm.fr/ecai2012/|ECAI 2012]] (THE European Conference on Artificial Intelligence) organized by [[http://www.eccai.org/|European Coordinating Committee for Artificial Intelligence]] in Montpellier, France, | [[http://www2.lirmm.fr/ecai2012/|ECAI 2012]] (THE European Conference on Artificial Intelligence) organized by [[http://www.eccai.org/|European Coordinating Committee for Artificial Intelligence]] in Montpellier, France, | ||
| - | 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. 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. | + | 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 previous KESE Workshops were held at the German Conference on Artificial Intelligence (KI) since 2005 and on the Spanish AI Conference in 2011. | + | 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. | ||
| See the [[start|KESE workshop series]] page for more information. | See the [[start|KESE workshop series]] page for more information. | ||
| ===== Topics of Interest ===== | ===== Topics of Interest ===== | ||
| - | Topics of interest include but are not limited to: | + | 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 areasinclude but are not limited to: | ||
| * Knowledge and software engineering for the Semantic Web | * Knowledge and software engineering for the Semantic Web | ||
| * Ontologies in practical knowledge and software engineering | * Ontologies in practical knowledge and software engineering | ||
| Line 31: | Line 37: | ||
| 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. | 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. | ||
| + | |||
| + | ===== KESE 8 schedule ===== | ||
| + | KESE8 is the Workshop number 17 in the official [[http://www2.lirmm.fr/ecai2012/index.php?option=com_content&view=article&id=80&Itemid=84|ECAI'2012]] | ||
| + | |||
| + | **Tuesday morning, 28th August 2012** | ||
| + | |||
| + | **Session 1. 8:30 – 10:40.** Chair: Grzegorz J. Nalepa | ||
| + | |||
| + | //(full and tool talks are 15 min + 10 min discussion)// | ||
| + | |||
| + | * //KESE8 Opening// | ||
| + | * Reinhard Hatko, Joachim Baumeister and Frank Puppe. //CoverageCity: Test Coverage for Clinical Guidelines// (full) | ||
| + | * Isabel María Del Águila and José Del Sagrado. //Metamodeling of Bayesian networks for decision-support systems development// (full) | ||
| + | * Adrian Giurca, Ingo Schmitt and Daniel Baier. //Can Adaptive Conjoint Analysis perform in a Preference Logic Framework?// (full) | ||
| + | * Toader Gherasim, Giuseppe Berio, Mounira Harzallah and Pascale Kuntz. //Problems impacting the quality of automatically built ontologies// (full) | ||
| + | * Joachim Baumeister, Jochen Reutelshoefer, Volker Belli, Albrecht Striffler, Reinhard Hatko and Markus Friedrich. //KnowWE - A Wiki for Knowledge Base Development (Tool Presentation)// | ||
| + | |||
| + | |||
| + | |||
| + | **Coffee Break. 10:40 - 11:10.** | ||
| + | |||
| + | **Session 2. 11:10 – 12:50.** Chair: Joachim Baumeister | ||
| + | |||
| + | //(full talks are 15 min + 10 min discussion; short talks are 10 min + 5 min discussion)// | ||
| + | |||
| + | * Krzysztof Kluza and Krzysztof Kaczor //Overview of BPMN Model Equivalences. Towards normalization of BPMN diagrams// (full) | ||
| + | * Krzysztof Kaczor and Grzegorz J. Nalepa. //Critical evaluation of the XTT2 rule representation through comparison with CLIPS// (full) | ||
| + | * Martina Freiberg and Frank Puppe. //Template-based Extensible Prototyping for Creativity- and Usability-Oriented Knowledge Systems Development// (short) | ||
| + | * Antoni Ligeza, Weronika T. Adrian and Przemysław Ciezkowski. //Towards Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment// (short) | ||
| + | * Lorina Negreanu and Irina Mocanu. //Formal Verification of Service Requests in a Multi-Agent System using Event-B Method// (short) | ||
| + | * //KESE8 Closing// | ||
| ===== Important Dates ===== | ===== Important Dates ===== | ||
| - | - 19 Feb 2012: 1st call for papers sent | + | * 19 Feb 2012: 1st call for papers sent |
| - | - 28 May 2012: workshop paper submission deadline | + | * <del>28 May 2012</del>: workshop paper submission deadline |
| - | - 28 Jun 2012: notification on workshop paper acceptance | + | * **4 June, 2012 --new extended deadline-- ** //([[http://www.easychair.org/conferences/?conf=kese8|submit your abstract]] by 1 June, 2012)// |
| - | - 07 Jul 2012: camera ready papers | + | * 28 Jun 2012: notification on workshop paper acceptance |
| - | - 22 Jul 2012: workshop proceedings to be sent to workshop chair | + | * <del>07</del> 10 Jul 2012: camera ready papers |
| + | * 22 Jul 2012: workshop proceedings to be sent to workshop chair | ||
| + | * ** 28 Aug 2012, Tuesday: Workshop date** | ||
| ===== Call for Papers ===== | ===== Call for Papers ===== | ||
| The official KESE8 CfP: {{:kese:kese8-cfp.txt|Call for Papers}} | The official KESE8 CfP: {{:kese:kese8-cfp.txt|Call for Papers}} | ||
| - | The KESE 8 flyer will be available soon. | + | The KESE 8 {{:kese:kese8-flyer.pdf|flyer}} is available. |
| ===== Submission Details ===== | ===== Submission Details ===== | ||
| - | Papers should be formatted according to the Springer LNCS guidelines. The length of each paper should not exceed 10 pages (including figures and references), see: http://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip | + | Papers should be formatted according to the ECAI format. The length of each paper should not exceed 8 pages (including figures and references), see: http://people.cs.kuleuven.be/~luc.deraedt/ecai2012-style.zip |
| - | All papers must be written in English and submitted in PDF format. Submissions will be made via EasyChair. | + | All papers must be submitted in PDF. Please submit your paper via EasyChair ([[http://www.easychair.org/conferences/?conf=kese8]]). |
| - | + | ||
| - | Please submit your paper via EasyChair ([[http://www.easychair.org/conferences/?conf=kese8]]). | + | |
| ===== Organization ===== | ===== Organization ===== | ||
| - | The one-day workshop will be held with presentations of accepted papers. English is the official language of the workshop. The submitted papers will be reviewed by three members of the program committee. A comfortable time slot for discussions will be given. | + | 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). |
| - | Accepted contributions will appear as CEUR Workshop Proceedings (CEUR-WS.org). | + | |
| ===== Workshop organizers ===== | ===== Workshop organizers ===== | ||
| Line 71: | Line 107: | ||
| * Jason Jung, Yeungnam University, Korea | * Jason Jung, Yeungnam University, Korea | ||
| * Rainer Knauf, TU Ilmenau, Germany | * Rainer Knauf, TU Ilmenau, Germany | ||
| - | * Carmen Martínez-Cruz, University of Jaen, Spain | + | * Pascal Molli, University of Nantes - LINA, France |
| - | * Emilia Mendes, University of Auckland, New Zealand | + | |
| * Grzegorz J. Nalepa, AGH University of Science and Technology, Krakow, Poland | * Grzegorz J. Nalepa, AGH University of Science and Technology, Krakow, Poland | ||
| * José Palma, University of Murcia, Spain | * José Palma, University of Murcia, Spain | ||
| + | * Alvaro E. Prieto, Univesity of Extremadura, Spain | ||
| * José del Sagrado, University of Almeria, Spain | * José del Sagrado, University of Almeria, Spain | ||
| * Dietmar Seipel, University Würzburg, Germany | * Dietmar Seipel, University Würzburg, Germany | ||
| * Rafael Valencia-García, University of Murcia, Spain | * Rafael Valencia-García, University of Murcia, Spain | ||
| - | ===== KESE 7 schedule ===== | ||
| - | TBA | ||
| ===== Venue ===== | ===== Venue ===== | ||
| Line 87: | Line 121: | ||
| TBA | TBA | ||
| + | See [[http://www2.lirmm.fr/ecai2012//|ECAI 2012 site]] | ||
| + | |||
| + | ===== Post-proceedings ===== | ||
| + | |||
| + | KESE8 post-proceedings are now online at CEUR-WS.org: [[http://ceur-ws.org/Vol-949|http://ceur-ws.org/Vol-949]] | ||
| + | |||
| + | The full document is available at [[http://hdl.handle.net/10835/1791|http://hdl.handle.net/10835/1791]] | ||
