Conservative Rewritability of Description Logic TBoxes Boris Konev,1 Carsten Lutz,2 Frank Wolter1 and Michael Zakharyaschev3 2 3 Univ. of Liverpool, UK Univ. of Bremen, Germany

First Page		Document Content
Date: 2016-05-20 12:02:25		Conservative Rewritability of Description Logic TBoxes Boris Konev,1 Carsten Lutz,2 Frank Wolter1 and Michael Zakharyaschev3 2 3 Univ. of Liverpool, UK Univ. of Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Download Document from Source Website File Size: 427,92 KB Share Document on Facebook