the two of them run wild in the forest for years before being separated irankoroza igakomeza kunkomakoma mcguinness is known for her work on description logics