Skip to main content

Is Query Inseparability for ALC Ontologies Decidable?

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. (KAR id:91267)

PDF Publisher pdf
Language: English

Click to download this file (298kB) Preview
[thumbnail of paper_18.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:
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: 04 Nov 2021 16:43 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.