Enviar aquest missatge de text: Chemical knowledge representation with description graphs and logic programming.