- Tytuł:
- An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
- Autorzy:
-
Nguyen, L. A.
Golińska-Pilarek, J. - Data publikacji:
- 2014
- Słowa kluczowe:
-
automated reasoning
description logics
global state caching
integer linear feasibility - Pokaż więcej
- Dostawca treści:
- BazTech