Featured Dataverses

In order to use this feature you must have at least one published or linked dataverse.

Publish Dataverse

Are you sure you want to publish your dataverse? Once you do so it must remain published.

Publish Dataverse

This dataverse cannot be published because the dataverse it is in has not been published.

Delete Dataverse

Are you sure you want to delete your dataverse? You cannot undelete this dataverse.

Advanced Search

1 to 10 of 13 Results
Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
Oct 20, 2026
Hernández, Daniel; Pan, Jiaxin; Mohammed, Osama; Thapa, Ratan Bahadur; Staab, Steffen, 2026, "Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+", https://doi.org/10.18419/DARUS-6407, DaRUS, V1
Supplementary material for the paper "Faithful Box Embeddings for Linear Temporal EL+" (NeSy 2026). The deposit bundles two git repositories, namely the experiment code (synthetic LTEL+ TBox generator, entailment oracle, training harness for the BoxEL, Box²EL, and TransBox bases, and the Wikidata extraction pipeline) and the Lean 4 formalization of...
CITATION.cff
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
Unknown - 1.3 KB - MD5: 4de36363270fa03926b96e48aca71517
codemeta.json
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
JSON - 1.4 KB - MD5: 97fe4a394b9512c5ea03e5076411b19e
datasets.tar.gz
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
Gzip Archive - 1.1 GB - MD5: 847ab2a1088aae1fa927bc130ffcabf6
LICENSE.md
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
Markdown Text - 1.7 KB - MD5: 6a9918ef12e8e8231aa5addb488e1dec
nesy-ltel-code.bundle
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
Unknown - 140.1 KB - MD5: 53b1fb431f28004792be120490aee52e
nesy-ltel-code-src.zip
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
ZIP Archive - 106.5 KB - MD5: f9237f73873e66d1bce17ca98189e41b
nesy-ltel-lean.bundle
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
Unknown - 74.8 KB - MD5: a3699405deb441e7dcd691ffb2f42de2
nesy-ltel-lean-src.zip
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
ZIP Archive - 51.2 KB - MD5: 28eafa1af8883b7b82b767520ec22367
README.md
Oct 20, 2026 - Code and Formalized Proofs for: Faithful Box Embeddings for Linear Temporal EL+
Markdown Text - 2.8 KB - MD5: 7b0ed584f465854fc5419f6eee646cc2
Add Data

Log in to create a dataverse or add a dataset.

Log In
Share Dataverse

Share this dataverse on your favorite social media networks.

Link Dataverse
Reset Modifications

Are you sure you want to reset the selected metadata fields? If you do this, any customizations (hidden, required, optional) you have done will no longer appear.