Index of /ddi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]Examples/ 2014-03-18 12:39 -  
[DIR]VIEWS/ 2014-03-18 12:38 -  
[TXT]addModel.cbs 2014-03-18 12:34 299  
[TXT]testModel.cbs 2014-03-18 12:34 420  
[   ]loop 2013-12-10 11:13 494  
[TXT]exportModel.cbs 2014-03-18 12:34 534  
[TXT]analyzeModel.cbs 2014-03-18 12:34 903  
[   ]postExport.sh 2013-12-10 11:13 1.0K 
[TXT]createdb.cbs 2014-04-11 10:14 1.1K 
[TXT]DDI-GT.sml.txt 2014-04-01 07:53 4.0K 
[TXT]DDI2GV.sml.txt 2014-04-01 07:53 5.0K 
[TXT]License-CC-BY-SA-30.txt2014-04-01 07:53 6.6K 
[TXT]DualDeep_Part2.sml.txt 2014-04-01 07:53 7.3K 
[TXT]DualDeep_Part1.sml.txt 2014-04-01 07:53 8.2K 
[TXT]DualDeep_Part3.sml.txt 2014-04-01 07:53 10K 
[TXT]DDI-TELOS-README.txt 2014-04-02 14:34 13K 
[   ]E6.gel 2014-04-11 10:14 34K 
[   ]Fig1.gel 2014-04-11 10:14 36K 
[   ]Fig1-OBJECT.gel 2014-04-11 10:14 37K 

BACK

Download Φ Forum Φ Team Φ Home



Dual Deep Instantiation and Its ConceptBase Implementation

December 2013, revised March 2014

This directory contains the ConceptBase files for the paper

This directory contains the ConceptBase/Telos sources models for the above paper. It is the implementation of our specification of dual deep instantiation (DDI). By making the source models publicly available we encourage you to investigate them and to adapt them to your needs! Dual deep instantiation is still an open research area and you are welcome to use our results as starting point. We believe that the implementation of the axiomatization greatly helps in finding shortcomings and errors. The source files *.sml.txt, *.cbs, and and *.gel in this directory and its subdirectories are published under the conditions of License-CC-BY-SA-30.txt.

See file DDI-TELOS-README.txt for detailed instructions. The complete directory can also be downloaded as http://conceptbase.cc/ddi.zip.

An alternative to DDI is the simpler DeepTelos definition, which addresses deep instantiation via so-called most-general instances rather than the numerical potencies in DDI. DeepTelos is like DDI implemented in ConceptBase.



Manfred Jeusfeld, Skövde, 2013-12-12 (2014-06-24)