@inproceedings{KEOD-2014-TongphuS,
	author        = "Suwan Tongphu and Boontawee Suntisrivaraporn",
	booktitle     = "{Proceedings of the Sixth International Conference on Knowledge Engineering and Ontology Development}",
	doi           = "10.5220/0005074900670074",
	isbn          = "978-989-758-049-9",
	pages         = "67--74",
	publisher     = "{SciTePress}",
	title         = "{A Non-standard Instance Checking for the Description Logic ELH}",
	year          = 2014,
}