PrisM is a module extractor for OWL 2 ontologies. It offer the possibility of extracting modules for several different inseparability relations, such as model inseparability, query inseparability and classification inseparability, among others. It works by reducing the module extraction problem to a reasoning problem in datalog, which it then solves using the datalog engine RDFox.
PrisM supports most OWL 2 features; however, it does not support the following constructs:
PrisM can be dowloaded from here