On P/NP Dichotomies for EL Subsumption under Relational Constraints, (2011)

by Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Venue:In Proceedings of DL