Embedding-based approaches to paraconsistent and temporal description logics | UPT Perpustakaan UHAMKA