owlapi-version5/tools/src/main/java/uk/ac/manchester/cs/factplusplusad/package-info.java
/**
 * This package contains a port of FaCT++ Atomic Decomposition implementation.
 */
@javax.annotation.ParametersAreNonnullByDefault
package uk.ac.manchester.cs.factplusplusad;
