- CelExtendedOntology - Class in de.tudresden.inf.lat.jcel.core.algorithm.cel
-
This class models an extended ontology.
- CelExtendedOntology() - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
-
Constructs a new CEL extended ontology.
- CelProcessor - Class in de.tudresden.inf.lat.jcel.core.algorithm.cel
-
Classifies an ontology using the CEL algorithm.
- CelProcessor(Set<Integer>, Set<Integer>, Set<NormalizedIntegerAxiom>, NormalizedIntegerAxiomFactory, IntegerEntityManager) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
Constructs a new CEL processor.
- checkConsistency(File) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
Checks the consistency of a given ontology.
- checkEntailment(File, File) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
Classifies a given ontology and checks whether another ontology is
entailed by the former.
- checkSatisfiability(File, IRI) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
Checks satisfiability of a given concept with respect to an ontology.
- ClassAssertion - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- ClassDeclaration - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- ClassExpressionTranslator - Class in de.tudresden.inf.lat.jcel.owlapi.translator
-
An object of this class can translate a class expression of the OWL API into
the integer-based representation.
- ClassExpressionTranslator(ObjectPropertyExpressionTranslator) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
-
Constructs a new class expression translator.
- ClassifierStatus - Interface in de.tudresden.inf.lat.jcel.core.completion.common
-
An class implementing this interface contains the axioms of the ontology and
the main sets used in the classification process.
- ClassifierStatusImpl - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
-
An object of this class keeps the status of the classifier.
- ClassifierStatusImpl(IntegerEntityManager, ExtendedOntology) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Constructs a new classifier status.
- classify() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Performs classification only if it is needed.
- classify() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- ClassModuleProcessor - Class in de.tudresden.inf.lat.jcel.reasoner.module
-
An object of this class classifies an ontology.
- ClassModuleProcessor(Set<ComplexIntegerAxiom>, IntegerOntologyObjectFactory, ModuleProcessorFactory) - Constructor for class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
Constructs a class module processor.
- clear() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
-
Clears all the internal sets.
- clear() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
-
- clear() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
-
- clear() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Clears the ontology.
- clear() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- close() - Method in class de.tudresden.inf.lat.jcel.owlapi.console.OutputStreamHandler
-
- closePar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- closePar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
-
- closePar - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- cmdClassification - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
- cmdConsistency - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
- cmdEntailment - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
- cmdQuery - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
- cmdSat - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
- cmdSatisfiability - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
- compareTo(REntry) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
-
- compareTo(SEntry) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
-
- compareTo(Annotation) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
-
- compareTo(IntegerClass) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- compareTo(IntegerDataProperty) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- compareTo(IntegerNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- compareTo(IntegerObjectInverseOf) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- compareTo(IntegerObjectProperty) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- CompletionRuleChainSelector - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
-
An object of this class creates appropriate completion rule chains to process
the ontology.
- CompletionRuleChainSelector(OntologyExpressivity) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.CompletionRuleChainSelector
-
Constructs a new ontology preprocessor.
- ComplexAxiomExpressivityDetector - Class in de.tudresden.inf.lat.jcel.ontology.axiom.extension
-
An object implementing this class can detect the expressivity of a given set
of complex axioms.
- ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom>) - Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
Constructs a new expressivity detector.
- ComplexIntegerAxiom - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This interface is for complex axioms.
- ComplexIntegerAxiomConstant - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This interface is a collection of constants used by classes that implement an
ComplexIntegerAxiom
.
- ComplexIntegerAxiomFactory - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
An object this interface is a factory to create complex axioms.
- ComplexIntegerAxiomFactoryImpl - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
An object of this class is a factory to create any complex axiom.
- ComplexIntegerAxiomFactoryImpl() - Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
Constructs a new complex axiom factory.
- ComplexIntegerAxiomVisitor<T> - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models a visitor of ComplexIntegerAxiom
.
- computeClassification(File, File, AbstractOWLRenderer) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
Classifies a given ontology and computes the class hierarchy and the
object property hierarchy.
- ConsoleStarter - Class in de.tudresden.inf.lat.jcel.owlapi.console
-
This class makes possible to start a classifier instance from the command
line.
- ConsoleStarter() - Constructor for class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
- ConsoleStarter.Mode - Enum in de.tudresden.inf.lat.jcel.owlapi.console
-
Mode of execution.
- contains(VNode) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- contains(VNode) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns whether a particular node belongs to the set V.
- contains(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
-
- contains(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
-
- contains(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelation
-
Tells whether a pair belongs to this binary relation.
- contains(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
-
- contains(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
Tells whether a binary relation belongs to this map.
- contains(int, int, int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
Tells whether a binary relation contains a give pair.
- contains(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- contains(int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- containsAll(Collection<?>) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
-
- containsAll(Collection<?>) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
-
- containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- containsBottom() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
-
Tells whether or not this class expression contains a bottom.
- containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- containsExistential(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.VNode
-
Tells whether this node contains the given existential expression.
- containsExistential(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
-
- containsPair(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
-
- containsPair(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraph
-
Tells whether this subsumer graph contains the given pair.
- containsPair(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
-
- CR1SRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-1 : if A ⊑ B ∈ T, (x, A) ∈ S
then S := S ∪ {(x, B)}
Previous form:
CR0 : if A ∈ S(X) and A ⊑ B ∈ O
then S(X) := S(X) ∪ {B}
This rule was not present in the original CEL algorithm.
- CR1SRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR1SRule
-
Constructs a new completion rule CR-1.
- CR2SRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-2 : if A1 ⊓ A2 ⊑ B ∈
T, (x, A1) ∈ S, (x, A2) ∈
S
then S := S ∪ {(x, B)}
Previous forms:
CR-2 : if A1 ⊓ … ⊓ Ai
⊓ … ⊓ An ⊑ B ∈ T, (x,
A1) ∈ S, … (x, Ai) ∈ S,
… , (x, An) ∈ S
then S := S ∪ {(x, B)}
CR1 : if A1, … , An ∈ S(X)
and A1 ⊓ … ⊓ An ⊑ B
∈ O and B ∉ S(X)
then S(X) := S(X) ∪ {B}
- CR2SRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR2SRule
-
Constructs a new completion rule CR-2.
- CR3SExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-3 : if A ⊑ ∃ r . B ∈ T , (x,
A) ∈ S
then if f(r)
then v := (⊤ , {∃ r-
. A})
if v ∉ V
then V := V ∪ {v}
S := S ∪ {(v, B)} ∪
{(v, ⊤)}
R := R ∪ {(r, x, v)}
else y := (B, ∅)
R := R ∪ {(r, x, y)}
- CR3SExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR3SExtRule
-
Constructs a new completion rule CR-3.
- CR3SRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-3 : if A ⊑ ∃ r . B ∈ T, (x,
A) ∈ S
then R := R ∪{(r, x, B)}
Previous form:
CR2 : if A ∈ S(X) and A ⊑ ∃ r . B
∈ O and (X, B) ∉ R(r)
then R(r) := R(r) ∪{(X, B)}
- CR3SRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR3SRule
-
Constructs a new completion rule CR-3.
- CR4RExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-4 : if ∃ s . A ⊑ B ∈ T, (r,
x, y) ∈ R, (y, A) ∈ S, r ⊑T s
then S := S ∪ {(x, B)}
Previous form:
CR3 : if (X, Y) ∈ R(r) and A ∈ S(Y) and
∃ r . A ⊑ B ∈ O and B ∉ S(X)
then S(X) := S(X) ∪ {B}
- CR4RExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR4RExtRule
-
Constructs a new completion rule CR-4 (R).
- CR4RRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-4 : if ∃ r . A ⊑ B ∈ T, (r,
x, y) ∈ R, (y, A) ∈ S
then S := S ∪ {(x, B)}
Previous form:
CR3 : if (X, Y) ∈ R(r) and A ∈ S(Y) and
∃ r . A ⊑ B ∈ O and B ∉ S(X)
then S(X) := S(X) ∪ {B}
- CR4RRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR4RRule
-
Constructs a new completion rule CR-4 (R).
- CR4SExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-4 : if ∃ s . A ⊑ B ∈ T, (r, x,
y) ∈ R, (y, A) ∈ S, r ⊑T s
then S := S ∪ {(x, B)}
Previous form:
CR3 : if (X, Y) ∈ R(r) and A ∈ S(Y) and
∃ r . A ⊑ B ∈ O and B ∉ S(X)
then S(X) := S(X) ∪ {B}
- CR4SExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR4SExtRule
-
Constructs a new completion rule CR-4 (S).
- CR4SRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-4 : if ∃ r . A ⊑ B ∈ T, (r, x,
y) ∈ R, (y, A) ∈ S
then S := S ∪ {(x, B)}
Previous form:
CR3 : if (X, Y) ∈ R(r) and A ∈ S(Y) and
∃ r . A ⊑ B ∈ O and B ∉ S(X)
then S(X) := S(X) ∪ {B}
- CR4SRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR4SRule
-
Constructs a new completion rule CR-4 (S).
- CR5RExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-5 : if s ∘ s ⊑ s ∈ T ,
(r1, x, y) ∈ R, (r2, y, z) ∈ R,
r1 ⊑T s, r2
⊑T s
then R := R ∪ {(s, x, z)}
- CR5RExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR5RExtRule
-
Constructs a new completion rule CR-5.
- CR5RRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-5 : if r ⊑ s ∈ T, (r, x, y) ∈ R
then R := R ∪ {(s, x, y)}
Previous form:
CR5 : if (X, Y) ∈ R(r) and r ⊑ s ∈ O
and (X, Y) ∉ R(s)
then R(s) := R(s) ∪ {(X, Y)}
- CR5RRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR5RRule
-
Constructs a new completion rule CR-5.
- CR6RExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-6 : if ∃ s- . A ⊑ B ∈
T, r ⊑T s, (r, x, y) ∈ R, (x, A)
∈ S , (y, B) ∉ S, y = (B', ψ)
then v := (B', ψ ∪ {∃ r - . A})
if v ∉ V then V := V ∪ {v} ,
S := S ∪ {(v, k) | (y, k) ∈ S}
S := S ∪ {(v, B)}
R := R ∪ {(r, x, v)}
- CR6RExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR6RExtRule
-
Constructs a new completion rule CR-6 (R).
- CR6RRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-6 : if r ∘ s ⊑ t ∈ T, (r, x, y)
∈ R, (s, y, z) ∈ R
then R := R ∪ {(t, x, z)}
Previous form:
CR6 : if (X, Y) ∈ R(r) and (Y,Z) ∈ R(s)
and r ∘ s ⊑ t ∈ O and (X,Z) ∉ R(t)
then R(t) := R(t) ∪ {(X, Z)}
- CR6RRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RRule
-
Constructs a new completion rule CR-6.
- CR6RTrRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-6 : if r ∘ r ⊑ r ∈ T, (r, x, y)
∈ R, (r, y, z) ∈ R
then R := R ∪ {(r, x, z)}
This is a particular case of role composition.
- CR6RTrRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RTrRule
-
Constructs a new completion rule CR-6 transitive.
- CR6SExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-6 : if ∃ s- . A ⊑ B ∈
T, r ⊑T s, (r, x, y) ∈ R, (x, A)
∈ S , (y, B) ∉ S, y = (B', ψ)
then v := (B', ψ ∪ {∃ r - . A})
if v ∉ V then V := V ∪ {v} ,
S := S ∪ {(v, k) | (y, k) ∈ S}
S := S ∪ {(v, B)}
R := R ∪ {(r, x, v)}
- CR6SExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR6SExtRule
-
Constructs a new completion rule CR-6 (S).
- CR7RExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-7 : if ∃ s- . A ⊑ B ∈
T , (r2, x, y) ∈ R, x = (A', φ) , y = (B',
ψ),
r ∘ r ⊑ r ∈ T, r1
⊑T r, r2 ⊑T r,
∃ r1- . A ∈ φ, r
⊑T s
then v := (B', ψ ∪ {∃ r- . A})
if v ∉ V then V := V ∪ {v} ,
S := S ∪ {(v, k) | (y, k) ∈ S}
S := S ∪ {(v, B)}
R := R ∪ {(r2, x, v)}
- CR7RExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR7RExtRule
-
Constructs a new completion rule CR-7.
- CR7RRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-7 : if (r, x, y) ∈ R, (y, ⊥) ∈ S
then S := S ∪ {(x, ⊥)}
Previous form:
CR4 : if (X, Y) ∈ R(r) and ⊥ ∈ S(Y)
and ⊥ ∉ S(X)
then S(X) := S(X) ∪ {⊥}
- CR7RRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR7RRule
-
Constructs a new completion rule CR bottom (R).
- CR7SRule - Class in de.tudresden.inf.lat.jcel.core.completion.basic
-
CR-7 : if (r, x, y) ∈ R, (y, ⊥) ∈ S
then S := S ∪ {(x, ⊥)}
Previous form:
CR4 : if (X, Y) ∈ R(r) and ⊥ ∈ S(Y)
and ⊥ ∉ S(X)
then S(X) := S(X) ∪ {⊥}
- CR7SRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.basic.CR7SRule
-
Constructs a new completion rule CR bottom (S).
- CR8RExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-8 : if A ⊑ ∃ r2- . B
∈ T , (r1, x, y) ∈ R, (y, A) ∈ S,
r1 ⊑T s, r2
⊑T s, f(s-)
then S := S ∪ {(x, B)}
- CR8RExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR8RExtRule
-
Constructs a new completion rule CR-8 (R).
- CR8SExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-8 : if A ⊑ ∃ r2- . B
∈ T , (r1, x, y) ∈ R, (y, A) ∈ S,
r1 ⊑T s, r2
⊑T s, f(s-)
then S := S ∪ {(x, B)}
- CR8SExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR8SExtRule
-
Constructs a new completion rule CR-8 (S).
- CR9RExtOptRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-9 (optimized) : if (r1, x, y1) ∈
R, (r2, x, y2) ∈ R, …, (rn,
x, yn) ∈ R,
r1 ⊑T s, r2
⊑T s, …, rn
⊑T s, yi = (⊤ , ψi)
for 1 ≤ i ≤ n, yi ≠ yj for 1 ≤ i < j ≤
n, f(s)
then v := (⊤ , ψ1 ∪ … ∪
ψn)
if v ∉ V then V := V ∪ {v}
S := S ∪ {(v, k) | (y1, k) ∈ S}
∪ … ∪ {(v, k) | (yn, k) ∈ S}
R := R ∪ {(r1, x, v)}
- CR9RExtOptRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtOptRule
-
Constructs a new completion rule CR-9.
- CR9RExtRule - Class in de.tudresden.inf.lat.jcel.core.completion.ext
-
CR-9 : if (r1, x, y) ∈ R, (r2,
x, z) ∈ R, r1 ⊑T s, r2
⊑T s, y = (⊤ , ψ), z = (⊤ , φ), y
≠ z, f(s)
then v := (⊤ , ψ ∪ φ)
if v ∉ V then V := V ∪ {v}
S := S ∪ {(v, k) | (y, k) ∈ S} ∪ {(v,
k) | (z, k) ∈ S}
R := R ∪ {(r1, x, v)}
- CR9RExtRule() - Constructor for class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtRule
-
Constructs a new completion rule CR-9.
- createAnonymousEntity(IntegerEntityType, boolean) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Creates a new entity of a certain type.
- createAnonymousEntity(IntegerEntityType, boolean) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- createClass(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates a class.
- createClass(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createClassAssertionAxiom(IntegerClassExpression, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new class assertion axiom.
- createClassAssertionAxiom(IntegerClassExpression, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createClassDeclarationAxiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new class declaration axiom.
- createClassDeclarationAxiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createDataHasValue(int, int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates a has-value class expression.
- createDataHasValue(int, int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createDataProperty(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates a data property.
- createDataProperty(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createDataPropertyAssertionAxiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new data property assertion axiom.
- createDataPropertyAssertionAxiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createDataPropertyDeclarationAxiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new data property declaration axiom.
- createDataPropertyDeclarationAxiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createDataSomeValuesFrom(int, IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates an existential restriction.
- createDataSomeValuesFrom(int, IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createDifferentIndividualsAxiom(Set<Integer>, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new different individuals axiom
- createDifferentIndividualsAxiom(Set<Integer>, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createDisjointClassesAxiom(Set<IntegerClassExpression>, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new disjoint classes axiom.
- createDisjointClassesAxiom(Set<IntegerClassExpression>, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createEquivalentClassesAxiom(Set<IntegerClassExpression>, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new equivalent classes axiom.
- createEquivalentClassesAxiom(Set<IntegerClassExpression>, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression>, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs an equivalent object properties axiom.
- createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression>, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new functional object property axiom.
- createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createFunctObjectPropAxiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new functional object property axiom.
- createFunctObjectPropAxiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createGCI0Axiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new GCI-0 axiom.
- createGCI0Axiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createGCI1Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new GCI-1 axiom.
- createGCI1Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createGCI2Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new GCI-2 axiom.
- createGCI2Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createGCI3Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new GCI-3 axiom.
- createGCI3Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new inverse functional object property axiom.
- createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new inverse object property axiom, declaring that one object
property is the inverse of another one.
- createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createNamedEntity(IntegerEntityType, String, boolean) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Creates a new entity of a certain type.
- createNamedEntity(IntegerEntityType, String, boolean) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- createNamedIndividual(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates a named individual.
- createNamedIndividual(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createNamedIndividualDeclarationAxiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new named individual declaration axiom.
- createNamedIndividualDeclarationAxiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new negative object property axiom.
- createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createNominalAxiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new nominal axiom.
- createNominalAxiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createNonBufferingReasoner(OWLOntology) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerFactory
-
- createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerFactory
-
- createObjectIntersectionOf(Set<IntegerClassExpression>) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates an intersection of class expressions.
- createObjectIntersectionOf(Set<IntegerClassExpression>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createObjectInverseOf(IntegerObjectProperty) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates an inverse object property.
- createObjectInverseOf(IntegerObjectProperty) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createObjectOneOf(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates a nominal expression.
- createObjectOneOf(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createObjectProperty(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates an object property.
- createObjectProperty(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new object property assertion axiom.
- createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createObjectPropertyDeclarationAxiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new object property declaration axiom.
- createObjectPropertyDeclarationAxiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createObjectSomeValuesFrom(IntegerObjectPropertyExpression, IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Creates an existential restriction.
- createObjectSomeValuesFrom(IntegerObjectPropertyExpression, IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- createOrGetClassIdForIndividual(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the class identifier corresponding to the given individual.
- createOrGetClassIdForIndividual(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- createOrGetInverseObjectPropertyOf(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the inverse object property of the given object property.
- createOrGetInverseObjectPropertyOf(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- createOrGetNodeId(VNode) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- createOrGetNodeId(VNode) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Gets the identifier of a node, or creates a new one.
- createProcessor(Set<ComplexIntegerAxiom>) - Method in interface de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessorFactory
-
Creates a new processor.
- createPropertyRangeAxiom(IntegerObjectPropertyExpression, IntegerClassExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new object property range axiom.
- createPropertyRangeAxiom(IntegerObjectPropertyExpression, IntegerClassExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createRangeAxiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new range axiom.
- createRangeAxiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createReasoner(File) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
-
Creates an instance of jcel reasoner using the given ontology file.
- createReasoner(OWLOntology) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerFactory
-
- createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerFactory
-
- createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new reflexive object property axiom.
- createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createRI1Axiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new axiom RI-1.
- createRI1Axiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createRI2Axiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new axiom RI-2.
- createRI2Axiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createRI3Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
-
Constructs a new RI-3 axiom.
- createRI3Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
-
- createSameIndividualAxiom(Set<Integer>, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new same individual axiom.
- createSameIndividualAxiom(Set<Integer>, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createSubClassOfAxiom(IntegerClassExpression, IntegerClassExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new subclass axiom.
- createSubClassOfAxiom(IntegerClassExpression, IntegerClassExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new sub object property axiom.
- createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression>, IntegerObjectPropertyExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new sub object property chain axiom.
- createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression>, IntegerObjectPropertyExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
-
Constructs a new transitive object property axiom.
- createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
-
- GCI0 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI0Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
A ⊑ B
- GCI1 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI1Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
A1 ⊓ A2 ⊑ B
- GCI2 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI2Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
A ⊑ ∃ r . B
- GCI3 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI3Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
∃ r . A ⊑ B
- get(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
- get(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- getAncestors(Integer) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns all predecessors of a particular given vertex.
- getAncestors(Integer) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getAnnotationProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.Annotation
-
Returns the annotation property.
- getAnnotationProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getAnnotations() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom
-
Returns the annotations of this axiom.
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getAnnotationValue() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.Annotation
-
Returns the annotation value.
- getAnnotationValue() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
-
- getAuxiliaryInverseObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the auxiliary inverse object properties.
- getAuxiliaryInverseObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getAuxiliaryNominal(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
This method gives the auxiliary nominal related to a specific individual.
- getAuxiliaryNominal(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getAuxiliaryNominals() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the set of auxiliary nominals.
- getAuxiliaryNominals() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getAxiomTranslator() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
-
- getBottomClass() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Returns the bottom class.
- getBottomClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getBottomClassNode() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getBottomClassNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the bottom class node.
- getBottomClassNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getBottomDataProperty() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Returns the bottom data property.
- getBottomDataProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getBottomDataPropertyNode() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getBottomDataPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the bottom data property node.
- getBottomDataPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getBottomElement() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns the bottom element.
- getBottomElement() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getBottomElement() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
-
- getBottomElement() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraph
-
Returns the bottom element.
- getBottomElement() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
-
- getBottomObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Returns the bottom object property.
- getBottomObjectProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getBottomObjectPropertyNode() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getBottomObjectPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the bottom object property node.
- getBottomObjectPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getBufferingMode() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getByFirst(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelation
-
Returns the elements connecting from a particular element in the first
component.
- getByFirst(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
-
- getByFirst(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
Returns the elements connecting from a particular element in the first
component.
- getByFirst(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- getBySecond(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelation
-
Returns the elements connecting to a particular element in the second
component.
- getBySecond(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
-
- getBySecond(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
Returns the elements connecting to a particular element in the second
component.
- getBySecond(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- getChildren(Integer) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns all direct successors of a particular given vertex.
- getChildren(Integer) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getClassEntries(Integer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
-
Returns the class entries related to the specified class.
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getClassesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the classes in the signature.
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getClassExpression() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getClassExpression() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
Returns the class expression in the axiom.
- getClassExpressions() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
Returns the set of disjoint classes in this axiom.
- getClassExpressions() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
Returns the set of equivalent classes in this axiom.
- getClassExpressionTranslator() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
-
- getClassGraph() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
Returns the class graph.
- getClassGraph() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the class graph.
- getClassGraph() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
Returns the class graph.
- getClassGraphMonitor() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getClassGraphMonitor() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns the monitor of set S.
- getClassHierarchy() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
- getClassHierarchy() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
-
Returns the class hierarchy after the classification has finished.
- getClassHierarchy() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
- getClassHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getClassHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getClassId() - Method in interface de.tudresden.inf.lat.jcel.core.graph.VNode
-
Returns the class identifier for this node.
- getClassId() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
-
- getClassId() - Method in interface de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFrom
-
Returns the class identifier.
- getClassId() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFromImpl
-
- getClassInSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
Returns the class on the left-hand part of the axiom.
- getClassInSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
Returns the class in the right-hand part of the axiom.
- getClassSet() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
-
Returns the set of classes.
- getClassSet() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all classes in the ontology.
- getClassSet() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getComplexAxiomFactory() - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
-
Returns the complex axiom factory.
- getComplexAxiomFactory() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getConfigurationInfo() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
Returns information about how the processor configuration.
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getDataPropertiesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the data properties in the signature.
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getDataPropertyDomains(OWLDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getDataPropertyDomains(IntegerDataProperty, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are domains of the specified data property.
- getDataPropertyDomains(IntegerDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDataPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
- getDataPropertyHierarchy() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
-
Returns the data property hierarchy after the classification has
finished.
- getDataPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
- getDataPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getDataPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getDataPropertyValues(IntegerNamedIndividual, IntegerDataProperty) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the data property values for the specified individual and data
property.
- getDataPropertyValues(IntegerNamedIndividual, IntegerDataProperty) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDataTypeFactory() - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
-
Returns the data type factory.
- getDataTypeFactory() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getDataTypeFactory() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
-
- getDataTypeFactory() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getDatatypesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the data types in the signature.
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getDeepSize() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
-
Returns the number of elements in the internal maps that are referred by
the keys, without counting the keys themselves.
- getDeepSize() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
Returns the number of elements in the internal maps that are referred by
the keys, without counting the keys themselves.
- getDeepSize() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
-
Returns the number of elements in the internal maps that are referred by
the keys, without counting the keys themselves.
- getDeepSize() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
-
Returns the number of elements in the set of entries.
- getDeepSizeOfR() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the number of nodes in the relation set.
- getDeepSizeOfS() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the number of nodes in the subsumer set.
- getDeepSizeOfV() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the number of elements in the node set.
- getDescendants(Integer) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns all successors of a particular given vertex.
- getDescendants(Integer) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getDifferentIndividuals(OWLNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getDifferentIndividuals(IntegerNamedIndividual) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the individuals that are known to be different from the specified
individual.
- getDifferentIndividuals(IntegerNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDirectTypes() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
- getDirectTypes() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
-
Returns the map of direct types for every individual.
- getDirectTypes() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
- getDirectTypes() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getDirectTypes() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDisjointClasses(OWLClassExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getDisjointClasses(IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are disjoint with the specified class
expression.
- getDisjointClasses(IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDisjointDataProperties(OWLDataPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getDisjointDataProperties(IntegerDataPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the data properties that are disjoint with the specified data
property expression.
- getDisjointDataProperties(IntegerDataPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getDisjointObjectProperties(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object properties that are disjoint with the specified object
property expression.
- getDisjointObjectProperties(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getElements() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelation
-
- getElements() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
-
- getElements() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns all the vertices in the graph.
- getElements() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getElements() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
- getElements() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- getElements() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
-
- getElements() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraph
-
Returns the collection of vertices in the graph.
- getElements() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
-
- getEntities(IntegerEntityType) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the set of identifiers of entities of a certain type.
- getEntities(IntegerEntityType, boolean) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns either the set of identifiers of auxiliary entities or the set of
identifiers of non-auxiliary entities.
- getEntities(IntegerEntityType) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getEntities(IntegerEntityType, boolean) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getEntity() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getEntity() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getEntity() - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDeclarationAxiom
-
Returns the entity declared by this axioms.
- getEntity() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getEntity() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getEntityManager() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
Returns the id generator.
- getEntityManager() - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
-
Returns the identifier generator.
- getEntityManager() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getEquivalentClasses(OWLClassExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getEquivalentClasses(IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are equivalent to the specified class
expression.
- getEquivalentClasses(IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentDataProperties(OWLDataProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getEquivalentDataProperties(IntegerDataProperty) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the data properties that are equivalent to the specified data
property expression.
- getEquivalentDataProperties(IntegerDataProperty) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getEquivalentObjectProperties(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object properties that are equivalent to the specified object
property expression.
- getEquivalentObjectProperties(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalents(Integer) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns all vertices that are in a cycle for a given vertex and the
vertex itself.
- getEquivalents(Integer) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getExistentialEntries(Integer, Integer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
-
Returns the existential entries related to the specified object property
and class.
- getExistentialEntries() - Method in interface de.tudresden.inf.lat.jcel.core.graph.VNode
-
Returns a collection containing the existential expressions.
- getExistentialEntries() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
-
- getExtendedOntology() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getExtendedOntology() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Return an ontology with convenience methods to get its axioms.
- getFiller() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
Returns the class expression in this class expression.
- getFiller() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
Returns the filler.
- getFirstBySecond(int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getFirstBySecond(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns all the classes that are related to a certain class using a
certain object property
- getFirstProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
Returns one of object properties (called first) in this axiom.
- getFreshEntityPolicy() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getFunctionalObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all functional object properties in the ontology.
- getFunctionalObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI0Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI0 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI0Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI1Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI1 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI1Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI2Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI2 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI2Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI3AAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI3 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI3AAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI3rAAxioms(int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI3 in the ontology such that the given
object property and the given class occur in the left part of the axiom.
- getGCI3rAAxioms(int, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI3rAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI3 in the ontology such that the given
object property occurs in the axiom.
- getGCI3rAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getId() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
Returns the class identifier.
- getId() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getId() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataPropertyExpression
-
Returns the identifier of the used data property.
- getId() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
Returns the named individual identifier.
- getId() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
Returns the identifier for this object property.
- getId(OWLClass) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getId(OWLDataProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getId(OWLIndividual) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getId(OWLLiteral) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getId(OWLObjectProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getIdGenerator() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the identifier generator.
- getIdGenerator() - Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
-
- getIndividual() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getIndividual(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
This method gives the individual related to a specific auxiliary nominal.
- getIndividual(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getIndividual() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
Returns the individual in the axiom.
- getIndividual() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
Returns the individual in this class expression.
- getIndividualNodeSetPolicy() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getIndividuals() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the set of individuals.
- getIndividuals() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getIndividuals() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
Returns the set of different individuals in this axiom.
- getIndividuals() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
Returns the set of individuals in this axiom.
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getIndividualsInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the individuals in the signature.
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getInstances(OWLClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getInstances(IntegerClassExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the individuals that are instances of the specified class
expression.
- getInstances(IntegerClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getInverse() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
Returns the inverse used for this object property expression
- getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getInverseObjectProperties(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object property expressions that are the inverses of the
specified object property expression.
- getInverseObjectProperties(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getInverseObjectPropertyOf(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getInverseObjectPropertyOf(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns the inverse object property of a particular object property.
- getLeftClass() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
-
- getLeftClass() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.REntry
-
Returns the class in the left part of this entry.
- getLeftSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
Returns the left subclass in the axiom.
- getLeftSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
Returns the object property on the left-hand part of the composition.
- getList() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RChain
-
Returns the list of relation observers.
- getList() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SChain
-
Returns the list of subsumption observers.
- getName(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the name defined for a certain entity.
- getName(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getName(OntologyExpressivity) - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName
-
Returns the description logic name for a specified expressivity.
- getNode(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getNode(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns the node for a given node identifier.
- getNonEquivalentElements() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
Returns one vertex for each equivalence class of vertices in the graph.
- getNormalizedAxiomFactory() - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
-
Returns the normalized axiom factory.
- getNormalizedAxiomFactory() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getNumberOfREntries() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the number of R-entries to be processed.
- getNumberOfSEntries() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the number of S-entries to be processed.
- getObject() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
Returns the individual representing the object.
- getObject() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
Returns the individual representing the object.
- getObject() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
Returns the individual representing the subject.
- getObjectPropertiesByFirst(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getObjectPropertiesByFirst(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns the set of object properties related with a certain class as a
first component.
- getObjectPropertiesBySecond(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getObjectPropertiesBySecond(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns the set of object properties related with a certain class as a
second component.
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getObjectPropertiesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the object properties in the signature.
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getObjectPropertiesWithFunctionalAncestor(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getObjectPropertiesWithFunctionalAncestor(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns all the functional object properties that have a common
functional object property ancestor of the specified object property.
- getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getObjectPropertyDomains(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are domains of the specified object property
expression.
- getObjectPropertyDomains(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertyExpressionTranslator() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
-
- getObjectPropertyGraph() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the object property graph.
- getObjectPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
- getObjectPropertyHierarchy() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
-
Returns the object property hierarchy after the classification has
finished.
- getObjectPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
- getObjectPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getObjectPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getObjectPropertyId() - Method in interface de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFrom
-
Returns the object property identifier.
- getObjectPropertyId() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFromImpl
-
- getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getObjectPropertyRanges(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are ranges of the specified object property
expression.
- getObjectPropertyRanges(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertySet() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all object properties in the ontology.
- getObjectPropertySet() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getObjectPropertyValues(IntegerNamedIndividual, IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object property values for the specified individual and
object property expression
- getObjectPropertyValues(IntegerNamedIndividual, IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getOntologyExpressivity() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.CompletionRuleChainSelector
-
Returns the ontology expressivity.
- getOntologyObjectFactory() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
- getOntologyObjectFactory() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
Returns the ontology object factory.
- getOntologyObjectFactory() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
-
Returns the ontology object factory.
- getOperands() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
Return the operands in this class expression.
- getOWLClass(Integer) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getOWLDataProperty(Integer) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getOWLNamedIndividual(Integer) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getOWLObjectProperty(Integer) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
-
- getOWLOntology() - Method in class de.tudresden.inf.lat.jcel.owlapi.console.OWLInferredOntologyWrapper
-
- getParents(Integer) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns all direct predecessors of a particular given vertex.
- getParents(Integer) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getPendingAxiomAdditions() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getPendingAxiomRemovals() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getPendingChanges() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getPrecomputableInferenceTypes() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getProcessor() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getProperties() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
Returns the set of equivalent object properties in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
-
- getProperty() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.REntry
-
Returns the class in the left part of this entry.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
Returns the object property in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
Returns the object property in the axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
Returns the data property in the axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
Returns the object property in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
Returns the object property in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
Returns the object property expression in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
Returns the object property expression in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
Returns the object property in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
Returns the object property in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
Returns the object property in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
Returns the data property in this class expression.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
Returns the data property in this class expression.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getPropertyChain() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getPropertyInSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
Returns the object property on the left-hand part of the axiom.
- getPropertyInSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
Returns the object property on the right-hand part of the axiom.
- getRange() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
Returns the class identifier in the axiom.
- getRange() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
Returns the class expression in this axiom.
- getRChain() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.CompletionRuleChainSelector
-
Returns the completion rule chain for the set of relations.
- getReasoner() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getReasoner() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- getReasonerConfiguration() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getReasonerName() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getReasonerName() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerFactory
-
- getReasonerName() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the name of this reasoner.
- getReasonerName() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getReasonerVersion() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getReasonerVersion() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the version of this reasoner.
- getReasonerVersion() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getReflexiveObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all reflexive object properties in the ontology.
- getReflexiveObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRelation(Integer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
Returns the binary relation for a given id, or and empty relation if the
id is unknown.
- getRelation(Integer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
Returns the binary relation for a given id, or and empty relation if the
id is unknown.
- getRelationIdSet() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
Returns a set containing all relation ids.
- getRelationIdSet() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
Returns a set containing all relation ids.
- getRelationsByFirst(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
Returns the relations which use a particular element in the first
component.
- getRelationsByFirst(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- getRelationsBySecond(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap
-
Returns the relations which use a particular element in the second
component.
- getRelationsBySecond(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
- getRelationSet() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the set of relations.
- getRelationSetMonitor() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getRelationSetMonitor() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns the monitor of set R.
- getRequiredAxioms() - Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
-
- getRI2rAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI2 in the ontology such that the given
object property occurs in the left part of the axiom.
- getRI2rAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRI2sAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI2 in the ontology such that the given
object property occurs in the right part of the axiom.
- getRI2sAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRI3AxiomsByLeft(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI3 in the ontology such that the given
object property occurs in the left part of the object property
composition, in the left part of the axiom.
- getRI3AxiomsByLeft(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRI3AxiomsByRight(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI3 in the ontology such that the given
object property occurs in the right part of the object property
composition, in the left part of the axiom.
- getRI3AxiomsByRight(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRightClass() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
-
- getRightClass() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.REntry
-
Returns the object property of this entry.
- getRightSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
Returns the right subclass in the axiom.
- getRightSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
Returns the object property on the right-hand part of the composition.
- getRootOntology() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSameIndividualMap() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
- getSameIndividualMap() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
-
Returns the map of same individuals.
- getSameIndividualMap() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
- getSameIndividualMap() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getSameIndividualMap() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getSameIndividuals(OWLNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSameIndividuals(IntegerNamedIndividual) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the individuals that are equivalent to the specified individual.
- getSameIndividuals(IntegerNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSChain() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.CompletionRuleChainSelector
-
Returns the completion rule chain for the set of subsumers.
- getSecondByFirst(int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getSecondByFirst(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns all the classes that are related from a certain class using a
certain object property
- getSecondProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
Returns one of object properties (called second) in this axiom.
- getSizeOfV() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
Returns the number of nodes.
- getStartTime() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getStatusInfo() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
Returns information about the processor status.
- getSubClass() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
-
- getSubClass() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.SEntry
-
Returns the subclass of this entry.
- getSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
Returns the subclass in this axiom.
- getSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
Returns the subclass in the axiom.
- getSubClass() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
Returns the subclass in this axiom.
- getSubClasses(OWLClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSubClasses(IntegerClassExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the sub classes of a specified class expression.
- getSubClasses(IntegerClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubDataProperties(OWLDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSubDataProperties(IntegerDataProperty, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the sub data properties of a specified data property.
- getSubDataProperties(IntegerDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubject() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
Returns the individual representing the subject.
- getSubject() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
Returns the individual representing the subject.
- getSubject() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
Returns the individual representing the subject.
- getSubObjectProperties(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getSubObjectProperties(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns all the sub object properties of an object property.
- getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSubObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the sub object properties of a specified object property
expression.
- getSubObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
Returns the object property on the left-hand part of the axiom
- getSubProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
Returns the sub object property in this axiom.
- getSubPropertyAxiomSetByLeft(Integer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
-
Returns the set of sub object property axioms related where the specified
object property occurs on the left-hand part of the composition.
- getSubPropertyAxiomSetByRight(Integer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
-
Returns the set of sub object property axioms related where the specified
object property occurs on the right-hand part of the composition.
- getSubsumees(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraph
-
Returns the collection of subsumees of a given vertex.
- getSubsumees(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
-
- getSubsumers(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getSubsumers(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns all the super classes (subsumers) of a class.
- getSubsumers(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
-
- getSubsumers(int) - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraph
-
Returns the collection of subsumers of a given vertex.
- getSubsumers(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
-
- getSuccessful() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
-
Returns the number of successful applications of the completion rule.
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
-
- getSuperClass() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.SEntry
-
Returns the superclass of this entry.
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
Returns the superclass in this axiom.
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
Returns the superclass in the axiom.
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
Returns the superclass in the axiom.
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
Returns the superclass in this axiom.
- getSuperClasses(OWLClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSuperClasses(IntegerClassExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the super classes of a specified class expression.
- getSuperClasses(IntegerClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperDataProperties(OWLDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSuperDataProperties(IntegerDataProperty, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the super data properties of a specified data property.
- getSuperDataProperties(IntegerDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperObjectProperties(int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
-
- getSuperObjectProperties(int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
-
Returns all the super object properties of an object property.
- getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getSuperObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the super object properties of a specified object property
expression.
- getSuperObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
Returns the object property in the axiom.
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
Returns the object property on the right-hand part of the axiom
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
Returns the super object property.
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
Returns the super object property in this axiom.
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
Returns the super object property expression.
- getTimeOut() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getTimeOut() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the time out.
- getTimeOut() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTimes() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
-
Returns the number of times that the completion rule was tried to be
applied.
- getTopClass() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Returns the top class.
- getTopClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getTopClassNode() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getTopClassNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the top class node.
- getTopClassNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopDataProperty() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Returns the top data property.
- getTopDataProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getTopDataPropertyNode() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getTopDataPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the top data property node.
- getTopDataPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopElement() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph
-
Returns the top element.
- getTopElement() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
- getTopElement() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
-
- getTopElement() - Method in interface de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraph
-
Returns the top element.
- getTopElement() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
-
- getTopObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
-
Returns the top object property.
- getTopObjectProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getTopObjectPropertyNode() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getTopObjectPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the top object property node.
- getTopObjectPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTotalTime() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
-
Returns the total time used to process all the entries.
- getTransitiveObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all transitive object properties in the ontology.
- getTransitiveObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getTranslationRepository() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
-
- getTranslationRepository() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
-
- getTranslationRepository() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator
-
- getTranslationRepository() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
-
- getTranslator() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getType(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the entity type for the given identifier
- getType(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getTypes(OWLNamedIndividual, boolean) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getTypes(IntegerNamedIndividual, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the types of a specified individual.
- getTypes(IntegerNamedIndividual, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getUnsatisfiableClasses() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- getUnsatisfiableClasses() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the set of unsatisfiable classes.
- getUnsatisfiableClasses() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getValue() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
Returns the value in this class expression.
- IntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
-
An IntegerAxiom
is an axiom that is composed by integer numbers.
- IntegerBinaryRelation - Interface in de.tudresden.inf.lat.jcel.core.graph
-
This interface models a binary relation.
- IntegerBinaryRelationImpl - Class in de.tudresden.inf.lat.jcel.core.graph
-
This class implements a binary relation.
- IntegerBinaryRelationImpl() - Constructor for class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
-
Constructs an empty binary relation.
- IntegerClass - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This models a class, this is : A
- IntegerClass(int) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
Constructs a new class.
- IntegerClassAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an assertion axiom that relates a class with an individual.
- IntegerClassDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
An object of this class is an axiom that declares a class.
- IntegerClassExpression - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
-
This interface is implemented by classes that model class expressions with
integer numbers.
- IntegerClassExpressionVisitor<T> - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models a visitor of IntegerClassExpression
.
- IntegerClassExpressionWord - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
-
This interface is a collection of constants used in the string representation
of IntegerClassExpression
s.
- IntegerDataHasValue - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models a has-value class expression, this is: ∃ r .
{v} , where r is data property expression and v is a value.
- IntegerDataHasValue(int, int) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
Constructs a has-value class expression.
- IntegerDataProperty - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models an object property.
- IntegerDataProperty(int) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
Constructs a data property.
- IntegerDataPropertyAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an assertion that relates a data property and a pair of
individuals.
- IntegerDataPropertyDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
An object of this class is an axiom that declares an data property.
- IntegerDataPropertyExpression - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
-
This interface is implemented by classes that model object property
expressions with integer numbers.
- IntegerDataSomeValuesFrom - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models an existential restriction with data properties, this is:
∃ p . C, where p is a data property and C is a class expression.
- IntegerDataSomeValuesFrom(int, IntegerClassExpression) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
Constructs an existential restriction.
- IntegerDatatype - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
-
An object implementing this interface is an object used for data types based
on integer numbers.
- IntegerDataTypeFactory - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
-
An object implementing this interface can create basic ontology objects.
- IntegerDataTypeFactoryImpl - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
An object implementing this class can create basic ontology objects.
- IntegerDataTypeFactoryImpl() - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
Constructs a new data type factory.
- IntegerDeclarationAxiom - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This interface is implemented by declaration axioms.
- IntegerDifferentIndividualsAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom saying that two or more individuals are pairwise
different.
- IntegerDisjointClassesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that the contained classes are pairwise
disjoint.
- IntegerEntityManager - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
-
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
- IntegerEntityManagerImpl - Class in de.tudresden.inf.lat.jcel.coreontology.datatype
-
An object of this class generates new identification numbers for object
properties and classes.
- IntegerEntityManagerImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
Constructs a new identifier generator.
- IntegerEntityType - Enum in de.tudresden.inf.lat.jcel.coreontology.datatype
-
- IntegerEquivalentClassesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that the contained classes are equivalent.
- IntegerEquivalentObjectPropertiesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that the contained properties are
equivalent.
- IntegerFunctionalObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that an object property is functional.
- IntegerHierarchicalGraph - Interface in de.tudresden.inf.lat.jcel.core.graph
-
This interface is implemented by classes modeling a directed graph
considering equivalent classes.
- IntegerHierarchicalGraphImpl - Class in de.tudresden.inf.lat.jcel.core.graph
-
This class implements the algorithm that computes the class hierarchy from
the subsumer set.
- IntegerHierarchicalGraphImpl(Integer, Integer) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
Constructs an empty hierarchical graph.
- IntegerHierarchicalGraphImpl(IntegerSubsumerGraph) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
-
Constructs a hierarchical graph using another graph.
- IntegerInverseFunctionalObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that the inverse of an object property is
functional.
- IntegerInverseObjectPropertiesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that one object property is the inverse of
another object property.
- IntegerNamedIndividual - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This models a named individual.
- IntegerNamedIndividual(int) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
Constructs a new named individual.
- IntegerNamedIndividualDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
An object of this class is an axiom that declares a named individual.
- IntegerNegativeObjectPropertyAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an assertion that negatively relates an object property and
a pair of individuals.
- IntegerObjectIntersectionOf - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models an intersection of several class expressions, this is:
C1 ⊓ … ⊓ Cn
- IntegerObjectIntersectionOf(Set<IntegerClassExpression>) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
Constructs an intersection of class expressions.
- IntegerObjectInverseOf - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models an inverse object property.
- IntegerObjectInverseOf(IntegerObjectProperty) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
Constructs an inverse object property.
- IntegerObjectOneOf - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models the nominal constructor.
- IntegerObjectOneOf(int) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
Constructs a nominal expression.
- IntegerObjectProperty - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models an object property.
- IntegerObjectProperty(int) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
Constructs an object property.
- IntegerObjectPropertyAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an assertion that relates an object property and a pair of
individuals.
- IntegerObjectPropertyDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
An object of this class is an axiom that declares an object property.
- IntegerObjectPropertyExpression - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
-
This interface is implemented by classes that model object property
expressions with integer numbers.
- IntegerObjectPropertyExpressionVisitor<T> - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models a visitor of IntegerObjectPropertyExpression
.
- IntegerObjectSomeValuesFrom - Class in de.tudresden.inf.lat.jcel.ontology.datatype
-
This class models an existential restriction with object properties, this is:
∃ r . C , where r is an object property expression and C is a
class expression.
- IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression, IntegerClassExpression) - Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
Constructs an existential restriction.
- IntegerOntologyObjectFactory - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.extension
-
An object implementing this interface can create all the objects in an
ontology.
- IntegerOntologyObjectFactoryImpl - Class in de.tudresden.inf.lat.jcel.ontology.axiom.extension
-
An object of this class can create all the objects in an ontology.
- IntegerOntologyObjectFactoryImpl() - Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
Constructs a new ontology object factory.
- IntegerPropertyRangeAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that the range of a particular object
property is included in a particular class expression.
- IntegerReasoner - Interface in de.tudresden.inf.lat.jcel.reasoner.main
-
This interface models a reasoner.
- IntegerReflexiveObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that an object property is reflexive.
- IntegerRelationMap - Interface in de.tudresden.inf.lat.jcel.core.graph
-
This interface models a map of binary relations.
- IntegerRelationMapImpl - Class in de.tudresden.inf.lat.jcel.core.graph
-
This class implements a map of binary relations.
- IntegerRelationMapImpl() - Constructor for class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
-
Constructs an empty map of binary relations.
- IntegerSameIndividualAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom saying that two or more individuals are the same.
- IntegerSubClassOfAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that one class is a subclass of another
one.
- IntegerSubObjectPropertyOfAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that one object property is a subproperty
of another one.
- IntegerSubPropertyChainOfAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that the contained properties form a
subsumption chain.
- IntegerSubsumerBidirectionalGraph - Interface in de.tudresden.inf.lat.jcel.core.graph
-
This interface models a subsumer graph where it is possible to get also the
subsumees for a particular vertex.
- IntegerSubsumerBidirectionalGraphImpl - Class in de.tudresden.inf.lat.jcel.core.graph
-
This class implements a subsumer invGraph.
- IntegerSubsumerBidirectionalGraphImpl(int, int) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
-
Constructs an empty subsumer bidirectional graph.
- IntegerSubsumerGraph - Interface in de.tudresden.inf.lat.jcel.core.graph
-
This interface models a subsumer graph.
- IntegerSubsumerGraphImpl - Class in de.tudresden.inf.lat.jcel.core.graph
-
This class implements a subsumer graph.
- IntegerSubsumerGraphImpl(int, int) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
-
Constructs an empty subsumer graph.
- IntegerTransitiveObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
-
This class models an axiom stating that the contained object property is
transitive.
- interrupt() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- interrupt() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Sends a request to the reasoner to stop its processing.
- interrupt() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- InverseFunctionalObjectProperty - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- InverseObjectProperties - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- isAuxiliary(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Tells whether the given identifier corresponds to an auxiliary entity.
- isAuxiliary(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- isClassified() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isConsistent() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- isConsistent() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Tells whether the ontology is consistent.
- isConsistent() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isEmpty() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
-
- isEmpty() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
-
- isEmpty() - Method in interface de.tudresden.inf.lat.jcel.core.graph.VNode
-
Tell whether a node has an empty set of existential expressions.
- isEmpty() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
-
- isEntailed(OWLAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- isEntailed(Set<? extends OWLAxiom>) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- isEntailed(ComplexIntegerAxiom) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Tells whether the specified axiom is entailed by the ontology.
- isEntailed(Set<ComplexIntegerAxiom>) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Tells whether the specified set of axioms is entailed by the ontology.
- isEntailed(ComplexIntegerAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isEntailed(Set<ComplexIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isEntailmentCheckingSupported(AxiomType<?>) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- isEntity(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Tell whether the given identifier corresponds to a registered entity
- isEntity(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- isExistential() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.cel.ExtensionEntry
-
Tell whether or not this is an existential entry.
- isImplication() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.cel.ExtensionEntry
-
Tell whether or not this is an implication entry.
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- isLiteral() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
-
Tells whether or not this class expression is a literal.
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- isLiteral() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression
-
Tells whether or not this property expression is a literal.
- isLiteral() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- isPrecomputed(InferenceType) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- isReady() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
-
- isReady() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
-
Tells whether the processor has classified the class hierarchy and object
property hierarchy.
- isReady() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
-
- isReady() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- isReady() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- isREntry() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
-
- isREntry() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
-
- isREntry() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.XEntry
-
Tells whether this entry is a relation entry.
- isSatisfiable(OWLClassExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
-
- isSatisfiable(IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Tells whether the specified class expression is satisfiable.
- isSatisfiable(IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isSEntry() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
-
- isSEntry() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
-
- isSEntry() - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.XEntry
-
Tells whether this entry is a subsumer entry.
- iterator() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
-
- iterator() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
-