The Shape of EL Proofs: A Tale of Three Calculi - DL25 - Resources

Alrabbaa, Christian; Borgwardt, Stefan; Herrmann, Philipp; Krötzsch, Markus

doi:10.5281/zenodo.16320822

Published July 22, 2025 | Version v1

Dataset Open

The Shape of EL Proofs: A Tale of Three Calculi - DL25 - Resources

Alrabbaa, Christian¹
Borgwardt, Stefan¹
Herrmann, Philipp¹
Krötzsch, Markus¹

1. TU Dresden

experiment-DL2025.zip contains the materials used in the experiment described in the paper, in addition to a README file with instructions on how to run the experiment.

Files

experiment-DL2025.zip

Files (171.7 MB)

Name	Size	Download all
experiment-DL2025.zip md5:6455fca02bbae589adc4f848d4dcfb97	171.7 MB	Preview Download

Views

Downloads

Show more details

	All versions	This version
Views	23	23
Downloads	9	9
Data volume	1.7 GB	1.7 GB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: July 22, 2025
Modified: July 22, 2025

The Shape of EL Proofs: A Tale of Three Calculi - DL25 - Resources

Authors/Creators

Description

Files

experiment-DL2025.zip

Files (171.7 MB)