Reducing OWL entailment to description logic satisfiability
Distribution of the number of citations over years.