An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
Crossref DOI link: https://doi.org/10.1007/978-3-319-99906-7_16
Published Online: 2018-08-24
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cantone, Domenico
Nicolosi-Asmundo, Marianna
Santamaria, Daniele Francesco
License valid from 2018-01-01