Enum | Description |
---|---|
ModuleMethod |
Module types - for use with Chiara and Dmitry's implementation of
modularisation and atomic decomposition, as implemented in
FaCT++/OWLAPITOOLS.
|
Copyright © 2020 The University of Manchester. All rights reserved.