default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKatarina Britz
Person information
- affiliation: Stellenbosch University, Centre for AI Research, South Africa
- affiliation: University of South Africa, Department of Computer Science and Information Systems, Pretoria, South Africa
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c38]Florian Plötzky
, Katarina Britz, Wolf-Tilo Balke:
Shards of Knowledge - Modeling Attributions for Event-Centric Knowledge Graphs. ER 2023: 259-276- 2021
- [j11]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): 1:1-1:46 (2021) - [c37]Simone Coetzer, Katarina Britz:
Debugging Classical Ontologies Using Defeasible Reasoning Tools. FOIS 2021: 97-111
2010 – 2019
- 2019
- [j10]Katarina Britz, Ivan Varzinczak:
Contextual rational closure for defeasible ALC. Ann. Math. Artif. Intell. 87(1-2): 83-108 (2019) - [c36]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: 147-173 - [c35]Katarina Britz, Ivan Varzinczak:
Reasoning with Contextual Defeasible ALC. Description Logics 2019 - [c34]Katarina Britz, Ivan Varzinczak:
Contextual Rational Closure for Defeasible ALC (Extended Abstract). Description Logics 2019 - [c33]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: 88-93 - [c32]Katarina Britz, Ivan Varzinczak:
Preferential Tableaux for Contextual Defeasible ALC. TABLEAUX 2019: 39-57 - [i2]Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Theoretical Foundations of Defeasible Description Logics. CoRR abs/1904.07559 (2019) - 2018
- [j9]Katarina Britz, Ivan Varzinczak:
From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non Class. Logics 28(1): 92-121 (2018) - [j8]Katarina Britz, Ivan Varzinczak:
Preferential Accessibility and Preferred Worlds. J. Log. Lang. Inf. 27(2): 133-155 (2018) - [c31]Katarina Britz, Ivan Varzinczak:
Rationality and Context in Defeasible Subsumption. FoIKS 2018: 114-132 - [c30]Henriette Harmse, Katarina Britz, Aurona Gerber:
Informative Armstrong RDF Datasets for n-Ary Relations. FOIS 2018: 187-199 - [c29]Henriette Harmse, Katarina Britz, Aurona Gerber:
Generating Armstrong ABoxes for ALC ALC TBoxes. ICTAC 2018: 211-230 - 2017
- [c28]Katarina Britz, Ivan Varzinczak:
Context-based defeasible subsumption for dSROIQ. COMMONSENSE 2017 - [c27]Katarina Britz, Ivan Varzinczak:
Towards Defeasible SROIQ. Description Logics 2017 - 2016
- [c26]Henriette Harmse, Katarina Britz, Aurona Gerber:
Armstrong Relations for Ontology Design and Evaluation. Description Logics 2016 - [c25]Katarina Britz, Ivan Varzinczak:
Introducing Role Defeasibility in Description Logics. JELIA 2016: 174-189 - 2015
- [c24]Szymon Klarman, Katarina Britz:
Towards Unsupervised Ontology Learning from Data. DARe@IJCAI 2015 - [c23]Szymon Klarman, Katarina Britz:
Ontology Learning from Interpretations in Lightweight Description Logics. ILP 2015: 76-90 - 2014
- [c22]Arina Britz, Ivan Varzinczak:
Towards a Logic of Dilation. PRUV 2014: 59-73 - [c21]Ken Halland, Arina Britz, Szymon Klarman:
TBox Abduction in ALC Using a DL Tableau. Description Logics 2014: 556-566 - [c20]Hendrina Harmse, Katarina Britz, Aurona Gerber, Deshendran Moodley:
Scenario Testing Using Formal Ontologies. ONTO.COM/ODISE@FOIS 2014 - 2013
- [c19]Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz:
Supraclassical Consequence Relations - Tolerating Rare Counterexamples. Australasian Conference on Artificial Intelligence 2013: 326-337 - [c18]Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Preferential Role Restrictions. Description Logics 2013: 93-106 - [c17]Riku Nortje, Arina Britz, Thomas Meyer:
Module-theoretic Properties of Reachability Modules for SRIQ. Description Logics 2013: 868-884 - [c16]Riku Nortje, Katarina Britz, Thomas Meyer:
Reachability Modules for the Description Logic $\mathcal{SRIQ}$. LPAR 2013: 636-652 - [c15]Katarina Britz, Ivan Varzinczak:
Defeasible Modalities. TARK 2013 - [i1]Katarina Britz, Ivan Varzinczak:
Defeasible Modalities. CoRR abs/1310.6409 (2013) - 2012
- [c14]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence 2012: 505-516 - [c13]Ken Halland, Katarina Britz:
Naive ABox abduction in ALC using a DL tableau. Description Logics 2012 - [c12]Ken Halland, Katarina Britz:
ABox abduction in ALC using a DL tableau. SAICSIT 2012: 51-58 - 2011
- [j7]Katarina Britz, Johannes Heidema, Ivan Varzinczak:
Constrained Consequence. Logica Universalis 5(2): 327-350 (2011) - [j6]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: 33-45 (2011) - [c11]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence 2011: 491-500 - [c10]Arina Britz, Thomas Meyer, Ivan Varzinczak:
Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011 - [c9]Riku Nortje, Arina Britz, Thomas Andreas Meyer:
Bidirectional Reachability-Based Modules. Description Logics 2011 - [c8]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Preferential Reasoning for Modal Logics. M4M/LAMAS 2011: 55-69 - 2010
- [c7]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
2000 – 2009
- 2009
- [j5]Katarina Britz, Johannes Heidema, Willem Adrian Labuschagne:
Semantics for Dual Preferential Entailment. J. Philos. Log. 38(4): 433-446 (2009) - [c6]Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence 2009: 506-516 - [c5]Katarina Britz, Johannes Heidema, Tommie Meyer:
Modelling Object Typicality in Description Logics. Description Logics 2009 - 2008
- [c4]Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Semantic Preferential Subsumption. KR 2008: 476-484 - [c3]Lynn Stevenson, Katarina Britz, Tertia Hörne:
KT and S4 Satisfiability in a Constraint Logic Environment. PRICAI 2008: 370-381 - 2003
- [c2]Katarina Britz, Johannes Heidema:
Semiring-Valued Satisfiability. Australian Conference on Artificial Intelligence 2003: 402-413 - 2002
- [j4]Katarina Britz:
Implication in three-valued logics of partial information. South Afr. Comput. J. 28: 39-43 (2002)
1990 – 1999
- 1999
- [j3]Katarina Britz:
A Power Algebra for Theory Change. J. Log. Lang. Inf. 8(4): 429-443 (1999) - 1995
- [j2]Katarina Britz, Chris Brink:
Computing Verisimilitude. Notre Dame J. Formal Log. 36(1): 30-43 (1995) - 1994
- [j1]Chris Brink, Katarina Britz, Renate A. Schmidt:
Peirce Algebras. Formal Aspects Comput. 6(3): 339-358 (1994) - 1993
- [c1]Chris Brink, Katarina Britz:
Peirce Algebras. AMAST 1993: 163-166
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-29 00:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
