1 research outputs found

    Module-theoretic properties of reachability modules for SRIQ

    No full text
    Abstract. In this paper we investigate the module-theoretic properties of βŠ₯ βˆ’ and ⊀-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.
    corecore