Extending CARIN to the Description Logics of the SH Family


This work studies the extension of the existential entailment algorithm of CARIN to DLs of the SH family. The CARIN family of knowledge representation languages was one of the first hybrid languages combining DATALOG rules and Description Logics. For reasoning in one of its prominent variants, which combines ALCNR with non-recursive DATALOG, the blocking… (More)