User Tools
magik-demo:developer:magik-architecture
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:magik-architecture [2013/07/26 11:00] alex [Data Layer] |
magik-demo:developer:magik-architecture [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | {{:magik-demo:magik-logo.jpg?900|}} | + | {{:magik-demo:magik_logo.png?nolink&500|}} |
| ====== MAGIK Architecture ====== | ====== MAGIK Architecture ====== | ||
| Line 21: | Line 20: | ||
| === Reasoning === | === Reasoning === | ||
| - | * **MAGIK business logic**: the //Controller// component that process users input, run the reasoner (DLV engine), read/write to/from data layer (database), and return an output to users. Related package: ''[[#it.unibz.inf.magik.web|it.unibz.inf.magik.web]]''. | + | * **MAGIK business logic**: the //Controller// component that process users input, run the reasoner (DLV engine), run the Prolog code using TuProlog, read/write to/from data layer (database), and return an output to users. Related package: ''[[#it.unibz.inf.magik.web|it.unibz.inf.magik.web]]''. |
| - | * **Core**: module which contains all related classes to encode TC-QC Java objects that is needed by DLV engine, and analyzes the returned answer set program by DLV engine. Related packages: ''[[#it.unibz.inf.magik.core|it.unibz.inf.magik.core]]'', ''[[#it.unibz.inf.magik.additional|it.unibz.inf.magik.additional]]''. | + | * **Core**: module which contains all related classes to encode TC-QC Java objects that is needed by DLV engine, and analyzes the returned answer set program by DLV engine. Also contains all related classes to encode schema, query and TC-statements for generating input file for the Prolog code that return the possible specializations of the query. Related packages: ''[[#it.unibz.inf.magik.core|it.unibz.inf.magik.core]]'', ''[[#it.unibz.inf.magik.additional|it.unibz.inf.magik.additional]]''. |
| === Data === | === Data === | ||
| Line 86: | Line 85: | ||
| * Displaying information of query reasoning result : ''[[magik-demo:developer:class:web:sessioncontrol#encodingProgram|encodingProgram]]'', ''[[magik-demo:developer:class:web:sessioncontrol#printQueryResultHTML|printQueryResultHTML]]'', ''[[magik-demo:developer:class:web:sessioncontrol#isQueryComplete|isQueryComplete]]'', ''[[magik-demo:developer:class:web:sessioncontrol#approximateQuery|approximateQuery]]'' | * Displaying information of query reasoning result : ''[[magik-demo:developer:class:web:sessioncontrol#encodingProgram|encodingProgram]]'', ''[[magik-demo:developer:class:web:sessioncontrol#printQueryResultHTML|printQueryResultHTML]]'', ''[[magik-demo:developer:class:web:sessioncontrol#isQueryComplete|isQueryComplete]]'', ''[[magik-demo:developer:class:web:sessioncontrol#approximateQuery|approximateQuery]]'' | ||
| * Import pre-defined sample schema : ''[[magik-demo:developer:class:web:sessioncontrol#importSampleSchema|importSampleSchema]]'' | * Import pre-defined sample schema : ''[[magik-demo:developer:class:web:sessioncontrol#importSampleSchema|importSampleSchema]]'' | ||
| - | * ''[[magik-demo:developer:class:web:sessioncontrol|SessionSchema]]'' extends ''[[magik-demo:developer:class:core:schema|Schema]]'', with the information of selected foreign keys, finite domain constraints, and table completeness statements in the active session, also the information of database connection details (only for remote schema). | + | * ''[[magik-demo:developer:class:web:sessionschema|SessionSchema]]'' extends ''[[magik-demo:developer:class:core:schema|Schema]]'', with the information of selected foreign keys, finite domain constraints, and table completeness statements in the active session, also the information of database connection details (only for remote schema). |
| == it.unibz.inf.magik.core == | == it.unibz.inf.magik.core == | ||
magik-demo/developer/magik-architecture.1374829223.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
