Ontology for Starcraft used in LUiGi and LUiGi-H

This ontology is for the real-time strategy game Starcraft: Broodwar. A primary aim of the ontology is to be able to infer concepts such as "PlayerX controlsRegion region1", "region1 subClassOf ContestedRegion",  where regions are known apriori (we used Broodwar Terrain Analyzer (BWTA) to compute the regions, which are polygons). By inferring such concepts, we now have facts about players controlling areas of the maps without worrying about low level details (such as the exact x,y coordinates, or exact number of units in the region).