Suwan Tongphu, Boontawee Suntisrivaraporn. A Non-standard Instance Checking for the Description Logic ELH. In Joaquim Filipe, Jan L. G. Dietz, David Aveiro, editors, KEOD 2014 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Rome, Italy, 21-24 October, 2014. pages 67-74, SciTePress, 2014. [doi]
Abstract is missing.