BIROn - Birkbeck Institutional Research Online

    A decidable extension of SROIQ with complex role chains and unions

    Mosurovic, N. and Krdzavac, H. and Graves, M. and Zakharyaschev, Michael (2013) A decidable extension of SROIQ with complex role chains and unions. Journal of Artificial Intelligence Research 47 , pp. 809-851. ISSN 1076-9757.

    Full text not available from this repository.

    Abstract

    We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. The new logic, called SR+OIQ, supports a controlled use of role axioms whose right-hand side may contain role chains or role unions. We give a tableau algorithm for checking concept satisfiability with respect to SR+OIQ ontologies and prove its soundness, completeness and termination.

    Metadata

    Item Type: Article
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Administrator
    Date Deposited: 29 Apr 2015 14:22
    Last Modified: 11 Oct 2016 12:01
    URI: https://eprints.bbk.ac.uk/id/eprint/12005

    Statistics

    Downloads
    Activity Overview
    0Downloads
    141Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item