Edwardian Proofs as Futuristic Programs
How Description Logic Ontologies Benefit from Formal Concept Analysis Barış Sertkaya SAP Research Center Dresden Germany.
How Description Logic Ontologies Benefit from Formal Concept Analysis