Published May 27, 2020 | Version v1
Dataset Open

Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources

Authors/Creators

  • 1. Technische Universität Dresden

Description

experiments-LPAR-2020 contains all datasets and scripts used in the experiments described in the paper, and a README file with instructions on how to rerun the experiments.

Files

experiments-LPAR-2020.zip

Files (403.4 MB)

Name Size
md5:b5ab1d518306f1ae5b7dbd46b129a367
403.4 MB Preview Download