Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael (2016) Is Query Inseparability for ALC Ontologies Decidable? In: CEUR Workshop Proceedings. Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. CEUR Workshop Proceedings , 1577. CEUR-WS.org (KAR id:91267)
PDF
Publisher pdf
Language: English
This work is licensed under a Creative Commons Attribution 4.0 International License.
|
|
Download this file (PDF/298kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: http://ceur-ws.org/Vol-1577/paper_18.pdf |
Item Type: | Conference or workshop item (Proceeding) |
---|---|
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Amy Boaler |
Date Deposited: | 02 Nov 2021 14:31 UTC |
Last Modified: | 05 Nov 2024 12:56 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/91267 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):