Towards a concurrent approximate description logic reasonerRaj Kamal YadavGunjan Singhet al.2019ISWC-Satellites 2019