Formal Concept Analysis Methods for Description Logics
Barış Sertkaya · Qucosa (Saxon State and University Library Dresden) · 2007
This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.