A Distributed Tableau Algorithm for Packagebased Description Logics
https://www.powershow.com/view/4cc2a-ZjI3N/A_Distributed_Tableau_Algorithm_for_Packagebased_Description_Logics_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
