Package | Description |
---|---|
org.semanticweb.owlapi.atomicdecomposition |
Class and Description |
---|
ModuleType
Module types - for use with Chiara and Dmitry's implementation of
modularisation and atomic decomposition, as implemented in FaCT++/OWLAPITOOLS
|
Copyright © 2017 The University of Manchester. All Rights Reserved.