An inference program for RDF Master thesis by G.Naudts Open University of the Netherlands Agfa Standards Case study Research questions 1) Haskell spec of RDF inference program…