public class ModuleExtractor extends Object
Constructor and Description |
---|
ModuleExtractor()
Constructs a new module extractor.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
extractModule(Collection<NormalizedIntegerAxiom> setOfAxioms,
Set<Integer> setOfClasses,
Set<Integer> setOfObjectProperties)
Returns a module, i.e.
|
public Set<NormalizedIntegerAxiom> extractModule(Collection<NormalizedIntegerAxiom> setOfAxioms, Set<Integer> setOfClasses, Set<Integer> setOfObjectProperties)
setOfAxioms
- set of axiomssetOfClasses
- set of classessetOfObjectProperties
- set of object propertiesCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.