CEL :: a polynomial-time Classifier for the description logic EL+

No queries for lat.inf.tu-dresden.de/systems/cel/