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 - Bozen - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2016-05-20 12:05:24 Open Document File Size: 363,42 KB Share Result on Facebook

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