| Package | Description |
|---|---|
| org.semanticweb.owlapi.atomicdecomposition | |
| uk.ac.manchester.cs.factplusplusad |
This package contains a port of FaCT++ Atomic Decomposition implementation.
|
| Class and Description |
|---|
| ModuleMethod
Module types - for use with Chiara and Dmitry's implementation of
modularisation and atomic decomposition, as implemented in
FaCT++/OWLAPITOOLS.
|
| Class and Description |
|---|
| ModuleMethod
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.