Improve Taxonomy Display for CASL

sternk commented 10 years ago

Reported by luettich and assigned to raider Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/245

Improvements:

display node name (instead of number) in uDrawGraph window title
add conversion of equivalent sorts into special arrow * needs adaption of Taxonomy Graph to cope with equivalence arrows
full translation between Achim's ontology data structure and CASL (in Hets)
visualization of "taxonomy" of CASL signatures
(subsort hierarchy = sub-concept, unary preds = concepts, binary preds = relations)
- identify axioms which correspond to inheritance (implication) and equivalence
- unary preds are sub-concepts of their typing Sort
- overloaded predicates need special treatment these tasks are partly implemented

sternk commented 10 years ago

see also #259

sternk commented 10 years ago

Some additional remarks for the concept-graph:

unary predicates (predicate-classes) are displayed as classes and need to be qualified with their base sort, since overloaded unary predicates would look like sorts with two super-sorts otherwise
sorts are classes, too
the hierarchy of predicate-classes is derived from explicit implications and equivalences on a syntactic bases without reasoning.
binary predicates are displayed as roles pointing from first to second argument
constant functions are displayed as instances of sort-classes and also as instances of predicate-classes, if an axiom states such a fact (explicitly; no reasoning!!)
axioms where only one binary predicate is applied to two constants (atomic predication) are displayed between the two instances as fact

spechub / Hets