Published June 23, 2022
| Version v1
Dataset
Open
Supplemental data for submission "Bridging between LegalRuleML and TPTP for Automated Normative Reasoning"
Authors/Creators
- 1. University of Greifswald
- 2. University of Luxembourg
Description
These files are supplementary material to the submission
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
by
Alexander Steen and David Fuenmayor
submitted to the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), 2022.
Files ex1.lrml.xml and ex2.lrml.xml are two example LegalRuleML files.
Files ex1.dsl.p and ex2.dsl.p are two examples from above translated to the NMF DSL.
The files ex1.output.X.p and ex2.output.X.p are the translations of the NMF files into the concrete logic X (X = SDL or X = cJ (Carmo Jones) or X = aqvist (system E)).
Alexander Steen, <alexander.steen@uni-greifswald.de>
Files
ex1.lrml.xml
Files
(12.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f94bb3a5f57a9957b2ba7a0ca84e95cb
|
550 Bytes | Download |
|
md5:67908bcd39e031adb00377048ceb3979
|
3.7 kB | Preview Download |
|
md5:9d239ba724682a0b052751b9473e6aa1
|
677 Bytes | Download |
|
md5:16ac5ef5b2f240a034baa67a780ac11a
|
683 Bytes | Download |
|
md5:dd1b654b32a194e017723c9f2a5cd47e
|
744 Bytes | Download |
|
md5:4eb4805a49571ab7aca0ff0cf1f47cd2
|
447 Bytes | Download |
|
md5:6ed3a887a0a170c63bc5cd4b77b37de6
|
3.3 kB | Preview Download |
|
md5:26b539290116e38dab8d99b96cba4973
|
584 Bytes | Download |
|
md5:a94f34dec623124245ba8b7c67796f65
|
590 Bytes | Download |
|
md5:68948716d227c4b1f3c6c20976e18288
|
641 Bytes | Download |
|
md5:076aab9ce005f011201f3dc525e8e8d0
|
650 Bytes | Preview Download |