Package | Description |
---|---|
de.tudresden.inf.lat.jcel.reasoner.module |
Provides interfaces and classes to run the classification
algorithm using module extraction.
|
Constructor and Description |
---|
ClassModuleProcessor(Set<ComplexIntegerAxiom> axiomSet,
IntegerOntologyObjectFactory axFactory,
ModuleProcessorFactory procFactory)
Constructs a class module processor.
|
ModuleProcessor(Set<ComplexIntegerAxiom> axiomSet,
ModuleProcessorFactory factory)
Constructs a new module processor.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.