Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals (30th International Workshop on Description Logics (DL 2017), 2017)

(untitled) - Cucala, D; Cuenca Grau, B; Horrocks, I