fix bug in semanticDatabaseManager