Index of /ddi

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]DDI-GT.sml.txt01-Apr-2014 07:53 4.0K 
[TXT]DDI-TELOS-README.txt02-Apr-2014 14:34 13K 
[TXT]DDI2GV.sml.txt01-Apr-2014 07:53 5.0K 
[TXT]DualDeep_Part1.sml.txt01-Apr-2014 07:53 8.2K 
[TXT]DualDeep_Part2.sml.txt01-Apr-2014 07:53 7.3K 
[TXT]DualDeep_Part3.sml.txt01-Apr-2014 07:53 10K 
[   ]E6.gel11-Apr-2014 10:14 34K 
[DIR]Examples/18-Mar-2014 12:39 -  
[   ]Fig1-OBJECT.gel11-Apr-2014 10:14 37K 
[   ]Fig1.gel11-Apr-2014 10:14 36K 
[TXT]License-CC-BY-SA-30.txt01-Apr-2014 07:53 6.6K 
[DIR]VIEWS/18-Mar-2014 12:38 -  
[TXT]addModel.cbs18-Mar-2014 12:34 299  
[TXT]analyzeModel.cbs18-Mar-2014 12:34 903  
[TXT]createdb.cbs11-Apr-2014 10:14 1.1K 
[TXT]exportModel.cbs18-Mar-2014 12:34 534  
[   ]loop10-Dec-2013 11:13 494  
[   ]postExport.sh10-Dec-2013 11:13 1.0K 
[TXT]testModel.cbs18-Mar-2014 12:34 420  


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

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)