Chemical knowledge representation with description graphs and logic programming. - Magka, D; Motik, B; Horrocks, I (ACM, 2011)