Report copyright - Semantic reasoning for dynamic knowledge bases...predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures
Please pass captcha verification before submit form