Hets: download and installation

Try out Hets, using the Web-based interface

The Hets license (English German) is GPL. See at the end of this page how to obtain the sources.

Report a bug or see the list of known issues on our Hets development site.

The best way to use hets is under Ubuntu. Possibly run this OS in a virtual box.

Hets under Ubuntu Precise Pangolin (12.04)

• the basic system

  sudo apt-add-repository ppa:hets/hets
  sudo apt-get update
  sudo apt-get install hets-core
  

• additionally, you can install (via apt-get) hets-ontology
• for the full system including all of these, use hets instead of hets-core
• for Hets development, additionally type in:

  sudo apt-add-repository "deb http://ppa.launchpad.net/hets/hets/ubuntu precise main"
  sudo apt-get update
  sudo apt-get build-dep hets
  

  Although this includes installation of the Hets sources, it is recommended to use the sources from the subversion repository (see the end of this page).

Hets Images for Mac OS X 10.6 (Snow Leopard) or 10.7 (Lion)

• Disk images for the Hets application have only limited functionality. (GTK based menus are missing.)

Hets binaries are available here:

• Linux daily snapshot    latest release    all versions
• x86_64 Linux daily snapshot    latest release    all versions
• (Snow Leopard) Intel Mac daily snapshot    latest release    all versions
• PC Solaris daily snapshot    latest release    all versions

How to use a hets binary?

• Our current linux binaries also rely on gtk-2 and glade-2 libraries for more and better menus. Thus you may need to install additional libraries. Use ldd (or "otools -L hets" on Macs) to see which libraries are missing.)
• For displaying development graphs (with the -g option), you need to install uDraw(Graph) (formerly known as daVinci) that relies on Tcl/Tk (version 8.4 or 8.5) (which probably has been already installed on your computer anyway). Make sure uDrawGraph and wish are in your $PATH.

How to install software needed for theorem proving with Hets? (only needed when working with the binaries)

• For interactive theorem proving you may install Isabelle.
• For automatic theorem proving you may install SPASS and/or Darwin.
• For reasoning about OWL specifications you may install Pellet and set $PELLET_PATH to the directory containing the script pellet.sh.

Obtaining the Hets sources

svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets