a java tool to convert OWL axioms from reasoning tasks to natural language
-
Updated
Apr 10, 2024 - Java
8000
a java tool to convert OWL axioms from reasoning tasks to natural language
Инициатива по экономии 70% бюджета по одной из основных статей расхода, внесшая изменения в Планы международного сотрудничества
Justifications taxonomy extending the Data Privacy Vocabulary (DPV) to describe information related with rights exercising activities.
Experiments for extracting justifications from proofs.
Add a description, image, and links to the justifications topic page so that developers can more easily learn about it.
To associate your repository with the justifications topic, visit your repo's landing page and select "manage topics."