Aug 7, 2023 · The present paper considers proofs for DLs extended with concrete domains (CDs) based on the rational numbers, which leave reasoning tractable.
Missing: RuleML23 - Resources.
We have implemented our reasoning and proof extraction approaches for DLs with concrete domains and have evaluated them on several self-created benchmarks ...
Aug 2, 2023 · experiment-RuleML-2023.zip contains the materials used in the experiment described in the paper, and a README file with instructions on how ...
Aug 7, 2023 · The present paper considers proofs for DLs extended with concrete domains (CDs) based on the rational numbers, which leave reasoning tractable ...
Missing: RuleML23 - | Show results with:RuleML23 -
We show how consequences computed by such combined reasoning engines can be explained in a uniform way by proofs that integrate the numerical reasoning steps ...
Missing: RuleML23 - | Show results with:RuleML23 -
These procedures are designed such that it is easy to extract proofs from them. We show how the extracted CD proofs can be combined with proofs on the DL side ...
Missing: RuleML23 - Resources.
Oct 7, 2024 · Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. Version 1. Zenodo, 2023 [all versions] note ...
These procedures are designed such that it is easy to extract proofs from them. We show how the extracted CD proofs can be combined with proofs on the DL side ...
Missing: RuleML23 - | Show results with:RuleML23 -
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. Version 1. Zenodo, 2023 [all versions] note: work in progress.
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources · Christian Alrabbaa,Franz Baader,Stefan Borgwardt,Patrick ...