Implementing ALC Tableau. For an ALC KB and a query given in Negation Normal Form pre-generated, using ALC Tableau to determine whether the query is entailed by the KB.
First application: natural language processing; now also other domains (configuration of technical systems, databases, chemical process engineering, medical terminology, ...)