BIROn - Birkbeck Institutional Research Online

    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.

    [img]
    Preview
    Text
    15785.pdf - Published Version of Record

    Download (263kB) | Preview

    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

    Activity Overview
    6 month trend
    57Downloads
    6 month trend
    172Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item