Sound and Complete Neural Semantic Entailment over ALC Ontologies - View it on GitHub