Implement an add testcases feature
Like in our Protege plugin, the user should be able to manually add a testcase (both positive and negative). This requires a sophisticated editor to create axiom.
@Konstantin.Schekotihin @Patrick.Rodler: Shall we allow the user to add a test case manually in a running debugging session? In our Protege plugin this is not possible.
Edited by Wolfgang Schmid