A repository for DFM problems using description logics | Synapse