"DeepTelos Demonstration"
http://conceptbase.sourceforge.net/mjf/multi2019-jeusfeld1-postprint.pdf

(c) Manfred Jeusfeld 2019



This directory contains the sources files (SOURCES/*.sml) and graph files (*.gel) of
the MULTI 2019 paper "DeepTelos Demonstration".

Here are some instructions on using the files.


(1) Installation of ConceptBase

Follow the instructions at
http://conceptbase.sourceforge.net/CB-Download.html

It is recommended to specify cbgraph (the ConceptBase graph editor) as the application to
be launched with files *.gel (ConceptBase graph files). The instructions are at
http://conceptbase.sourceforge.net/CB-Mime.html

You need ConceptBase V8.1.07 or later.


(2) Working with the graph files

After step (1), you should be able to start up the graph files (e.g. carexample.gel)
by double-clicking the file. Alternatively, you can start CBGraph from a command window,
e.g.
   cbgraph products.gel

You may have to add the absolute path of CBGraph. Under Windows, you can use
   c:\conceptbase\cbgraph products.gel

Under Linux/MacOS, you can use
   $HOME/conceptbase/cbgraph products.gel

Note that you need to execute the commands in the directory that contains the graph files.


The graph files are self-contained files that include the graph plus all necessary Telos
sources. It will start-up a ConceptBase server process in the background or use a public server
and then upload all source definitions to that server. You can then for example ask queries
to the models or even update them.


(3) Using the compiled database

Instead of using the source files in the graph files, you can also start up a ConceptBase server
with all definitions:

Unzip the database:
   unzip MULTISATDB.zip

Start the ConceptBase server (requires Linux):

   cbserver -d MULTISATDB

Start a GEL file

  cbgraph +r products.gel

The option +r specified that the sources from the graph file are not uploaded to the server.
If you omit this paramter, it will be somewhat slower.

You can also startup all GEL files at once by calling
  cbgraph +r *.gel 
in this diectory.

If you do not have Linux ready, then consider installing the VirtualBox appliance Lubuntu32-CB-ova.
See
http://conceptbase.sourceforge.net/import-cb-appliance.html

Do not forget to call 
  updateCB 
after installation. It will update ConceptBase to the latest version.