Login / Signup

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

Domenico CantoneMarianna Nicolosi AsmundoDaniele Francesco Santamaria
Published in: RuleML+RR (2018)
Keyphrases