Welcome to Hets - the Heterogeneous Tool Set

1. About Hets

Hets is a parsing, static analysis and proof management tool combining various

tools for different specification languages, thus providing a tool for the

heterogeneous specification language HetCASL. The structuring constructs of

this language are those of CASL, plus some new heterogeneous constructs for

indicating the language and for language translations. Hence, hets is based

on a graph of logics and languages. See the list of Languages and tools

currently supported by Hets.

2. Important folders

The whole source code of hets is available in this folder.

All documentation of the source code and hets itself is stored here. A symlink

to the User Guide pdf is placed on the Desktop.

Some Hets and CASL Libraries are located in this folder.

3. Getting started

Open a terminal and change directory to /root/Hets-lib. Typical examples to

try out SPASS, darwin, Isabelle, Pellet, Fact and conservativity checkers are:

hets -g -A Calculi/Space/RCCVerification.het

hets -g Ontology/Examples/Family.het

4. Changing keyboard layout

You can change the keyboard layout through the taskbar. Rightclick on the US

flag symbol and change to the layout you prefer.

Alternatively you can open a terminal and type (for german layout):

setxkbmap -layout de

5. Global resources

Hets:

Hets for developers:

Hets and CASL Libraries: