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.module |
Provides interfaces and classes to extract modules.
|
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.axiom |
Provides interfaces and classes that model normalized axioms.
|
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Provides interfaces and classes to detect ontology expressivity.
|
de.tudresden.inf.lat.jcel.ontology.normalization |
Provides interfaces and classes needed to perform the
normalization.
|
Modifier and Type | Method and Description |
---|---|
void |
CelExtendedOntology.load(Set<NormalizedIntegerAxiom> axiomSet)
Loads a set of normalized axioms.
|
protected void |
CelProcessor.preProcess(Set<Integer> originalObjectProperties,
Set<Integer> originalClasses,
Set<NormalizedIntegerAxiom> normalizedAxiomSet)
The configuration follows the following steps:
normalizes the ontology creating auxiliary entities
creates an extended ontonlogy based on the normalized ontology
adds the classes
creates the property hierarchy
prepares all the queues to run the algorithm
|
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 |
---|---|
Set<NormalizedIntegerAxiom> |
ModuleExtractor.extractModule(Collection<NormalizedIntegerAxiom> setOfAxioms,
Set<Integer> setOfClasses,
Set<Integer> setOfObjectProperties)
Returns a module, i.e.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
ModuleExtractor.extractModule(Collection<NormalizedIntegerAxiom> setOfAxioms,
Set<Integer> setOfClasses,
Set<Integer> setOfObjectProperties)
Returns a module, i.e.
|
Modifier and Type | Method and Description |
---|---|
void |
RuleBasedProcessor.addAxioms(Set<NormalizedIntegerAxiom> normalizedAxiomSet) |
Constructor and Description |
---|
RuleBasedProcessor(Set<Integer> originalObjectProperties,
Set<Integer> originalClasses,
Set<NormalizedIntegerAxiom> normalizedAxiomSet,
OntologyExpressivity expressivity,
NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new rule-based processor.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
SubPropertyNormalizer.apply(Set<NormalizedIntegerAxiom> originalSet)
Saturates a set of normalized axioms by applying rules SR-1, SR-2, SR-3,
SR-4 and SR-5.
|
Set<NormalizedIntegerAxiom> |
SaturationRule.apply(Set<NormalizedIntegerAxiom> originalSet)
Applies the saturation rule to a specified set of normalized axioms.
|
Set<NormalizedIntegerAxiom> |
SR4Rule.apply(Set<NormalizedIntegerAxiom> originalSet) |
Set<NormalizedIntegerAxiom> |
SR3Rule.apply(Set<NormalizedIntegerAxiom> originalSet) |
Set<NormalizedIntegerAxiom> |
SR1AndSR2Rules.apply(Set<NormalizedIntegerAxiom> originalSet) |
Set<NormalizedIntegerAxiom> |
SR0Rule.apply(Set<NormalizedIntegerAxiom> originalSet) |
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
SubPropertyNormalizer.apply(Set<NormalizedIntegerAxiom> originalSet)
Saturates a set of normalized axioms by applying rules SR-1, SR-2, SR-3,
SR-4 and SR-5.
|
Set<NormalizedIntegerAxiom> |
SaturationRule.apply(Set<NormalizedIntegerAxiom> originalSet)
Applies the saturation rule to a specified set of normalized axioms.
|
Set<NormalizedIntegerAxiom> |
SR4Rule.apply(Set<NormalizedIntegerAxiom> originalSet) |
Set<NormalizedIntegerAxiom> |
SR3Rule.apply(Set<NormalizedIntegerAxiom> originalSet) |
Set<NormalizedIntegerAxiom> |
SR1AndSR2Rules.apply(Set<NormalizedIntegerAxiom> originalSet) |
Set<NormalizedIntegerAxiom> |
SR0Rule.apply(Set<NormalizedIntegerAxiom> originalSet) |
Modifier and Type | Class and Description |
---|---|
class |
FunctObjectPropAxiom
Axiom stating that an object property is functional.
|
class |
GCI0Axiom
Axiom of the form:
A ⊑ B
|
class |
GCI1Axiom
Axiom of the form:
A1 ⊓ A2 ⊑ B
|
class |
GCI2Axiom
Axiom of the form:
A ⊑ ∃ r . B
|
class |
GCI3Axiom
Axiom of the form:
∃ r . A ⊑ B
|
class |
NominalAxiom
Axiom of the form:
{a} ≡ A
|
class |
RangeAxiom
Axiom of the form:
range(r) ⊑ A
|
class |
RI1Axiom
Axiom of the form:
ε ⊑ r
|
class |
RI2Axiom
Axiom of the form:
r ⊑ s
|
class |
RI3Axiom
Axiom of the form:
r ∘ s ⊑ t
|
Modifier and Type | Method and Description |
---|---|
void |
ExtendedOntologyImpl.load(Set<NormalizedIntegerAxiom> axiomSet) |
void |
ExtendedOntology.load(Set<NormalizedIntegerAxiom> axiomSet)
Loads a set of normalized axioms.
|
Constructor and Description |
---|
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom> axiomSet)
Constructs a new expressivity detector.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
ObjectPropertyIdFinder.getRequiredAxioms() |
Set<NormalizedIntegerAxiom> |
OntologyNormalizer.normalize(Set<ComplexIntegerAxiom> originalAxiomSet,
IntegerOntologyObjectFactory factory)
Normalizes a set of axioms.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.