For Developers

HeKatE is an acronym for Hybrid Knowledge Engineering

The research project regards Software Engineering based on Knowledge Engineering. The scope of the project includes but it is not limited to Knowledge Representation, Processing and Visualization methods. Main areas include:

• Knowledge Representation Methods
• Software Design Methods based on Knowledge Engineering
• Knowledge-based Runtime Environments for Standalone and Embedded Systems

The main HeKatE Web Page: http://hekate.ia.agh.edu.pl

The project started in May 2007, and has ended in November 2009.

• 2009/11: HeKatE has officially ended (more cleanup follows)
• 2009/11: tools updates, HaDEs releases, important HeaRT and HQEd improvements, cases modeling, meet us at CMS2009
• 2009/10: tools updates, cases modeling
• 2009/09: meet us on: KESE2009 at KI2009, and RuleApps2009
• 2009/08: public releases of the most important HaDEs components; the project enters an internal evaluation phase
• 2009/07: HeaRT beta with integration libraries, new version of HQEd; final version of the AMCS paper on HeKatE and XTT2.
• 2009/06: major tools improvement, internal releases; the Project has been presented on the IWSE 2009 conference, see recent IWSE papers
• 2009/05: first major HaDEs toolset integration, release of: HMR, newer version of HML, related research
• 2009/04: HJEd design tool released
• 2009/03: PlNXT first official release
• 2009/02: HJEd beta, HQEd M6 alpha versions
• 2009/01: Draft UML-based representation for XTT and ARD (see the Visual Rules Process Modeling presentation)
• 2008/12: Draft XTT2 formulation published
• 2008/11: The possible integration of ALSV(FD) with Description Logic considered
• 2008/10: Rule prototyping algorithm presented at AAIA workshop
• 2008/09: The KESE 2008 workshop, UML based representation discussed
• 2008/09: PlNXT prototype presented at KI 2008
• 2008/07: Project results presented at the RuleApp 2008 workshop at ECAI 2008
• 2008/06: Preliminary ALSV(FD) formulation
• 2008/05: Project results presented at FLAIRS 2008 conference
• 2008/04: HeKatE markup language proposed
• 2008/03: HeKatE tools released, see varda and hqed
• 2008/02: VARDA and HQed go GPLv3! This day (29/02) is special
• 2007/11: HeKatE papers on line, finally; see: hekate_bibliography
• 2007/11: ARD+ prototype description
• 2007/09: Project's papers and publications available on-line at: Hekate Bibliography
• 2007/09: HeKatE is under heavy development
• 2007/07: XTT+ and/or GREP proposal
• 2007/03: The grant proposal has been accepted!
• 2006/11: The first article for Flairs conference regarding the project is out
• 2006/07: The Grant Proposal has been sent

Development Team meetings are available at hekate_meetings.

Papers and publications regarding the HeKatE project are at: Hekate Bibliography

Project Leader: Prof. Antoni Ligęza, PhD

Project Coordinator: Grzegorz J. Nalepa, PhD

The Project involved number of important AGH UST staff members and students, see team information.

See hekate concepts for more info about the ideas, process, architecture, applications etc.

The HaDEs environment includes:

• knowledge formalization with ALSV(FD)
• conceptual modeling with ARDplus using HJEd and VARDA
• logical design with XTT2 using HQEd
• automated implementation with HeaRT
• knowledge translation with HaThoR

Rule-based knowledge is:

• described in a human-readable textual HMR notation, and
• serialized to a machine-readable XML HML format.

A number of rule systems cases has been modeled using the HeKatE approach.

• There is a semantic_gap in the contemporary Software Engineering which should be minimized
• Designed Knowledge Base is a 'program' capable of running, assuming that a proper runtime environment is supplied
• The Knowledge Base can be verified and its proper behavior can be assured.
• The Knowledge Base can be easily extended to meet new requirements, implement new functionality etc.

The logo depicts a few triplets:

• three faces of Hekate,
• Model, View, Controller,
• Forward Chaining, Backward Chaining, Human-Computer Interfacing,
• Software Engineering, Knowledge Engineering, Interfacing,
• Art, Spirit, Science.

• 2009: Beating Heart - an inference engine loosly inspired by XTT, partially compatible with HeKatE toolset.
• 2002-4: the Mirella project, where the most important ideas for HeKatE were formulated, including XTT. Currently not functional and not supported in any way.
• '90: early works of Prof. Antoni Ligęza traced in the gjn2009amcs paper.