| Copyright | (c) Klaus Luettich, Uni Bremen 2002-2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
CASL.Taxonomy
Description
Converters for theories to MMiSSOntology (subsorting and concept taxonomies)
the functions showOntClass, showRelationName and showRelation may be used for printing out MMiSS Ontologies in LaTeX to Stdout (see commets marked with --printOut). Please do not remove them without reason!!
- convTaxo :: TaxoGraphKind -> MMiSSOntology -> Sign f e -> [Named (FORMULA f)] -> Result MMiSSOntology
- showOntClass :: String -> [String] -> String
- showRelationName :: String -> String
- showRelation :: String -> String -> String -> String
Conversion
convTaxo :: TaxoGraphKind -> MMiSSOntology -> Sign f e -> [Named (FORMULA f)] -> Result MMiSSOntology
convert a generic CASL signature into the MMiSS ontology datastructure for display as taxonomy graph
Printing of MMiSS ontologies in LaTeX
showOntClass :: String -> [String] -> String
showRelationName :: String -> String
showRelation :: String -> String -> String -> String