Modular combination of reasoners for ontology classification (2012)

by A Armas Romero, B Cuenca Grau, I Horrocks
Venue:in: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Vol. 846 of CEUR Workshop Proceedings, CEUR-WS.org