~~NOTOC~~

====== HeKatE ======

//**H**ybrid **K**nowledge **E**ngineering// (**HeKatE**)


<WRAP center round info 60%>
  * NCN Grant no. NCN N516 024 32/2878 {{  :pub:projects:hekate:hekatelogo.png?direct&w140|}}
  * **Project Leader:** [[pub:about_us:ali|prof. dr hab. inż. Antoni Ligęza]] 
  * **Project coordinator:** [[pub:about_us:gjn|dr hab. inż. Grzegorz J. Nalepa]]
  * **Timeline:** 2007-05 -> 2009-11
  * **Duration:** 30 months
  * **Webpage:** [[http://hekate.ia.agh.edu.pl]]
</WRAP>

===== Introduction =====

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]]

===== Motivation =====
  * 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.

===== Results =====
  * [[http://ai.ia.agh.edu.pl/wiki/hekate:hekate concepts|main conceptual background]] 
  * [[http://ai.ia.agh.edu.pl/wiki/hekate process|design architecture and process]] 
  * knowledge concetualization with [[http://ai.ia.agh.edu.pl/wiki/alsvfd|ALSV(FD)]]
  * rulebase formalization with [[http://ai.ia.agh.edu.pl/wiki/hekate:XTT2|XTT2]]
  * the [[http://ai.ia.agh.edu.pl/wiki/hekate:HaDEs|HaDEs]] design environment and toolset includes:
    * conceptual modeling with [[http://ai.ia.agh.edu.pl/wiki/hekate:ARDplus|ARDplus]] using [[http://ai.ia.agh.edu.pl/wiki/hekate:HJEd|HJEd]] and [[http://ai.ia.agh.edu.pl/wiki/hekate:VARDA|VARDA]]
    * logical design with [[http://ai.ia.agh.edu.pl/wiki/hekate:XTT2|XTT2]] using [[http://ai.ia.agh.edu.pl/wiki/hekate:HQEd|HQEd]]
    * automated implementation with [[http://ai.ia.agh.edu.pl/wiki/hekate:HeaRT|HeaRT]]
    * knowledge translation with [[http://ai.ia.agh.edu.pl/wiki/hekate:HaThoR|HaThoR]]
  * rule-based knowledgebase is:
    * described in a human-readable textual [[http://ai.ia.agh.edu.pl/wiki/hekate:HMR|HMR]] notation, and
    * serialized to a machine-readable XML [[http://ai.ia.agh.edu.pl/wiki/hekate:hekate_markup_language|HML]] format
  * number of [[https://ai.ia.agh.edu.pl/wiki/hekate:cases:start|rule systems cases]] has been modeled using the HeKatE approach
  * **[[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography|all papers produced and related to the project]]**

{{tag>project completed_project}}

Go back to -> [[start|projects]]