A formal theory for web-based control for GSM Quality-of-Service

The need for effective web-based control ontology for GSM Quality-of-Service (QoS) demands the availability of a formal theory that allows for a dynamic interaction among the parties concerned. This dynamic control ontology follows a three-tier dynamic architecture that is void of total dependence on the information from the providers and also employs a feedback mechanism from the actual users of the services. This work proposes a formal model for Dynamic Control Ontology that will aid in providing efficient quality control measures over GSM services. Identified concepts and relationships were considered as basic facts and inferences around these concepts were defined. First-Order Logic, due to its expressivity was considered as the appropriate representational language for this formal model. This work would provide the platform for efficient reasoning and proofs of logical consequences that serve as answers to questions raised by government during its policy making, telecommunication companies when making findings on how to compete and take management decisions and subscribers in their choice of network. This model is expected to assist in ensuring effective quality, affordability of telephone services, as well as increased geographical spread of communication services in Nigeria.