The SAUPODOC tool allows for the enrichment of an ontology with new formal specific concept definitions, learnt using property assertions coming from a corpus of manually annotated documents and some external resources. It has been developed during the PORASO Project, a collaboration with the Wepingo company.