GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email:

Browsing by Author "Nortje, R"

Sort by: Order: Results:

  • Nortje, R; Britz, K; Meyer, T (Springer Verlag, 2013-12)
    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 inseperability relations, we investigate the ...