The BOWiki uses a information logic [24] reasoner to perform those regularity assessments. Any layer of abstraction is required involving the BOWiki software along with the description judge… Read More