An ontology for Indonesian administrative divisions.