Dear List, I need to give a presentation of OWL-DL in a FOPL. Does anyone know of one that existsn ? - the DL handbook gives only a few examples for a few constructors. Thanks, Matt