|
|
Researchspace >
Browsing by Author Britz, K
Showing results 2 to 19 of 19
| Issue Date | Title | Author(s) | | Jul-2011 | Concept model semantics for DL preferential reasoning | Britz, K; Meyer, T; Varzinczak, I |
| Sep-2011 | Constrained consequence | Britz, K; Heidema, J; Varzinczak, I |
| Jun-2012 | Defeasible modes of inference: A preferential perspective | Britz, K; Varzinczak, I |
| Mar-2011 | Developing a knowledge system for information operations | Leenen, L; Alberts, R; Britz, K; Gerber, A; Meyer, T |
| Dec-2009 | Finding EL+ justifications using the Earley parsing algorithm | Nortje, R; Britz, K; Meyer, T |
| Nov-2008 | Inductive reasoning in description logics | Halland, K; Britz, K |
| Jul-2011 | Investigations into the use of SNOMED CT to enhance an OpenMRS health information system | Halland, K; Britz, K; Gerber, A |
| Dec-2009 | Modelling object typicality in description logics | Britz, K; Heidema, J; Meyer, T |
| Jul-2009 | Modelling object typicality in description logics - [Workshop on Description Logics] | Britz, K; Heidema, J; Meyer, T |
| Jun-2012 | Naive ABox abduction in ALC using a DL tableau | Halland, K; Britz, K |
| Dec-2012 | A normal form for hypergraph-based module extraction for SROIQ | Nortje, R; Britz, K; Meyer, T |
| Dec-2012 | Normal modal preferential consequence | Britz, K; Meyer, T; Varzinczak, I |
| May-2010 | Pertinent reasoning | Britz, K; Heidema, J; Varzinczak, I |
| Nov-2011 | Preferential reasoning for modal logics | Britz, K; Meyer, T; Varzinczak, I |
| Jun-2010 | Representing chemicals using OWL, description graphs and rules | Hastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K |
| Jun-2010 | Representing chemicals using OWL, description graphs and rules | Hastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K |
| Dec-2011 | Semantic foundation for preferential description logics | Britz, K; Meyer, T; Varzinczak, I |
| Nov-2008 | Technologies for conceptual modelling and intelligent query formulation | Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L |
Showing results 2 to 19 of 19
|
