central features needed for going productive

[tillmo]

Here is a list of central features that needed for going productive (i.e. replacing the productive Ontohub 1.0). The list should include the necessary things, but should be kept as short as possible so that we can go online as quickly as possible:

• manage repositories
• manage ontologies and their sentences and symbols, and errors
• theorem proving
  Needed only later:
• displays of graphs
• mappings
• search
• metadata
• list of logics