User manual "Hets for Common Logic users"

spechub / Hets

The Heterogeneous Tool Set

http://hets.eu

GNU General Public License v2.0

57 stars 19 forks source link

User manual "Hets for Common Logic users" #947

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by till and assigned to eugenk Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/947

The manual should describe the use of Hets for Common Logic ontologies, in particular:

parsing
displaying the structure (development graph)
theorem proving with various provers (SPASS, darwin, Isabelle, Leo-II,...)
consistency checking Re-use material from the Hets user guide spechub/Hets:doc/UserGuide.tex

sternk commented 10 years ago

Comment by eugenk Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/947#comment:2

Done. spechub/Hets:doc/UserGuideCommonLogic.tex Some relations for colore are still missing in the user guide. However, they aren't impemented yet. Could someone put the user guide on the web-page please?