Published August 2, 2023
| Version v2
Dataset
Open
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources
Authors/Creators
- 1. Technische Universität Dresden
- 2. Vrije Universiteit Amsterdam
Description
experiment-RuleML-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-2023.zip
Files
(51.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:91db44cffc0e788febc9812980e1dada
|
51.5 MB | Preview Download |