Modular Combination of Reasoners for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2012)

MORe: Modular Combination of OWL Reasoners for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2012)

MORe: a Modular OWL Reasoner for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001; Ernesto Jiménez-Ruiz (ORE, 2013)

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. - David Carral; Cristina Feier; Ana Armas Romero; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (Description Logics, 2014)

Ontology Module Extraction via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2015)

Ontology module extraction and applications to ontology classification. - Ana Armas Romero (2015)

Module Extraction in Expressive Ontology Languages via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (J. Artif. Intell. Res., 2016)