Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs | Publicación