Early phase of Semantic Web inferencing skeleton in Haskell