Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Description logics"
Now showing items 1-1 of 1
-
Article
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ...