An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
From MaRDI portal
Publication:6104768
DOI10.1007/978-3-319-99906-7_16zbMath1518.68357OpenAlexW2888674038WikidataQ124544772 ScholiaQ124544772MaRDI QIDQ6104768
Domenico Cantone, Daniele Francesco Santamaria, Marianna Nicolosi-Asmundo
Publication date: 28 June 2023
Published in: Rules and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-99906-7_16
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Unnamed Item
- HermiT: an OWL 2 reasoner
- A decision procedure for restricted intensional sets
- On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic
- The Taming of the Cut. Classical Refutations with Analytic Cut
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
- A Set-Theoretic Approach to ABox Reasoning Services
This page was built for publication: An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$