Taxonomy.hs

{- |
Module      :  $Header$
Copyright   :  (c) Klaus Luettich, Uni Bremen 2002-2004
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  luecke@informatik.uni-bremen.de
Stability   :  provisional
Portability :  non-portable (imports Logic)

This module provides the access to Achim Mahnke's taxonomy
visualisation for subsort hierarchies.

-}

module GUI.Taxonomy where


import Logic.Logic
import Logic.Prover
import Static.GTheory

import Taxonomy.MMiSSOntology
import Taxonomy.MMiSSOntologyGraph
import GUI.Utils

import Common.Taxonomy
import Common.Result as Res
import Common.ExtSign

displayConceptGraph :: String -> G_theory -> IO ()
displayConceptGraph = displayGraph KConcept

displaySubsortGraph :: String -> G_theory -> IO ()
displaySubsortGraph = displayGraph KSubsort

displayGraph :: TaxoGraphKind -> String -> G_theory -> IO ()
displayGraph kind thyName (G_theory lid (ExtSign sign _) _ sens _) =
    case theory_to_taxonomy lid kind
                       (emptyMMiSSOntology thyName AutoInsert)
                       sign $ toNamedList sens of
     Res.Result [] (Just taxo) -> do
       displayClassGraph taxo Nothing
       return ()
     Res.Result dias _ -> errorDialog "Error" $ showRelDiags 2 dias