@ParametersAreNonnullByDefault

Package uk.ac.manchester.cs.factplusplusad

This package contains a port of FaCT++ Atomic Decomposition implementation.

See: Description

Class Summary

Class	Description
Modularizer	class to create modules of an ontology wrt module type
OntologyBasedModularizer	Ontology based modularizer.

Package uk.ac.manchester.cs.factplusplusad Description

This package contains a port of FaCT++ Atomic Decomposition implementation.