Model-theoretic inseparability and modularity of description logic ontologies | Publicación