GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email: callcentre@csir.co.za

Browsing by Author "Nortje, R"

Sort by: Order: Results:

  • Nortje, R; Britz, K; Meyer, T (CAIR (Centre for Artificial Intelligence Research), 2013-07)
    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, ...
  • Nortje, R; Britz, K; Meyer, T (Centre for Artificial Intelligence Research, 2012-12)
    Modularization is an important part of the modular design and maintenance of large scale ontologies. Syntactic locality modules, with their desirable model theoretic properties, play an ever increasing role in the design ...
  • 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 ...