{{:magik-demo:magik_logo.png?nolink&500|}}

====== Welcome to MAGIK's documentation! ====== 

**MAGIK** is a web-based tool for managing database completeness.\\ \\ 
The latest version of **MAGIK** is available at [[http://magik-demo.inf.unibz.it|http://magik-demo.inf.unibz.it]]. \\

{{:magik-demo:main1.png?&500 |Screenshot of MAGIK demo |}}
{{:magik-demo:main2.png?&500 |Screenshot of MAGIK demo |}}
====  MAGIK for Users  ====

 
         * MAGIK reasoning at work - [[magik-demo:user:school-example|Completeness of School Data]]
         * MAGIK was presented at CIKM 2012 - [[http://dl.acm.org/citation.cfm?doid=2396761.2398741|paper]] | [[http://www.inf.unibz.it/~savkovic/posters/MAGIK-CIKM2012-poster.pdf|poster]]
         * How we use Answer-Set Programming to implement MAGIK reasoning is explained in the MSc thesis of Sergey Paramonov - [[http://www.inf.unibz.it/krdb/pub/TR/KRDB13-3.pdf|pdf]]
         

====   MAGIK for Developers  ====   
         * MAGIK Project: 
              * [[magik-demo:developer:magik-project#deploy_magik_on_server_or_localhost|Deploy MAGIK on Server or Localhost]] | [[magik-demo:developer:magik-project#import_magik_project_in_eclipse|Import MAGIK Project in Eclipse]] | [[magik-demo:developer:magik-project#magik_project_description |MAGIK Project Description]] 
         * MAGIK Architecture:
              * [[magik-demo:developer:magik-architecture#magik_architecture|Overall Architecture]] | [[magik-demo:developer:magik-architecture#interface_layer|Interface Layer]] | [[magik-demo:developer:magik-architecture#reasoning_layer|Reasoning Layer]] | [[magik-demo:developer:magik-architecture#data_layer|Data Layer]] 
         * [[magik-demo:developer:magik-business-logic|MAGIK Business Logic ]](logic of JSPs)   
         * MAGIK Code:
              * [[magik-demo:developer:magik-code-browse|Browse code]]