Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems