Home » Research » Research outputs » Module-theoretic properties of reachability modules for SRIQ

Module-theoretic properties of reachability modules for SRIQ

2013

  • Authors:
    Riku Nortjé , Arina Britz , Tommie Meyer

    Publication date:
    2013

    Institution:

    Output type:
    Workshop paper

    Abstract:

    In this paper we investigate the module-theoretic properties of bot and top-reachability modules in terms of inseparability relations for the DL SRIQ. We show that, although these modules are not depleting or self-contained, they share the robustness properties of syntactic locality modules and preserve all justifications for an entailment.

    Document file: