public class SubPropertyNormalizer extends Object implements SaturationRule
Constructor and Description |
---|
SubPropertyNormalizer(NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new normalizer of sub object properties.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
apply(Set<NormalizedIntegerAxiom> originalSet)
Saturates a set of normalized axioms by applying rules SR-1, SR-2, SR-3,
SR-4 and SR-5.
|
public SubPropertyNormalizer(NormalizedIntegerAxiomFactory factory, IntegerEntityManager entityManager)
factory
- factoryentityManager
- entity managerpublic Set<NormalizedIntegerAxiom> apply(Set<NormalizedIntegerAxiom> originalSet)
apply
in interface SaturationRule
originalSet
- set of normalized axioms to be saturatedCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.