Katarina Britz

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 19

Top Topics

Description Logics

Defeasible Reasoning

Top Venues

Description Logics

Ann. Math. Artif. Intell.

Publications

Florian Plötzky, Katarina Britz, Wolf-Tilo Balke
Shards of Knowledge - Modeling Attributions for Event-Centric Knowledge Graphs. ER (2023)
Simone Coetzer, Katarina Britz
Debugging Classical Ontologies Using Defeasible Reasoning Tools. FOIS (2021)
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. 22 (1) (2021)
Katarina Britz, Ivan Varzinczak
Reasoning with Contextual Defeasible ALC. Description Logics (2019)
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
Theoretical Foundations of Defeasible Description Logics. CoRR (2019)
Tiaan du Toit, Joshua Berndt, Katarina Britz, Bernd Fischer
ConceptCloud 2.0 Visualisation and Exploration of Geolocation-Rich Semi-Structured Data Sets. ICFCA (Supplements) (2019)
Katarina Britz, Ivan Varzinczak
Contextual Rational Closure for Defeasible ALC (Extended Abstract). Description Logics (2019)
Katarina Britz, Ivan Varzinczak
Contextual rational closure for defeasible ALC. Ann. Math. Artif. Intell. 87 (1-2) (2019)
Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That (2019)
Katarina Britz, Ivan Varzinczak
. TABLEAUX (2019)
Katarina Britz, Ivan José Varzinczak
Rationality and Context in Defeasible Subsumption. FoIKS (2018)
Henriette Harmse, Katarina Britz, Aurona Gerber
Informative Armstrong RDF Datasets for n-Ary Relations. FOIS (2018)
Katarina Britz, Ivan José Varzinczak
From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non Class. Logics 28 (1) (2018)
Henriette Harmse, Katarina Britz, Aurona Gerber
ALC TBoxes. ICTAC (2018)
Katarina Britz, Ivan José Varzinczak
Preferential Accessibility and Preferred Worlds. J. Log. Lang. Inf. 27 (2) (2018)
Katarina Britz, Ivan José Varzinczak
Context-based defeasible subsumption for dSROIQ. COMMONSENSE (2017)
Katarina Britz, Ivan José Varzinczak
Towards Defeasible SROIQ. Description Logics (2017)
Katarina Britz, Ivan José Varzinczak
Introducing Role Defeasibility in Description Logics. JELIA (2016)
Henriette Harmse, Katarina Britz, Aurona Gerber
Armstrong Relations for Ontology Design and Evaluation. Description Logics (2016)
Szymon Klarman, Katarina Britz
Towards Unsupervised Ontology Learning from Data. DARe@IJCAI (2015)
Szymon Klarman, Katarina Britz
Ontology Learning from Interpretations in Lightweight Description Logics. ILP (2015)
Hendrina Harmse, Katarina Britz, Aurona Gerber, Deshendran Moodley
Scenario Testing Using Formal Ontologies. ONTO.COM/ODISE@FOIS (2014)
Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz
Supraclassical Consequence Relations - Tolerating Rare Counterexamples. Australasian Conference on Artificial Intelligence (2013)
Katarina Britz, Ivan José Varzinczak
Defeasible Modalities. CoRR (2013)
Katarina Britz, Ivan José Varzinczak
Defeasible Modalities. TARK (2013)
Riku Nortje, Katarina Britz, Thomas Meyer
Reachability Modules for the Description Logic $\mathcal{SRIQ}$. LPAR (2013)
Ken Halland, Katarina Britz
using a DL tableau. SAICSIT (2012)
Ken Halland, Katarina Britz
Naive ABox abduction in ALC using a DL tableau. Description Logics (2012)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence (2012)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence (2011)
Katarina Britz, Johannes Heidema, Ivan José Varzinczak
Constrained Consequence. Logica Universalis 5 (2) (2011)
Ken Halland, Katarina Britz, Aurona Gerber
Investigations into the use of SNOMED CT to enhance an OpenMRS health information system. South Afr. Comput. J. 47 (2011)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Preferential Reasoning for Modal Logics. Electron. Notes Theor. Comput. Sci. 278 (2011)
Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz
Representing Chemicals Using OWL, Description Graphs and Rules. OWLED (2010)
Katarina Britz, Johannes Heidema, Willem Adrian Labuschagne
Semantics for Dual Preferential Entailment. J. Philos. Log. 38 (4) (2009)
Katarina Britz, Johannes Heidema, Tommie Meyer
Modelling Object Typicality in Description Logics. Description Logics (2009)
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence (2009)
Lynn Stevenson, Katarina Britz, Tertia Hörne
KT and S4 Satisfiability in a Constraint Logic Environment. PRICAI (2008)
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
Semantic Preferential Subsumption. KR (2008)
Katarina Britz, Johannes Heidema
Semiring-Valued Satisfiability. Australian Conference on Artificial Intelligence (2003)
Katarina Britz
Implication in three-valued logics of partial information. South Afr. Comput. J. 28 (2002)
Katarina Britz
A Power Algebra for Theory Change. J. Log. Lang. Inf. 8 (4) (1999)
Katarina Britz, Chris Brink
Computing Verisimilitude. Notre Dame J. Formal Log. 36 (1) (1995)
Chris Brink, Katarina Britz, Renate A. Schmidt
Peirce Algebras. Formal Aspects Comput. 6 (3) (1994)
Chris Brink, Katarina Britz
Peirce Algebras. AMAST (1993)