When is query inseparability for ALC Ontologies decidable?
Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) When is query inseparability for ALC Ontologies decidable? CEUR Workshop Proceedings 1577 , ISSN 1613-0073.
|
Text
15785.pdf - Published Version of Record Download (263kB) | Preview |
Official URL: http://www.ceur-ws.org/Vol-1577/paper_18.pdf
Metadata
Item Type: | Article |
---|---|
Additional Information: | Proceedings of the 29th International Workshop on Description Logics - Cape Town, South Africa, April 22-25, 2016. Edited by Maurizio Lenzerini, Rafael Peñaloza ISSN: 1613-0073 |
School: | School of Business, Economics & Informatics > Computer Science and Information Systems |
Depositing User: | Administrator |
Date Deposited: | 26 Jul 2016 09:30 |
Last Modified: | 18 Jun 2021 17:18 |
URI: | https://eprints.bbk.ac.uk/id/eprint/15785 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.