Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics How Description Logic Ontologies Benefit from Formal Concept Analysis Barış Sertkaya SAP Research…