added preliminary configuration parameters (will put them into options)
added preliminary configuration parameters (will put them into options)

defaults: True/True/True
best for owlapi: True/False/True
TODO: create plugin atom option for automatic nogood generation

hexhex/hexlite,hexhex/hexlite,hexhex/hexlite