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