User Tools
magik-demo:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:start [2013/05/15 18:29] admin |
magik-demo:start [2017/07/06 15:52] (current) koni |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | {{:magik-demo:magik-logo.jpg?900|}} | + | [[magik-demo:start-here|Welcome to MAGIK's documentation!]] |
| - | + | ||
| - | ====== Welcome to MAGIK's documentation! ====== | + | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | **MAGIK** is a web-based tool for managing database completeness.\\ \\ | + | |
| - | The latest online version of **MAGIK** is available at [[http://magik-demo.inf.unibz.it|http://magik-demo.inf.unibz.it]]. \\ | + | |
| - | {{ :magik-demo:main-new.png?400|}} | + | |
| - | + | ||
| - | ===== 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]] | + | |
| - | * Important Classes: [[magik-demo:developer:class:databaseconnector| DatabaseConnector ]] | [[magik-demo:developer:class:sessioncontrol| SessionControl ]] | + | |
magik-demo/start.1368635397.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
