Package | Description |
---|---|
de.tudresden.inf.lat.jcel.core.algorithm.cel |
Provides interfaces and classes to run the classification
algorithm of CEL.
|
de.tudresden.inf.lat.jcel.core.algorithm.rulebased |
Provides interfaces and classes to run a classification
algorithm based on completion rules.
|
de.tudresden.inf.lat.jcel.core.saturation |
Provides interfaces and classes needed to perform the saturation.
|
de.tudresden.inf.lat.jcel.coreontology.datatype |
Provides interfaces and classes with the data types used in
the normalized axioms of the classification algorithm.
|
de.tudresden.inf.lat.jcel.ontology.axiom.extension |
Provides interfaces and classes that extend a set of axioms.
|
de.tudresden.inf.lat.jcel.ontology.normalization |
Provides interfaces and classes needed to perform the
normalization.
|
de.tudresden.inf.lat.jcel.owlapi.translator |
Provides interfaces and classes used in the translation
between OWL API objects and integer numbers (the internal
representation).
|
Modifier and Type | Method and Description |
---|---|
protected IntegerEntityManager |
CelProcessor.getEntityManager()
Returns the id generator.
|
Constructor and Description |
---|
CelProcessor(Set<Integer> originalObjectProperties,
Set<Integer> originalClasses,
Set<NormalizedIntegerAxiom> normalizedAxiomSet,
NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new CEL processor.
|
Modifier and Type | Method and Description |
---|---|
protected IntegerEntityManager |
ClassifierStatusImpl.getIdGenerator()
Returns the identifier generator.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Renderer.renderWithNames(Writer output,
IntegerEntityManager entityManager,
IntegerRelationMap setR)
Renders set R using Turtle syntax.
|
boolean |
Renderer.renderWithNames(Writer output,
IntegerEntityManager entityManager,
IntegerSubsumerGraph setS)
Renders set S using Turtle syntax.
|
Constructor and Description |
---|
ClassifierStatusImpl(IntegerEntityManager generator,
ExtendedOntology ontology)
Constructs a new classifier status.
|
RuleBasedProcessor(Set<Integer> originalObjectProperties,
Set<Integer> originalClasses,
Set<NormalizedIntegerAxiom> normalizedAxiomSet,
OntologyExpressivity expressivity,
NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new rule-based processor.
|
Constructor and Description |
---|
SR1AndSR2Rules(NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new composite rule of SR-1 and SR-2.
|
SR3Rule(NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new SR-3 rule.
|
SubPropertyNormalizer(NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new normalizer of sub object properties.
|
Modifier and Type | Class and Description |
---|---|
class |
IntegerEntityManagerImpl
An object of this class generates new identification numbers for object
properties and classes.
|
Modifier and Type | Method and Description |
---|---|
IntegerEntityManager |
IntegerOntologyObjectFactoryImpl.getEntityManager() |
IntegerEntityManager |
IntegerOntologyObjectFactory.getEntityManager()
Returns the identifier generator.
|
Modifier and Type | Method and Description |
---|---|
IntegerEntityManager |
ObjectPropertyIdFinder.getIdGenerator() |
Constructor and Description |
---|
ObjectPropertyIdFinder(IntegerEntityManager manager)
Constructs a new normalizer for inverse object properties.
|
Constructor and Description |
---|
TranslationRepository(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
IntegerEntityManager manager)
Constructs a new translation repository.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.