Locality and Applications to Subsumption Testing in EL and Some of its Extensions

Viorica Sofronie-Stokkermans. Locality and Applications to Subsumption Testing in EL and Some of its Extensions. Sci. Ann. Cuza Univ., 23(2):251-284, 2013. [doi]

Abstract

Abstract is missing.