Debugging Classical Ontologies Using Defeasible Reasoning Tools.

Simone Coetzer Katarina Britz

Published in: FOIS (2021)

Keyphrases

defeasible reasoning
defeasible logic
knowledge base
formal semantics
argumentation systems
knowledge representation
legal reasoning
general purpose
design patterns
conditional logic
incomplete information
rule base
argumentation frameworks