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: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Administrator |
| Date Deposited: | 26 Jul 2016 09:30 |
| Last Modified: | 09 Aug 2023 12:38 |
| 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.
Archive Staff Only (login required)
Edit/View Item