Formal Concept Analysis Methods for Description Logics

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.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Technische Universität Dresden

Year

2007

Author dc:creator

• Sertkaya, Baris

Contributors dc:contributor

• Baader, Franz
• Ganter, Bernhard
• Sattler, Ulrike

• Description Logics
• Formal Concept Analysis
• knowledge base
• bottom-up construction
• ontology
• completion
• attribute exploration
• closed set
• minimal generators
• Beschreibungslogik
• Formale Begriffsanalyse
• Wissensbasis
• Ontologie
• Attributexploration
• abgeschlossene Menge
• minimale Erzeuger