#

justifications

Here are 2 public repositories matching this topic...

saloni-bhandari / natural-language-convertor

a java tool to convert OWL axioms from reasoning tasks to natural language

java ontology owl-api justifications ontology-reasoning

Updated Apr 10, 2024
Java

liveontologies / pinpointing-experiments

Experiments for extracting justifications from proofs.

experiments proofs description-logics pinpointing justifications

Updated Apr 11, 2018
Java

Improve this page

Add a description, image, and links to the justifications topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the justifications topic, visit your repo's landing page and select "manage topics."