Home » Research » Research outputs » Reachability modules for the Description Logic SRIQ

Reachability modules for the Description Logic SRIQ

2013

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

    Publication date:
    2013

    Institution:

    Output type:
    Conference proceedings

    Abstract:

    In this paper we investigate module extraction for the Description Logic SRIQ. We formulate modules in terms of the reachability problem for directed hypergraphs. Using inseparability relations, we
    investigate the module-theoretic properties of reachability modules and
    show by means of an empirical evaluation that these modules have the
    potential of being substantially smaller than syntactic locality modules.

    Document file: