An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$

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

Mathematics Subject Classification ID

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 }$$