A B C D E F G H I J L M N O P R S T U V X 

A

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom
Applies a visitor to this normalized integer axiom.
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
 
accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom
Applies a visitor to this complex integer axiom.
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
accept(IntegerClassExpressionVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
accept(IntegerObjectPropertyExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
accept(IntegerObjectPropertyExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
 
accept(IntegerObjectPropertyExpressionVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
activateProfiler() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.CompletionRuleChainSelector
Activates a profiler for the completion rule chains.
add(Integer) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
add(Integer) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
add(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
Adds an element to this binary relation.
add(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
Adds a pair to this binary relation.
add(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
Adds an empty binary relation.
add(int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
Adds a pair to a binary relation.
add(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
Adds a new vertex to the invGraph.
add(int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
Adds a new vertex to the graph.
addAll(Collection<? extends Integer>) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
addAll(Collection<? extends Integer>) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
addAncestor(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
Defines that one vertex is a subsumee of another vertex.
addAncestor(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
Defines that one vertex is a subsumee of another vertex.
addAxiom(OWLAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
 
addAxiomEntities(OWLOntology) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
Adds the entities of an ontology to the repository.
addAxioms(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
 
addClass(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
Adds a class to the ontology.
addClass(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
addClass(OWLClass) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
Adds a class to the repository.
addDataProperty(OWLDataProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
Adds a data property to the repository.
addExistential(int, int) - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
Adds an existential pair to this node.
addExistentialsOf(VNode) - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
Adds the existential pairs of another node.
addLiteral(OWLLiteral) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
Adds a literal to the repository.
addNamedIndividual(OWLNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
Adds an named individual to the repository.
addNewREntry(int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
 
addNewREntry(int, int, int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
Adds a new R-entry to the set of entries to be processed.
addNewSEntry(int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
 
addNewSEntry(int, int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus
Adds a new S-entry to the set of entries to be processed.
addObjectProperty(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
Adds an object property to the ontology.
addObjectProperty(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
addObjectProperty(OWLObjectProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
Adds an object property to the repository.
addToR(int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
Adds a new triplet to the set R.
addToS(int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
Adds a new pair to the set S.
Annotation - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This interface models an annotation.
AnnotationImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
An object of this class is an annotation.
AnnotationImpl(URI, String) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
Constructs a new default implementation of annotation.
anonymousEntity - Static variable in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RChain
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SChain
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR1SRule
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR2SRule
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR3SRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4RRule
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4SRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR5RRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RTrRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7RRule
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7SRule
 
apply(ClassifierStatus, int, int, int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule
Applies the completion rule considering the specified relation entry.
apply(ClassifierStatus, int, int) - Method in interface de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule
Applies the completion rule considering the specified subsumption entry.
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR3SExtRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4RExtRule
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4SExtRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR5RExtRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6RExtRule
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6SExtRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR7RExtRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8RExtRule
 
apply(ClassifierStatus, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8SExtRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtOptRule
 
apply(ClassifierStatus, int, int, int) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtRule
 
apply(Set<NormalizedIntegerAxiom>) - Method in interface de.tudresden.inf.lat.jcel.core.saturation.SaturationRule
Applies the saturation rule to a specified set of normalized axioms.
apply(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.saturation.SR0Rule
 
apply(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.saturation.SR1AndSR2Rules
 
apply(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.saturation.SR3Rule
 
apply(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.saturation.SR4Rule
 
apply(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.saturation.SubPropertyNormalizer
Saturates a set of normalized axioms by applying rules SR-1, SR-2, SR-3, SR-4 and SR-5.
apply(IntegerAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.normalization.NormalizationRule
Applies the normalization rule to a specified axiom.
ArraySet - Class in de.tudresden.inf.lat.jcel.core.graph
This class implements a set of integers using a sorted array of int with exponential growth.
ArraySet() - Constructor for class de.tudresden.inf.lat.jcel.core.graph.ArraySet
Constructs an empty array set.
ArraySetIterator - Class in de.tudresden.inf.lat.jcel.core.graph
This class implements an iterator for an array set.
ArraySetIterator(int[], int) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.ArraySetIterator
Constructs an iterator for an array set.
asExistential() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.cel.ExtensionEntry
Returns this entry as an existential entry.
asImplication() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.cel.ExtensionEntry
Returns this entry as an implication entry.
auxiliaryEntity - Static variable in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
AxiomTranslator - Class in de.tudresden.inf.lat.jcel.owlapi.translator
An object of this class is a visitor use to translate an owl axiom into an integer axiom.
AxiomTranslator(ClassExpressionTranslator, IntegerOntologyObjectFactory) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 

B

bottomClassId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
bottomDataPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
bottomObjectPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 

C

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, r1T s, r2T 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, r1T r, r2T 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, r1T s, r2T 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, r1T s, r2T 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,
r1T s, r2T s, …, rnT 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, r1T s, r2T 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
 

D

DataHasValue - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
DataPropertyAssertion - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
DataPropertyDeclaration - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
DataSomeValuesFrom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
de.tudresden.inf.lat.jcel.core.algorithm - package de.tudresden.inf.lat.jcel.core.algorithm
Provides interfaces and classes to run the classification algorithm.
de.tudresden.inf.lat.jcel.core.algorithm.cel - package de.tudresden.inf.lat.jcel.core.algorithm.cel
Provides interfaces and classes to run the classification algorithm of CEL.
de.tudresden.inf.lat.jcel.core.algorithm.common - package de.tudresden.inf.lat.jcel.core.algorithm.common
Provides common interfaces and classes to run the classification algorithm.
de.tudresden.inf.lat.jcel.core.algorithm.module - package de.tudresden.inf.lat.jcel.core.algorithm.module
Provides interfaces and classes to extract modules.
de.tudresden.inf.lat.jcel.core.algorithm.rulebased - package de.tudresden.inf.lat.jcel.core.algorithm.rulebased
Provides interfaces and classes to run a classification algorithm based on completion rules.
de.tudresden.inf.lat.jcel.core.completion - package de.tudresden.inf.lat.jcel.core.completion
Provides interfaces and classes of the completion rules for the classification algorithm.
de.tudresden.inf.lat.jcel.core.completion.basic - package de.tudresden.inf.lat.jcel.core.completion.basic
Provides interfaces and classes of the basic rules for the classification algorithm.
de.tudresden.inf.lat.jcel.core.completion.common - package de.tudresden.inf.lat.jcel.core.completion.common
Provides common interfaces and classes for the rules of the classification algorithm.
de.tudresden.inf.lat.jcel.core.completion.ext - package de.tudresden.inf.lat.jcel.core.completion.ext
Provides interfaces and classes of the extended set of rules for the classification algorithm.
de.tudresden.inf.lat.jcel.core.graph - package de.tudresden.inf.lat.jcel.core.graph
Provides interfaces and classes used to represent the data during the classification process.
de.tudresden.inf.lat.jcel.core.saturation - package de.tudresden.inf.lat.jcel.core.saturation
Provides interfaces and classes needed to perform the saturation.
de.tudresden.inf.lat.jcel.coreontology.axiom - package de.tudresden.inf.lat.jcel.coreontology.axiom
Provides interfaces and classes that model normalized axioms.
de.tudresden.inf.lat.jcel.coreontology.datatype - package de.tudresden.inf.lat.jcel.coreontology.datatype
Provides interfaces and classes with the data types used in the normalized axioms of the classification algorithm.
de.tudresden.inf.lat.jcel.coreontology.expressivity - package de.tudresden.inf.lat.jcel.coreontology.expressivity
Provides interfaces and classes to detect ontology expressivity.
de.tudresden.inf.lat.jcel.ontology.axiom.complex - package de.tudresden.inf.lat.jcel.ontology.axiom.complex
Provides interfaces and classes that model complex axioms.
de.tudresden.inf.lat.jcel.ontology.axiom.extension - package de.tudresden.inf.lat.jcel.ontology.axiom.extension
Provides interfaces and classes that extend a set of axioms.
de.tudresden.inf.lat.jcel.ontology.datatype - package de.tudresden.inf.lat.jcel.ontology.datatype
Provides interfaces and classes with the data types used in the axioms of the classification algorithm.
de.tudresden.inf.lat.jcel.ontology.normalization - package de.tudresden.inf.lat.jcel.ontology.normalization
Provides interfaces and classes needed to perform the normalization.
de.tudresden.inf.lat.jcel.owlapi.console - package de.tudresden.inf.lat.jcel.owlapi.console
Provides interfaces and classes to execute the reasoner from the console.
de.tudresden.inf.lat.jcel.owlapi.main - package de.tudresden.inf.lat.jcel.owlapi.main
Provides interfaces and classes used for the connection with the OWL API.
de.tudresden.inf.lat.jcel.owlapi.translator - package de.tudresden.inf.lat.jcel.owlapi.translator
Provides interfaces and classes used in the translation between OWL API objects and integer numbers (the internal representation).
de.tudresden.inf.lat.jcel.protege.main - package de.tudresden.inf.lat.jcel.protege.main
Provides interfaces and classes used for the connection with Protégé.
de.tudresden.inf.lat.jcel.reasoner.main - package de.tudresden.inf.lat.jcel.reasoner.main
Provides interfaces and classes used for the reasoner.
de.tudresden.inf.lat.jcel.reasoner.module - package de.tudresden.inf.lat.jcel.reasoner.module
Provides interfaces and classes to run the classification algorithm using module extraction.
Declaration - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
deleteClassGraph() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
Deletes the class graph.
deleteObjectPropertyGraph() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
Deletes the object property graph.
DifferentIndividuals - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
DisjointClasses - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
disjointUnion(IntegerHierarchicalGraph) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
Makes a disjoint union with another graph.
dispose() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
 
dispose() - Method in class de.tudresden.inf.lat.jcel.protege.main.JcelProtegeReasonerFactory
 
dispose() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
Disposes this reasoner.
dispose() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
 

E

EMPTY - Static variable in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
emptyProp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR1SRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR2SRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR3SRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4RRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4SRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR5RRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RTrRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7RRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7SRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR3SExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4RExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4SExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR5RExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6RExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6SExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR7RExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8RExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8SExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtOptRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtRule
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySetIterator
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFromImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
EquivalentClasses - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
EquivalentProperties - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
ExpressivityName - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity
An object of this class can name the expressivity used in an ontology.
ExpressivityName() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName
Constructs a new object that can give the description logic name for a given expressivity.
ExtendedOntology - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This is the interface of an extended ontology provides methods to efficiently retrieve axioms from the ontology.
ExtendedOntologyImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
This class models an ontology with the property to look up by axiom type.
ExtendedOntologyImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
Constructs an empty ontology.
ExtensionEntry - Interface in de.tudresden.inf.lat.jcel.core.algorithm.cel
This class models an entry for the queues.
extractModule(Collection<NormalizedIntegerAxiom>, Set<Integer>, Set<Integer>) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.module.ModuleExtractor
Returns a module, i.e.

F

firstUsableIdentifier - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
flattenClassExpression(IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
 
flush() - Method in class de.tudresden.inf.lat.jcel.owlapi.console.OutputStreamHandler
 
flush() - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
 
flush() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
Applies changes to the ontology when the reasoner is buffered.
flush() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
 
FunctionalObjectProperty - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
FunctionalObjectProperty - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
FunctObjectPropAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom stating that an object property is functional.

G

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
 
getReasonerFactory() - Method in class de.tudresden.inf.lat.jcel.protege.main.JcelProtegeReasonerFactory
 
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
 
getRecommendedBuffering() - Method in class de.tudresden.inf.lat.jcel.protege.main.JcelProtegeReasonerFactory
 
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.

H

hasBottom() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found class bottom.
hasBottom() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasDatatype() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found data types.
hasDatatype() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasDatatype() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasFunctionalObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found functional object properties.
hasFunctionalObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasFunctionalObjectProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
HashArraySet - Class in de.tudresden.inf.lat.jcel.core.graph
This class implements a set of integers using an array of int with exponential growth.
HashArraySet() - Constructor for class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
Constructs an empty array set.
HashArraySetIterator - Class in de.tudresden.inf.lat.jcel.core.graph
This class implements an iterator for a hash array set.
HashArraySetIterator(int[], int) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator
Constructs an iterator for an array set.
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR1SRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR2SRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR3SRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4RRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4SRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR5RRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RTrRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7RRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7SRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR3SExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4RExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4SExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR5RExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6RExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6SExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR7RExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8RExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8SExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtOptRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtRule
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySetIterator
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFromImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
hasIndividual() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found individuals.
hasIndividual() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasIndividual() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasInverseObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found inverse object properties.
hasInverseObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasInverseObjectProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasNext() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySetIterator
 
hasNext() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator
 
hasNominal() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found nominals.
hasNominal() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasNominal() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasOnlyClasses() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
hasOnlyClasses() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
Tells whether or not this class expression contains only one class in its signature.
hasOnlyClasses() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
hasOnlyClasses() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
hasOnlyClasses() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
hasOnlyClasses() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
hasOnlyClasses() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
hasOnlyClasses() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
hasReflexiveObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found reflexive object properties.
hasReflexiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasReflexiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasSubObjectPropertyOf() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found sub object properties.
hasSubObjectPropertyOf() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasSubObjectPropertyOf() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasSubPropertyChainOf() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found sub object property chains.
hasSubPropertyChainOf() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasSubPropertyChainOf() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
hasTransitiveObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found transitive object properties.
hasTransitiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasTransitiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 

I

initialise() - Method in class de.tudresden.inf.lat.jcel.protege.main.JcelProtegeReasonerFactory
 
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 IntegerClassExpressions.
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
 

J

JcelOntologyChangeVisitorEx - Class in de.tudresden.inf.lat.jcel.owlapi.main
 
JcelOntologyChangeVisitorEx(JcelReasoner) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
JcelProtegeReasonerFactory - Class in de.tudresden.inf.lat.jcel.protege.main
This factory is used by Protege.
JcelProtegeReasonerFactory() - Constructor for class de.tudresden.inf.lat.jcel.protege.main.JcelProtegeReasonerFactory
 
JcelReasoner - Class in de.tudresden.inf.lat.jcel.owlapi.main
This class is the connection with the OWL API.
JcelReasoner(OWLOntology, boolean) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
Constructs a new jcel reasoner.
JcelReasoner(OWLOntology, boolean, OWLReasonerConfiguration) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
Constructs a new jcel reasoner.
JcelReasonerException - Exception in de.tudresden.inf.lat.jcel.owlapi.main
This exception is thrown by the reasoner.
JcelReasonerException(String) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerException
Constructs a new reasoner exception.
JcelReasonerException(String, Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerException
Constructs a new reasoner exception.
JcelReasonerException(Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerException
Constructs a new reasoner exception.
JcelReasonerFactory - Class in de.tudresden.inf.lat.jcel.owlapi.main
This factory creates an instance of a jcel reasoner based on an ontology and a optional configuration.
JcelReasonerFactory() - Constructor for class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerFactory
 

L

licenseInfo - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
load(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
Loads a set of normalized axioms.
load(Set<NormalizedIntegerAxiom>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
Loads a set of normalized axioms.
load(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
loadPrefixes(Collection<String>) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.TurtleRenderer
Loads a set of names and gets the prefixes from these names.

M

main(String[]) - Static method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
Starts a classifier instance from the command line.
ModuleExtractor - Class in de.tudresden.inf.lat.jcel.core.algorithm.module
An object of this class is a module extractor, i.e.
ModuleExtractor() - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.module.ModuleExtractor
Constructs a new module extractor.
ModuleProcessor - Class in de.tudresden.inf.lat.jcel.reasoner.module
An object of this class classifies an ontology.
ModuleProcessor(Set<ComplexIntegerAxiom>, ModuleProcessorFactory) - Constructor for class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
Constructs a new module processor.
ModuleProcessorFactory - Interface in de.tudresden.inf.lat.jcel.reasoner.module
This interface provides a method to create a processor.

N

NamedIndividualDeclaration - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
NegativeObjectPropertyAssertion - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
newIncompleteMapException(String) - Static method in exception de.tudresden.inf.lat.jcel.owlapi.translator.TranslationException
 
newUnsupportedAxiomException(OWLAxiom) - Static method in exception de.tudresden.inf.lat.jcel.owlapi.translator.TranslationException
 
newUnsupportedTranslationException(Object) - Static method in exception de.tudresden.inf.lat.jcel.owlapi.translator.TranslationException
 
next() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySetIterator
 
next() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator
 
NominalAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: {a} ≡ A
NominalAxiom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
NormalizationRule - Interface in de.tudresden.inf.lat.jcel.ontology.normalization
This interface is implemented by normalization rules.
normalize(Set<ComplexIntegerAxiom>, IntegerOntologyObjectFactory) - Method in class de.tudresden.inf.lat.jcel.ontology.normalization.OntologyNormalizer
Normalizes a set of axioms.
NormalizedAxiomExpressivityDetector - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity
An object implementing this class can detect the expressivity of a given set of normalized axioms.
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom>) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
Constructs a new expressivity detector.
NormalizedIntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This interface is for normalized axioms, that is, resulting axioms of the normalization process.
NormalizedIntegerAxiomConstant - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This interface is a collection of constants used by classes that implement an NormalizedIntegerAxiom.
NormalizedIntegerAxiomFactory - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
An object implementing this interface is a factory to create normalized axioms.
NormalizedIntegerAxiomFactoryImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
An object of this class is a factory to create any normalized axiom.
NormalizedIntegerAxiomFactoryImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
Constructs a new normalized axiom factory.
NormalizedIntegerAxiomVisitor<T> - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This class models a visitor of NormalizedIntegerAxiom.
NormalizedRangeAxiom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 

O

ObjectIntersectionOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
ObjectInverseOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
ObjectOneOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
ObjectPropertyAssertion - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
ObjectPropertyChain - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
ObjectPropertyDeclaration - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
ObjectPropertyExpressionTranslator - Class in de.tudresden.inf.lat.jcel.owlapi.translator
An object of this class can translate an object property expression of the OWL API into the integer-based representation.
ObjectPropertyExpressionTranslator(IntegerDataTypeFactory, TranslationRepository) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator
Constructs a new object property expression translator.
ObjectPropertyIdFinder - Class in de.tudresden.inf.lat.jcel.ontology.normalization
An object of this class is a normalizer for inverse object properties.
ObjectPropertyIdFinder(IntegerEntityManager) - Constructor for class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
Constructs a new normalizer for inverse object properties.
ObjectSomeValuesFrom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
ontologiesChanged(List<? extends OWLOntologyChange>) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
 
OntologyEntailmentChecker - Class in de.tudresden.inf.lat.jcel.reasoner.main
An object of this class checks ontology entailment.
OntologyEntailmentChecker(RuleBasedReasoner) - Constructor for class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
Constructs a new ontology entailment checker.
OntologyExpressivity - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
 
OntologyNormalizer - Class in de.tudresden.inf.lat.jcel.ontology.normalization
An object of this class normalizes an ontology according to the following normalization rules: NR-1.1 : domain(r) ⊑ C ↝ ∃r . ⊤ ⊑ C NR-1.2 : range(r) ⊑ C ↝ range(r) ⊑ A, A ⊑ C NR-1.3 : reflexive(r) ↝ ε ⊑ r NR-1.4 : transitive(r) ↝ r ∘ r ⊑ r NR-1.5 : C ≡ D ↝ C ⊑ D, D ⊑ C NR-1.6 : C ⊑ D ↝ NR-1.7 : C ⊑ D ↝ C ⊑ ⊥ NR-2.1 : r1 ∘ … ∘ rk ⊑ s ↝ r1 ∘ … ∘ rk-1 ⊑ u, u ∘ rk ⊑ s NR-2.2 : C1 ⊓ … ⊓ C' ⊓ … ⊓ Cn ⊑ D ↝ C' ⊑ A, C1 ⊓ … ⊓ A ⊓ … ⊓ Cn ⊑ D NR-2.3 : ∃ r . C'⊑ D ↝ C' ⊑ A, ∃ r . A ⊑ D NR-3.1 : C' ⊑ D' ↝ C' ⊑ A, A ⊑ D' NR-3.2 : B ⊑ ∃ r . C' ↝ B ⊑ ∃ r . A, A ⊑ C' NR-3.3 : B ⊑ C ⊓ D ↝ B ⊑ C, B ⊑ D
OntologyNormalizer() - Constructor for class de.tudresden.inf.lat.jcel.ontology.normalization.OntologyNormalizer
Constructs a new ontology normalizer.
openPar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
openPar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
openPar - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
optClassURI - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optConclusion - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optHelp - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optLogLevel - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optOntology - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optOperation - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optOutput - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optRenderer - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optTimeOut - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optVerbose - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
optVersion - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
outputSetR(Writer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
 
outputSetR(Writer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
 
outputSetS(Writer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
 
outputSetS(Writer) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
 
OutputStreamHandler - Class in de.tudresden.inf.lat.jcel.owlapi.console
This class is a Handler that logs some benchmarking data, such as used memory and running time.
OutputStreamHandler(OutputStream) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.console.OutputStreamHandler
 
OWLInferredOntologyWrapper - Class in de.tudresden.inf.lat.jcel.owlapi.console
This class contains the ontology inferred by a reasoner.
OWLInferredOntologyWrapper(OWLReasoner) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.console.OWLInferredOntologyWrapper
 

P

parseMode(String) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
Returns the mode of execution that corresponds to the given identifier.
parseRenderer(String) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
Creates a new abstract OWL renderer.
postProcess() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
Post processes the data after the classification phase.
postProcess() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
Post processes the data after the classification phase.
precomputeInferences(InferenceType...) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
 
preProcess(Set<Integer>, Set<Integer>, Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
The configuration follows the following steps: normalizes the ontology creating auxiliary entities creates an extended ontonlogy based on the normalized ontology adds the classes creates the property hierarchy prepares all the queues to run the algorithm
preProcess(ExtendedOntology) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
The configuration follows the following steps: creates the property hierarchy prepares all the queues to run the algorithm
process() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor
 
process() - Method in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
Makes one step in the process of classification.
process() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
 
process() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
 
process() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
 
Processor - Interface in de.tudresden.inf.lat.jcel.core.algorithm.common
An object implementing this interface can classify a set of axioms.
proposeInverseObjectPropertyOf(Integer, Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
Proposes the association of an object property to another object property as one the inverse object property of the other one.
proposeInverseObjectPropertyOf(Integer, Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
publish(LogRecord) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.OutputStreamHandler
 

R

RangeAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: range(r) ⊑ A
RangeAxiom - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
RChain - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object implementing this class is a completion rule chain for the set of relations.
RChain(List<RObserverRule>) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RChain
Constructs a new chain for the set of relations.
reasonerName - Static variable in interface de.tudresden.inf.lat.jcel.reasoner.main.VersionInfo
 
reasonerVersion - Static variable in interface de.tudresden.inf.lat.jcel.reasoner.main.VersionInfo
 
ReflexiveObjectProperty - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
remove(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
remove() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySetIterator
 
remove(Object) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
remove() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator
 
removeAll(Collection<?>) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
removeAll(Collection<?>) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
removeAxiom(OWLAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner
 
removeNextREntry() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
Returns the next R-entry and removes it from the set to be processed.
removeNextSEntry() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl
Returns the next S-entry and removes it from the set to be processed.
Renderer - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object of this class renders the important data structures used in the classification.
Renderer() - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.Renderer
 
rendererFunctional - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
rendererKRSS - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
rendererKRSS2 - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
rendererKRSS2OWL - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
rendererLatex - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
rendererManchester - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
rendererXML - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
renderMode(ConsoleStarter.Mode) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
Returns a string that identifies the mode of execution (e.g.
renderPrefixes() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.TurtleRenderer
Renders the prefixes with their abbreviations.
renderTriple(String, String, String) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.TurtleRenderer
Renders a triple trying to replace prefixes by their abbreviations.
renderWithNames(Writer, IntegerEntityManager, IntegerRelationMap) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.Renderer
Renders set R using Turtle syntax.
renderWithNames(Writer, IntegerEntityManager, IntegerSubsumerGraph) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.Renderer
Renders set S using Turtle syntax.
REntry - Interface in de.tudresden.inf.lat.jcel.core.completion.common
This interface models a relation entry and can be used by a relation observer.
REntryImpl - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object of this class is a relation entry and can be used by a relation observer.
REntryImpl(int, int, int) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
Constructs a new relation entry (R-entry).
retainAll(Collection<?>) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
retainAll(Collection<?>) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
retainAll(Collection<Integer>) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
Retains only the elements contained in the collection.
retainAll(Collection<Integer>) - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
Retains only the elements contained in the collection.
RI1 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
RI1Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: ε ⊑ r
RI2 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
RI2Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: r ⊑ s
RI3 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
RI3Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: r ∘ s ⊑ t
RObserverRule - Interface in de.tudresden.inf.lat.jcel.core.completion.common
This is the interface of a relation observer.
RuleBasedProcessor - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object of this class is an implementation of a classification algorithm.
RuleBasedProcessor(Set<Integer>, Set<Integer>, Set<NormalizedIntegerAxiom>, OntologyExpressivity, NormalizedIntegerAxiomFactory, IntegerEntityManager) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
Constructs a new rule-based processor.
RuleBasedReasoner - Class in de.tudresden.inf.lat.jcel.reasoner.main
This class models a rule-based reasoner.
RuleBasedReasoner(Set<ComplexIntegerAxiom>, IntegerOntologyObjectFactory) - Constructor for class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
 
RuleProfiler - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object implementing this class is a profiler for completion rules.
RuleProfiler(RObserverRule) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
Constructs a new profiler for an R-rule.
RuleProfiler(SObserverRule) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
Constructs a new profiler for an S-rule.
run() - Method in class de.tudresden.inf.lat.jcel.owlapi.console.TimeOutMonitor
 

S

SameIndividual - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
SaturationRule - Interface in de.tudresden.inf.lat.jcel.core.saturation
This interface is implemented by saturation rules.
SChain - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object implementing this class is a completion rule chain for the set of subsumers.
SChain(List<SObserverRule>) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SChain
Constructs a new chain for the set of subsumers.
SEntry - Interface in de.tudresden.inf.lat.jcel.core.completion.common
This interface models a subsumer entry and can be used by a subsumer observer.
SEntryImpl - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object of this class is a subsumer entry and can be used by a subsumer observer.
SEntryImpl(int, int) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
Constructs a new subsumer entry (S-entry).
showConfigurationInfo() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
 
showStatusInfo() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor
 
size() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
size() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
size() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
Returns the number of created entities, either auxiliary or non-auxiliary.
size() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
SObserverRule - Interface in de.tudresden.inf.lat.jcel.core.completion.common
This is the interface of a subsumption observer.
sp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
sp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
sp - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
SR0Rule - Class in de.tudresden.inf.lat.jcel.core.saturation
For each object property r, this rule adds r ⊑ r.
SR0Rule(NormalizedIntegerAxiomFactory) - Constructor for class de.tudresden.inf.lat.jcel.core.saturation.SR0Rule
Constructs a new SR-0 rule.
SR1AndSR2Rules - Class in de.tudresden.inf.lat.jcel.core.saturation
SR-1 : r ⊑ s ↝ r- ⊑ s- SR-2 : r ⊑ s, s ⊑ t ↝ r ⊑ t
SR1AndSR2Rules(NormalizedIntegerAxiomFactory, IntegerEntityManager) - Constructor for class de.tudresden.inf.lat.jcel.core.saturation.SR1AndSR2Rules
Constructs a new composite rule of SR-1 and SR-2.
SR3Rule - Class in de.tudresden.inf.lat.jcel.core.saturation
SR-3 : r ∘ s ⊑ t ↝ s- ∘ r- ⊑ t-
SR3Rule(NormalizedIntegerAxiomFactory, IntegerEntityManager) - Constructor for class de.tudresden.inf.lat.jcel.core.saturation.SR3Rule
Constructs a new SR-3 rule.
SR4Rule - Class in de.tudresden.inf.lat.jcel.core.saturation
SR-4 : r ⊑ s, f(s) ↝ f(r)
SR4Rule(NormalizedIntegerAxiomFactory) - Constructor for class de.tudresden.inf.lat.jcel.core.saturation.SR4Rule
Constructs a new SR-4 rule.
start(String[]) - Method in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
Starts the application.
subClassOf - Static variable in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.Renderer
 
SubClassOf - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
SubObjectPropertyOf - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
SubPropertyNormalizer - Class in de.tudresden.inf.lat.jcel.core.saturation
This class models a normalizer that saturates an ontology with object property inclusions.
SubPropertyNormalizer(NormalizedIntegerAxiomFactory, IntegerEntityManager) - Constructor for class de.tudresden.inf.lat.jcel.core.saturation.SubPropertyNormalizer
Constructs a new normalizer of sub object properties.

T

TimeOutMonitor - Class in de.tudresden.inf.lat.jcel.owlapi.console
An object of this class implements a monitor that interrupts the reasoner after a time-out.
TimeOutMonitor(JcelReasoner, long) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.console.TimeOutMonitor
 
toArray() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
toArray(T[]) - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
toArray() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
toArray(T[]) - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
topClassId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
topDataPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
topObjectPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RChain
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SChain
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR1SRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR2SRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR3SRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4RRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR4SRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR5RRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR6RTrRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7RRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.basic.CR7SRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR3SExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4RExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR4SExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR5RExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6RExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR6SExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR7RExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8RExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR8SExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtOptRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtRule
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.ArraySet
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySet
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFromImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
 
toString() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
toString() - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
 
TransitiveObjectProperty - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
translate(OWLClassExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
translateAnnotation(OWLAnnotation) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
translateAnnotations(Set<OWLAnnotation>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
translateC(IntegerClass) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateC(OWLClass) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateCE(OWLClassExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateDataProperty(OWLDataProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
translateI(IntegerNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateI(OWLNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateIndividual(OWLIndividual) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
translateLiteral(OWLLiteral) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
translateObjectPropertyExpression(OWLObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
translateOPE(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateOPE(OWLObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSA(Set<OWLAxiom>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSC(Node<OWLClass>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSC(Set<IntegerClass>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSI(Node<OWLNamedIndividual>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSI(Set<IntegerNamedIndividual>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSOPE(Node<OWLObjectPropertyExpression>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSOPE(Set<IntegerObjectPropertyExpression>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSSC(NodeSet<OWLClass>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSSC(Set<Set<IntegerClass>>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSSI(NodeSet<OWLNamedIndividual>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSSI(Set<Set<IntegerNamedIndividual>>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSSOPE(NodeSet<OWLObjectPropertyExpression>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
translateSSOPE(Set<Set<IntegerObjectPropertyExpression>>) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
TranslationException - Exception in de.tudresden.inf.lat.jcel.owlapi.translator
This exception is thrown when an AxiomTranslator cannot make a translation between the OWL API objects and the integer numbers.
TranslationException(String) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.translator.TranslationException
 
TranslationException(String, Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.translator.TranslationException
 
TranslationException(Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.translator.TranslationException
 
TranslationRepository - Class in de.tudresden.inf.lat.jcel.owlapi.translator
An object of this class is a repository used for the translation between OWL API objects and the integer numbers.
TranslationRepository(OWLDataFactory, IntegerEntityManager) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
Constructs a new translation repository.
Translator - Class in de.tudresden.inf.lat.jcel.owlapi.translator
An object of this class can translate a set of OWLAxioms into a set of integer axioms.
Translator(OWLDataFactory, IntegerOntologyObjectFactory) - Constructor for class de.tudresden.inf.lat.jcel.owlapi.translator.Translator
 
TurtleRenderer - Class in de.tudresden.inf.lat.jcel.core.algorithm.rulebased
An object of this class creates a stream in a particular case of Turtle (Terse RDF Triple Language).
TurtleRenderer(Writer) - Constructor for class de.tudresden.inf.lat.jcel.core.algorithm.rulebased.TurtleRenderer
Constructs a Turtle renderer.

U

UnclassifiedOntologyException - Exception in de.tudresden.inf.lat.jcel.core.algorithm.common
This exception is thrown when accessing a data structure given by the processor before classification.
UnclassifiedOntologyException() - Constructor for exception de.tudresden.inf.lat.jcel.core.algorithm.common.UnclassifiedOntologyException
 
UnclassifiedOntologyException(String) - Constructor for exception de.tudresden.inf.lat.jcel.core.algorithm.common.UnclassifiedOntologyException
 
UnclassifiedOntologyException(String, Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.core.algorithm.common.UnclassifiedOntologyException
 
UnclassifiedOntologyException(Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.core.algorithm.common.UnclassifiedOntologyException
 
UnsupportedQueryException - Exception in de.tudresden.inf.lat.jcel.reasoner.main
This exception is thrown when a query is not supported.
UnsupportedQueryException(String) - Constructor for exception de.tudresden.inf.lat.jcel.reasoner.main.UnsupportedQueryException
 
UnsupportedQueryException(String, Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.reasoner.main.UnsupportedQueryException
 
UnsupportedQueryException(Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.reasoner.main.UnsupportedQueryException
 
UnsupportedReasonerOperationInJcelException - Exception in de.tudresden.inf.lat.jcel.owlapi.main
This exception is thrown when the reasoner is requested an operation that is unsupported.
UnsupportedReasonerOperationInJcelException() - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.main.UnsupportedReasonerOperationInJcelException
 
UnsupportedReasonerOperationInJcelException(String) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.main.UnsupportedReasonerOperationInJcelException
 
UnsupportedReasonerOperationInJcelException(String, Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.main.UnsupportedReasonerOperationInJcelException
 
UnsupportedReasonerOperationInJcelException(Throwable) - Constructor for exception de.tudresden.inf.lat.jcel.owlapi.main.UnsupportedReasonerOperationInJcelException
 

V

valueOf(String) - Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter.Mode
Returns the enum constant of this type with the specified name.
values() - Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter.Mode
Returns an array containing the constants of this enum type, in the order they are declared.
versionInfo - Static variable in class de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
 
VersionInfo - Interface in de.tudresden.inf.lat.jcel.reasoner.main
This interface contains the reasoner name and version.
visit(FunctObjectPropAxiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(GCI0Axiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(GCI1Axiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(GCI2Axiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(GCI3Axiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(NominalAxiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(RangeAxiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(RI1Axiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(RI2Axiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(RI3Axiom) - Method in class de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology
 
visit(FunctObjectPropAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI0Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI1Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI2Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI3Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(NominalAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RangeAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RI1Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RI2Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RI3Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(FunctObjectPropAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a functional object property axiom.
visit(GCI0Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-0 axiom.
visit(GCI1Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-1 axiom.
visit(GCI2Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-2 axiom.
visit(GCI3Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-3 axiom.
visit(NominalAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a nominal axiom.
visit(RangeAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a range axiom.
visit(RI1Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits an RI-1 axiom.
visit(RI2Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits an RI-2 axiom.
visit(RI3Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits an RI-3 axiom.
visit(IntegerClassAssertionAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a class assertion axiom.
visit(IntegerClassDeclarationAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a class declaration axiom.
visit(IntegerDataPropertyAssertionAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a data property assertion axiom.
visit(IntegerDataPropertyDeclarationAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a data property declaration axiom.
visit(IntegerDifferentIndividualsAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a different individuals axiom.
visit(IntegerDisjointClassesAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a disjoint classes axiom.
visit(IntegerEquivalentClassesAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits an equivalent classes axiom.
visit(IntegerEquivalentObjectPropertiesAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits an equivalent object properties axiom.
visit(IntegerFunctionalObjectPropertyAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a functional object property axiom.
visit(IntegerInverseFunctionalObjectPropertyAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits an inverse functional object property axiom.
visit(IntegerInverseObjectPropertiesAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits an inverse object property axiom.
visit(IntegerNamedIndividualDeclarationAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a named individual declaration axiom.
visit(IntegerNegativeObjectPropertyAssertionAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a negative object property assertion axiom.
visit(IntegerObjectPropertyAssertionAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits an object property assertion axiom.
visit(IntegerObjectPropertyDeclarationAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits an object property declaration axiom.
visit(IntegerPropertyRangeAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits property range axiom.
visit(IntegerReflexiveObjectPropertyAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a reflexive object property declaration axiom.
visit(IntegerSameIndividualAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a same individual axiom.
visit(IntegerSubClassOfAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a subclass axiom.
visit(IntegerSubObjectPropertyOfAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a sub object property axiom.
visit(IntegerSubPropertyChainOfAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a sub object property chain axiom.
visit(IntegerTransitiveObjectPropertyAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
Visits a transitive object property axiom.
visit(IntegerClass) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
Visits an integer class.
visit(IntegerDataHasValue) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
Visits a has-value class expression.
visit(IntegerDataSomeValuesFrom) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
Visits an existential restriction with data properties.
visit(IntegerNamedIndividual) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
Visits a named individual.
visit(IntegerObjectIntersectionOf) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
Visits an intersection of several class expressions.
visit(IntegerObjectOneOf) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
Visits a nominal constructor.
visit(IntegerObjectSomeValuesFrom) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
Visits an existential restriction with object properties.
visit(IntegerObjectInverseOf) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpressionVisitor
 
visit(IntegerObjectProperty) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpressionVisitor
 
visit(IntegerObjectInverseOf) - Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
 
visit(IntegerObjectProperty) - Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
 
visit(AddAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
visit(AddImport) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
visit(AddOntologyAnnotation) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
visit(RemoveAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
visit(RemoveImport) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
visit(RemoveOntologyAnnotation) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
visit(SetOntologyID) - Method in class de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx
 
visit(OWLAnnotationAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLClassAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDataPropertyAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDataPropertyDomainAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDataPropertyRangeAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDatatypeDefinitionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDeclarationAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDifferentIndividualsAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDisjointClassesAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLDisjointUnionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLEquivalentClassesAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLHasKeyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLObjectPropertyDomainAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLObjectPropertyRangeAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLSameIndividualAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLSubClassOfAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLSubDataPropertyOfAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLSubPropertyChainOfAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(SWRLRule) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator
 
visit(OWLClass) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLDataAllValuesFrom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLDataExactCardinality) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLDataHasValue) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLDataMaxCardinality) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLDataMinCardinality) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLDataSomeValuesFrom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectAllValuesFrom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectComplementOf) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectExactCardinality) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectHasSelf) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectHasValue) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectIntersectionOf) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectMaxCardinality) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectMinCardinality) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectOneOf) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectSomeValuesFrom) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLObjectUnionOf) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator
 
visit(OWLDataProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator
 
visit(OWLObjectInverseOf) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator
 
visit(OWLObjectProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator
 
visit(OWLAnnotationProperty) - Method in class de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator
 
visit(IntegerClassAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerClassDeclarationAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerDataPropertyAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerDataPropertyDeclarationAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerDifferentIndividualsAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerDisjointClassesAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerEquivalentClassesAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerEquivalentObjectPropertiesAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerFunctionalObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerInverseFunctionalObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerInverseObjectPropertiesAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerNamedIndividualDeclarationAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerNegativeObjectPropertyAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerObjectPropertyAssertionAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerObjectPropertyDeclarationAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerPropertyRangeAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerReflexiveObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerSameIndividualAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerSubClassOfAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerSubObjectPropertyOfAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerSubPropertyChainOfAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
visit(IntegerTransitiveObjectPropertyAxiom) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
 
VNode - Interface in de.tudresden.inf.lat.jcel.core.graph
Represents a pair containing a class and a set of expressions of the form ∃ r . A .
VNodeImpl - Class in de.tudresden.inf.lat.jcel.core.graph
This class implements a node which is a pair of a class and a set of existential expressions.
VNodeImpl(int) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.VNodeImpl
Constructs a new node.
VNodeObjectSomeValuesFrom - Interface in de.tudresden.inf.lat.jcel.core.graph
Represents an existential expression, which is of the form ∃ r . A , where r is an object property and A is a class.
VNodeObjectSomeValuesFromImpl - Class in de.tudresden.inf.lat.jcel.core.graph
This class implements an existential expression.
VNodeObjectSomeValuesFromImpl(int, int) - Constructor for class de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFromImpl
Constructs a new existential expression.

X

XEntry - Interface in de.tudresden.inf.lat.jcel.core.completion.common
This interface models an entry to be processed.
A B C D E F G H I J L M N O P R S T U V X 

Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.