A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis
Hypertableau Reasoning for Description Logics