“…The reasoner is responsible for performing logical inferences in OWL code. The reasoning services in DL are provided by reasoners, such as HermiT [65], FaCT ++ , [66], Pellet [67], RacerPro [68], CEL [69], and RACCOOM [70]. In this research, the Pellet was used, an OWL compatible reasoner for inconsistency checking.…”