SISTEM PENELUSURAN RUANG KERJA PEGAWAI UNIVERSITAS PGRI YOGYAKARTA DENGAN REPRESENTASI KNOWLEDGE VIA LOGIC STATEMENTS (Universitas PGRI Yogyakarta, 2016)