We welcome feedback on all aspects of the Ontobase: format and content of the theories, meta-organisation of the axiom sets, layout and content of the generated web pages. We would also be pleased to receive contributions of theories to add to the database. If you have any suggestions, please contact Brandon Bennett.
The Ontobase is very much at the construction stage and includes only a small sample of low level theories.