"A Non-standard Instance Checking for the Description Logic ELH."

Suwan Tongphu, Boontawee Suntisrivaraporn (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics