Published August 2, 2023
| Version v3
Dataset
Open
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources
Creators
- 1. Technische Universität Dresden
- 2. Vrije Universiteit Amsterdam
Description
experiment-RuleML+RR-2023.zip contains the materials used in the experiment described in the paper, and a README file with instructions on how to rerun the experiment.
Files
experiment-RuleML+RR-2023.zip
Files
(51.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c8ebca7998e2d03975753d7c94654f0c
|
51.4 MB | Preview Download |