Uses of Package
org.semanticweb.owlapi.atomicdecomposition
Packages that use org.semanticweb.owlapi.atomicdecomposition
Package
Description
This package contains a port of FaCT++ Atomic Decomposition implementation.
-
Classes in org.semanticweb.owlapi.atomicdecomposition used by org.semanticweb.owlapi.atomicdecompositionClassDescriptionModule types - for use with Chiara and Dmitry's implementation of modularisation and atomic decomposition, as implemented in FaCT++/OWLAPITOOLS.
-
Classes in org.semanticweb.owlapi.atomicdecomposition used by uk.ac.manchester.cs.factplusplusadClassDescriptionModule types - for use with Chiara and Dmitry's implementation of modularisation and atomic decomposition, as implemented in FaCT++/OWLAPITOOLS.