Differences

This shows you the differences between two versions of the page.

--- pub:projects:hekate [2013/01/05 12:51] – [HeKatE] gjn
+++ pub:projects:hekate [2013/01/10 19:23] (current) – removed kkr
@@ Line 1: / Line 1: @@
-~~NOTOC~~
-====== HeKatE ======
-//**H**ybrid **K**nowledge **E**ngineering// (**HeKatE**)
-<WRAP center round info 60%>
-  * NCN Grant no. NCN N516 024 32/2878 {{  :pub:projects:hekatelogo.png?direct&w140|}}
-  * **Project Leader:** [[pub:about_us:people:ali|prof. dr hab. inż. Antoni Ligęza]]
-  * **Project coordinator:** [[pub:about_us:people: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]]**
-Go back to -> [[start|projects]]