no code implementations • 22 Oct 2020 • Thomas Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles.