Documents Savoirs Computing updates in description logics [Elektronische Ressource] / eingereicht von Hongkai Liu Hongkai Liu