Class Hierarchy
- java.lang.Object
- de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl (implements de.tudresden.inf.lat.jcel.coreontology.axiom.Annotation, java.lang.Comparable<T>)
- de.tudresden.inf.lat.jcel.core.graph.ArraySet (implements java.util.Set<E>)
- de.tudresden.inf.lat.jcel.core.graph.ArraySetIterator (implements java.util.Iterator<E>)
- de.tudresden.inf.lat.jcel.owlapi.translator.AxiomTranslator (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)
- de.tudresden.inf.lat.jcel.core.algorithm.cel.CelExtendedOntology (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor<T>)
- de.tudresden.inf.lat.jcel.core.algorithm.cel.CelProcessor (implements de.tudresden.inf.lat.jcel.core.algorithm.common.Processor)
- de.tudresden.inf.lat.jcel.owlapi.translator.ClassExpressionTranslator (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.ClassifierStatusImpl (implements de.tudresden.inf.lat.jcel.core.completion.common.ClassifierStatus)
- de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor (implements de.tudresden.inf.lat.jcel.core.algorithm.common.Processor)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.CompletionRuleChainSelector
- de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector (implements de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory)
- de.tudresden.inf.lat.jcel.owlapi.console.ConsoleStarter
- de.tudresden.inf.lat.jcel.core.completion.basic.CR1SRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR2SRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR3SExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR3SRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR4RExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR4RRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR4SExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR4SRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR5RExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR5RRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR6RExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR6RRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR6RTrRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR6SExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR7RExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR7RRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.basic.CR7SRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR8RExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR8SExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtOptRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.completion.ext.CR9RExtRule (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName
- de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl (implements de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology, de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor<T>)
- de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- java.util.logging.Handler
- de.tudresden.inf.lat.jcel.core.graph.HashArraySet (implements java.util.Set<E>)
- de.tudresden.inf.lat.jcel.core.graph.HashArraySetIterator (implements java.util.Iterator<E>)
- de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelationImpl (implements de.tudresden.inf.lat.jcel.core.graph.IntegerBinaryRelation)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass (implements java.lang.Comparable<T>, de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDeclarationAxiom)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue (implements de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty (implements java.lang.Comparable<T>, de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataPropertyExpression)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDeclarationAxiom)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom (implements de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl (implements de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl (implements de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraphImpl (implements de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual (implements java.lang.Comparable<T>, de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDeclarationAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf (implements de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf (implements java.lang.Comparable<T>, de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf (implements de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty (implements java.lang.Comparable<T>, de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDeclarationAxiom)
- de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom (implements de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression)
- de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl (implements de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMapImpl (implements de.tudresden.inf.lat.jcel.core.graph.IntegerRelationMap)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraphImpl (implements de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerBidirectionalGraph)
- de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraphImpl (implements de.tudresden.inf.lat.jcel.core.graph.IntegerSubsumerGraph)
- de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom)
- de.tudresden.inf.lat.jcel.owlapi.main.JcelOntologyChangeVisitorEx (implements org.semanticweb.owlapi.model.OWLOntologyChangeVisitorEx<O>)
- de.tudresden.inf.lat.jcel.owlapi.main.JcelReasoner (implements org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner)
- de.tudresden.inf.lat.jcel.owlapi.main.JcelReasonerFactory (implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory)
- de.tudresden.inf.lat.jcel.core.algorithm.module.ModuleExtractor
- de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor (implements de.tudresden.inf.lat.jcel.core.algorithm.common.Processor)
- de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector (implements de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity)
- de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory)
- de.tudresden.inf.lat.jcel.owlapi.translator.ObjectPropertyExpressionTranslator (implements org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<O>)
- de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder (implements de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpressionVisitor<T>)
- de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker (implements de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor<T>)
- de.tudresden.inf.lat.jcel.ontology.normalization.OntologyNormalizer
- de.tudresden.inf.lat.jcel.owlapi.console.OWLInferredOntologyWrapper
- de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RChain (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.Renderer
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.REntryImpl (implements java.lang.Comparable<T>, de.tudresden.inf.lat.jcel.core.completion.common.REntry)
- de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom (implements de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleBasedProcessor (implements de.tudresden.inf.lat.jcel.core.algorithm.common.Processor)
- de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner (implements de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.RuleProfiler (implements de.tudresden.inf.lat.jcel.core.completion.common.RObserverRule, de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SChain (implements de.tudresden.inf.lat.jcel.core.completion.common.SObserverRule)
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.SEntryImpl (implements java.lang.Comparable<T>, de.tudresden.inf.lat.jcel.core.completion.common.SEntry)
- de.tudresden.inf.lat.jcel.core.saturation.SR0Rule (implements de.tudresden.inf.lat.jcel.core.saturation.SaturationRule)
- de.tudresden.inf.lat.jcel.core.saturation.SR1AndSR2Rules (implements de.tudresden.inf.lat.jcel.core.saturation.SaturationRule)
- de.tudresden.inf.lat.jcel.core.saturation.SR3Rule (implements de.tudresden.inf.lat.jcel.core.saturation.SaturationRule)
- de.tudresden.inf.lat.jcel.core.saturation.SR4Rule (implements de.tudresden.inf.lat.jcel.core.saturation.SaturationRule)
- de.tudresden.inf.lat.jcel.core.saturation.SubPropertyNormalizer (implements de.tudresden.inf.lat.jcel.core.saturation.SaturationRule)
- java.lang.Thread (implements java.lang.Runnable)
- java.lang.Throwable (implements java.io.Serializable)
- de.tudresden.inf.lat.jcel.owlapi.translator.TranslationRepository
- de.tudresden.inf.lat.jcel.owlapi.translator.Translator
- de.tudresden.inf.lat.jcel.core.algorithm.rulebased.TurtleRenderer
- de.tudresden.inf.lat.jcel.core.graph.VNodeImpl (implements de.tudresden.inf.lat.jcel.core.graph.VNode)
- de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFromImpl (implements de.tudresden.inf.lat.jcel.core.graph.VNodeObjectSomeValuesFrom)
Interface Hierarchy
Enum Hierarchy
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.