The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
Cambridge University Press, 2007
 Buku Referensi
Faiq Miftakhul Falakh
Pengembangan Ontologi Semantic Web Berbasis Description Logic untuk Aplikasi E-CHNH (E-Cultural Heritage and Natural History) = Development of Description-Logic-Based Semantic Web Ontology for E-CHNH (E-Cultural Heritage and Natural History) Application
Fakultas Ilmu Komputer Universitas Indonesia, 2013
 UI - Skripsi Membership
Valentino Vito
Pengembangan Algoritma untuk Menyanggah Konjektura pada Teori Graf = Algorithm Development for Conjecture Refutation in Graph Theory
Fakultas Ilmu Komputer Universitas Indonesia, 2023
 UI - Tesis Membership
Weinberg, Erick J.
Classical solutions in quantum field theory: solitons and instantons in high energy physics
Cambridge University Press, 2012
 eBooks
Baarde, Franz
An introduction to description logic
Cambridge University Press, 2017
 Buku Teks