@prefix aifb: <http://www.aifb.kit.edu/id/>.