Description and reasoning for vague ontologies using logic programming Article in IET Software (October 2018)