public class OntologyNormalizer extends Object
Constructor and Description |
---|
OntologyNormalizer()
Constructs a new ontology normalizer.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
normalize(Set<ComplexIntegerAxiom> originalAxiomSet,
IntegerOntologyObjectFactory factory)
Normalizes a set of axioms.
|
public OntologyNormalizer()
public Set<NormalizedIntegerAxiom> normalize(Set<ComplexIntegerAxiom> originalAxiomSet, IntegerOntologyObjectFactory factory)
originalAxiomSet
- set of axioms to be normalizedfactory
- factoryCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.