Katarina Britz

47 papers A* 1A 1B 6C 3Journal 15Unranked 21

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