RuleML+RR 2023: Experimental Materials for Combining Proofs in Description Logic

Experiment materials from a 2023 paper on combining proofs for description logic and concrete domain reasoning. The dataset includes files needed to rerun the experiment described by Christian Alrabbaa of Technische Universität Dresden. The materials are provided under an Open Access (green) license.

Use Cases

• Replicating the described experiment based on the included materials and instructions.
• Benchmarking new reasoning algorithms against the provided experimental setup.
• Studying proof combination techniques for description logic with concrete domains.

Strengths

• Includes a README file with instructions for rerunning the experiment.
• Directly associated with a peer-reviewed conference paper from RuleML+RR 2023.

Limitations

• Description metadata is limited; actual data quality requires manual inspection after download.
• Column-level documentation is absent; field semantics must be inferred after download.
• Row count, file formats, and data size are unknown, which may limit suitability assessment.

Provenance

Source

Christian Alrabbaa, Technische Universität Dresden

Collection Method

Created as part of research for the RuleML+RR 2023 conference paper.