The Snorocket Description Logic classifier for EL++ with concrete domains support - View it on GitHub