- Tytuł:
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,×
- Autorzy:
-
Cantone, Domenico
Nicolosi-Asmundo, Marianna
Santamaria, Daniele Francesco - Data publikacji:
- 2021
- Słowa kluczowe:
-
reasoners for description logics
consistency problems
classification problems
conjunctive query answering problem
KE-tableau systems
semantic web
automated reasoning
computable set theory - Pokaż więcej
- Dostawca treści:
- BazTech