Source: https://cindy.informatik.uni-bremen.de/cosy/staff/dylla/publications/Paper/cosy:sparq-ki-ws06.pdf