FALCON: Sound and Complete Neural Semantic Entailment over ALC Ontologies