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

Browsing by Author "Britz, K"

Sort by: Order: Results:

  • Britz, K; Meyer, T; Varzinczak, I (Conference paper, 2011-07)
    The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provide the foundation for the determination of the important ...
  • Britz, K; Heidema, J; Varzinczak, I (Springer verlag (germany), 2011-09)
    There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts ...
  • Britz, K; Varzinczak, I (Centre for Artificial Intelligence Research, 2013-01)
    Nonmonotonic logics are usually characterized by the presence of some notion of `conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms ...
  • Britz, K; Varzinczak, I (2012-06)
    Historically, approaches to defeasible reasoning have been concerned mostly with one aspect of defeasibility, viz. that of arguments, in which the focus is on normality of the premise. In this paper we are interested in ...
  • Leenen, L; Alberts, R; Britz, K; Gerber, A; Meyer, T (2011-03)
    In this paper we describe a research project to develop an optimal information retrieval system in an Information Operations domain. Information Operations is the application and management of information to gain an advantage ...
  • Nortje, R; Britz, K; Meyer, T (2009-12)
    Module extraction plays an important role in the reuse of ontologies as well as in the simplification and optimization of some reasoning tasks such as finding justifications for entailments. In this paper the authors focus ...
  • 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 ...