Constructive Description Logics Hybrid-Style

Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker. Constructive Description Logics Hybrid-Style. Electronic Notes in Theoretical Computer Science, 273:21-31, 2011. [doi]

Abstract

Abstract is missing.