SMS dit: Formal ontology in information systems :