Query-Based Entailment and Inseparability for ALC Ontologies Elena Botoeva,1 Carsten Lutz,2 Vladislav Ryzhikov,1 Frank Wolter3 and Michael Zakharyaschev4 1 Faculty of Computer Science, Free University of Bozen-Bolzano 2

First Page		Document Content
Date: 2016-05-20 12:05:24		Query-Based Entailment and Inseparability for ALC Ontologies Elena Botoeva,1 Carsten Lutz,2 Vladislav Ryzhikov,1 Frank Wolter3 and Michael Zakharyaschev4 1 Faculty of Computer Science, Free University of Bozen-Bolzano 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Download Document from Source Website File Size: 363,42 KB Share Document on Facebook