added optional reasoning and list of ontologies w/o it