Katarina Britz

Wolf-Tilo Balke

Proceedings of the Conceptual Modeling - 42nd International Conference, 2023

2021

Principles of KLM-style Defeasible Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2021

Debugging Classical Ontologies Using Defeasible Reasoning Tools.

[BibT_eX]

[DOI]

Simone Coetzer

Proceedings of the Formal Ontology in Information Systems, 2021

2019

Theoretical Foundations of Defeasible Description Logics.

[BibT_eX]

[DOI]

CoRR, 2019

Contextual rational closure for defeasible ALC.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2019

Preferential Tableaux for Contextual Defeasible ALC.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

ConceptCloud 2.0 Visualisation and Exploration of Geolocation-Rich Semi-Structured Data Sets.

[BibT_eX]

[DOI]

Proceedings of the Supplementary Proceedings of ICFCA 2019 Conference and Workshops, 2019

Contextual Rational Closure for Defeasible ALC (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Reasoning with Contextual Defeasible ALC.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

A KLM Perspective on Defeasible Reasoning for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Preferential Accessibility and Preferred Worlds.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2018

From KLM-style conditionals to defeasible modalities, and back.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2018

Generating Armstrong ABoxes for ALC ALC TBoxes.

[BibT_eX]

[DOI]

Henriette Harmse

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Informative Armstrong RDF Datasets for n-Ary Relations.

[BibT_eX]

[DOI]

Henriette Harmse

Proceedings of the Formal Ontology in Information Systems, 2018

Rationality and Context in Defeasible Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

Towards Defeasible SROIQ.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Context-based defeasible subsumption for dSROIQ.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

2016

Introducing Role Defeasibility in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Armstrong Relations for Ontology Design and Evaluation.

[BibT_eX]

[DOI]

Henriette Harmse

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Ontology Learning from Interpretations in Lightweight Description Logics.

[BibT_eX]

[DOI]

Szymon Klarman

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Towards Unsupervised Ontology Learning from Data.

[BibT_eX]

[DOI]

Szymon Klarman

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

2014

Scenario Testing Using Formal Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 1st Joint Workshop ONTO.COM / ODISE on Ontologies in Conceptual Modeling and Information Systems Engineering co-located with 8th International Conference on Formal Ontology in Information Systems, 2014

TBox Abduction in ALC Using a DL Tableau.

[BibT_eX]

[DOI]

Szymon Klarman

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Towards a Logic of Dilation.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

2013

Defeasible Modalities.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Reachability Modules for the Description Logic $\mathcal{SRIQ}$.

[BibT_eX]

[DOI]

Riku Nortje

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Module-theoretic Properties of Reachability Modules for SRIQ.

[BibT_eX]

[DOI]

Riku Nortje

Willem Adrian Labuschagne

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Preferential Role Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Supraclassical Consequence Relations - Tolerating Rare Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

ABox abduction in ALC using a DL tableau.

[BibT_eX]

[DOI]

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Naive ABox abduction in ALC using a DL tableau.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Normal Modal Preferential Consequence.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

Investigations into the use of SNOMED CT to enhance an OpenMRS health information system.

[BibT_eX]

[DOI]

South Afr. Comput. J., 2011

Constrained Consequence.

[BibT_eX]

[DOI]

Logica Universalis, 2011

Preferential Reasoning for Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Bidirectional Reachability-Based Modules.

[BibT_eX]

[DOI]

Riku Nortje

Thomas Andreas Meyer

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Concept Model Semantics for DL Preferential Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Semantic Foundation for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

2010

Representing Chemicals Using OWL, Description Graphs and Rules.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

2009

Semantics for Dual Preferential Entailment.

[BibT_eX]

[DOI]

Willem Adrian Labuschagne

J. Philos. Log., 2009

Modelling Object Typicality in Description Logics.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

KT and S4 Satisfiability in a Constraint Logic Environment.

[BibT_eX]

[DOI]

Lynn Stevenson

Tertia Hörne

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Semantic Preferential Subsumption.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2003

Semiring-Valued Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2002

Implication in three-valued logics of partial information.

[BibT_eX]

[DOI]

South Afr. Comput. J., 2002

1999

A Power Algebra for Theory Change.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1999

1995

Computing Verisimilitude.

[BibT_eX]

[DOI]

Chris Brink

Notre Dame J. Formal Log., 1995

1994

Peirce Algebras.

[BibT_eX]

[DOI]

Chris Brink

Renate A. Schmidt

Formal Aspects Comput., 1994

1993

Peirce Algebras.

[BibT_eX]

Chris Brink