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

Browsing by Author "Britz, K"

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 ...
  • Hastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K (2010-06)
    Objects can be said to be structured when their representation also contains their parts. While OWL in general can describe structured objects, description graphs are a recent, decidable extension to OWL which support the ...
  • Hastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K (2010-06)
    Objects can be said to be structured when their representation also contains their parts. While OWL in general can describe structured objects, description graphs are a recent, decidable extension to OWL which support the ...
  • Harmse, HF; Britz, K; Gerber, A; Moodley, D (CEUR-WS, 2014-09)
    One of the challenges in the Software Development Life Cycle (SDLC) is to ensure that the requirements that drive the development of a software system are correct. However, establishing unambiguous and error-free requirements ...
  • Britz, K; Meyer, T; Varzinczak, I (2011-12)
    Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning ...
  • Labuschagne, W; Heidema, J; Britz, K (Springer, 2013-12)
    We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the ...
  • Halland, K; Britz, K; Klarman, S (2014-07)
    The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed. TBox abduction in description logics (DLs) asks what TBox axioms need to be added to a DL ...
  • Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L (CSIR, 2008-11)
    The aim of the project is to devise and evaluate algorithms, methodologies, techniques and interaction paradigms to build a tool for conceptual modelling and query management of complex data repositories based on a framework ...
  • Britz, K; Varzinczak, I (2014-07)
    We investigate the notion of dilation of a propositional theory based on neighbourhoods in a generalized approximation space.We take both a semantic and a syntactic approach in order to define a suitable notion of theory ...
  • Klarman, S; Britz, K (CEUR-WS, 2015-07)
    Data-driven elicitation of ontologies from structured data is a well-recognized knowledge acquisition bottleneck. The development of efficient techniques for (semi-)automating this task is therefore practically vital — ...