Knowledge Formalization and Information Retrieval door Noor Nadhiya Mohammad & Razib M. Othman