Semantic-driven e-government: A case study of formal representation of government domain ontology | IEEE Conference Publication | IEEE Xplore