DSpace
 

Researchspace >

Browsing by Author Britz, K

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 7 to 26 of 26
< previous 
Issue DateTitleAuthor(s)
Dec-2009Finding EL+ justifications using the Earley parsing algorithmNortje, R; Britz, K; Meyer, T
Nov-2008Inductive reasoning in description logicsHalland, K; Britz, K
Jul-2011Investigations into the use of SNOMED CT to enhance an OpenMRS health information systemHalland, K; Britz, K; Gerber, A
Dec-2009Modelling object typicality in description logicsBritz, K; Heidema, J; Meyer, T
Jul-2009Modelling object typicality in description logics - [Workshop on Description Logics]Britz, K; Heidema, J; Meyer, T
Jul-2013Module-theoretic properties of reachability modules for SRIQNortje, R; Britz, K; Meyer, T
Jun-2012Naive ABox abduction in ALC using a DL tableauHalland, K; Britz, K
Dec-2012A normal form for hypergraph-based module extraction for SROIQNortje, R; Britz, K; Meyer, T
Dec-2012Normal modal preferential consequenceBritz, K; Meyer, T; Varzinczak, I
May-2010Pertinent reasoningBritz, K; Heidema, J; Varzinczak, I
Nov-2011Preferential reasoning for modal logicsBritz, K; Meyer, T; Varzinczak, I
Jul-2013Preferential role restrictionsBritz, K; Casini, G; Meyer, T; Varzinczak, I
Dec-2013Reachability modules for the description logic SRIQNortje, R; Britz, K; Meyer, T
Jun-2010Representing chemicals using OWL, description graphs and rulesHastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K
Jun-2010Representing chemicals using OWL, description graphs and rulesHastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K
Dec-2011Semantic foundation for preferential description logicsBritz, K; Meyer, T; Varzinczak, I
Dec-2013Supraclassical consequence relations: Tolerating rare counterexamplesLabuschagne, W; Heidema, J; Britz, K
Jul-2014TBox abduction in ALC using a DL tableauHalland, K; Britz, K; Klarman, S
Nov-2008Technologies for conceptual modelling and intelligent query formulationAlberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L
Jul-2014Towards a logic of DilationBritz, K; Varzinczak, I
Showing results 7 to 26 of 26
< previous 

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback