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

Browsing by Author "Britz, K"

Sort by: Order: Results:

  • Halland, K; Britz, K (PRASA 2008, 2008-11)
    Inductive reasoning is a form of inconclusive reasoning for making generalisations based on observations. In the field of pattern recognition, inductive reasoning is often called learning, where general rules are derived ...
  • Halland, K; Britz, K; Gerber, A (Computer Society of South Africa, 2011-07)
    In this paper, the authors discuss the advantages of using formal medical ontologies to enhance health information systems. In particular, they consider the suitability of the medical ontology Snomed CT for enhancing a ...
  • Britz, K; Heidema, J; Meyer, T (Springer Verlag, 2009-12)
    The authors present a semantic model of typicality of concept members in description logics (DLs) that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general ...
  • Britz, K; Heidema, J; Meyer, T (Pub Zone scientific publication discussion forum, 2009-07)
    The authors presents a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general ...
  • 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, ...
  • Halland, K; Britz, K (Sun SITE Central Europe (CEUR), 2012-06)
    The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. An observation which is not entailed by the knowledge base will result in ...
  • 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 ...
  • Britz, K; Meyer, T; Varzinczak, I (2012-12)
    One of the most successful approaches to the formalization of commonsense reasoning is the work by Lehmann and colleagues, known as the KLM approach, in which defeasible consequence relations with a preferential semantics ...
  • Klarman, S; Britz, K (25th International Conference On Inductive Logic Programming, 2015-08)
    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 - ...
  • Britz, K; Heidema, J; Varzinczak, I (2010-05)
    In this paper the authors venture beyond one of the fundamental assumptions in the non-monotonic reasoning community, namely that non-monotonic entailment is supra-classical. They investigate reasoning which uses an ...
  • Britz, K; Meyer, T; Varzinczak, I (Elsevier, 2011-11)
    Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential ...
  • Britz, K; Casini, G; Meyer, T; Varzinczak, I (CAIR (Centre for Artificial Intelligence Research), 2013-07)
    We extend the Description Logic ALC with preferential role restrictions as class constructs, and argue that preferential universal restriction represents a defeasible version of standard universal restriction. The resulting ...
  • 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 ...