Geo-Ontology and Geographical Information System Extended by a first-order logic language: Application to malaria control

A geo-ontology can be built around a Geographic Information System (GIS) and enriched with a firstorder logic language under the closed-world assumption (CWA). This extended system providesknowledge representation formalisms that are aimed to describe general conceptual information. Theycan also be used in the construction of the knowledge base of a reasoning tool. In this paper anenvironment is defined where a geo-ontology offers possibilities with a system that allows users torepresent and reason about some aspects of the real world. With respect to the added intelligence;knowledge is preserved and enhanced. Knowledge enhancement is performed under the CWA in a subsetof the first-order logic language. A geo-reasoning task is undertaken so that a GIS and a geo-ontologyare integrated in what can correspond to a natural language processing system. The framework isimplemented to demonstrate geo-ontology’s ability to enhance knowledge in malaria control domain.