show only logics with ontologies as default

fixes #586