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 © 2020 The University of Manchester. All rights reserved.