Algebraic Tableau Algorithm for ALCOQ

Description Logics (DLs) are a family of knowledge representation formalisms used to represent and reason about an application’s domain elements. They are applicable in the semantic web as they provide the basis for the Web Ontology Language (OWL). Decision procedures for expressive DLs enabling both nominals and QCRs wer