Now showing items 1-1 of 1
Formally Verified Tableau-Based Reasoners for a Description Logic [Article]
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description ...