Download elk-protege-0.4.0.jar
elk/elk-protege-0.4.0.jar.zip( 814 k)
The download jar file contains the following class files or Java source files.
LICENSE.txt META-INF/MANIFEST.MF META-INF/maven/org.semanticweb.elk/elk-protege/pom.properties META-INF/maven/org.semanticweb.elk/elk-protege/pom.xml org.semanticweb.elk.config.BaseConfiguration.class org.semanticweb.elk.config.ConfigurationException.class org.semanticweb.elk.config.ConfigurationFactory.class org.semanticweb.elk.config.Validator.class org.semanticweb.elk.io.FileUtils.class org.semanticweb.elk.io.IOUtils.class org.semanticweb.elk.loading.AbstractAxiomLoader.class org.semanticweb.elk.loading.AxiomLoader.class org.semanticweb.elk.loading.ComposedAxiomLoader.class org.semanticweb.elk.loading.ElkAxiomChange.class org.semanticweb.elk.loading.ElkLoadingException.class org.semanticweb.elk.loading.EmptyAxiomLoader.class org.semanticweb.elk.loading.Owl2ParserLoader.class org.semanticweb.elk.loading.Owl2StreamLoader.class org.semanticweb.elk.loading.SimpleElkAxiomChange.class org.semanticweb.elk.owl.AbstractElkAxiomVisitor.class org.semanticweb.elk.owl.ElkAxiomBuffer.class org.semanticweb.elk.owl.exceptions.ElkException.class org.semanticweb.elk.owl.exceptions.ElkRuntimeException.class org.semanticweb.elk.owl.implementation.ElkAnnotationAssertionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkAnnotationImpl.class org.semanticweb.elk.owl.implementation.ElkAnnotationPropertyDomainAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkAnnotationPropertyImpl.class org.semanticweb.elk.owl.implementation.ElkAnnotationPropertyRangeAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkAnonymousIndividualImpl.class org.semanticweb.elk.owl.implementation.ElkAsymmetricObjectPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkCardinalityRestrictionImpl.class org.semanticweb.elk.owl.implementation.ElkCardinalityRestrictionQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkClassAssertionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkClassExpressionListObject.class org.semanticweb.elk.owl.implementation.ElkClassImpl.class org.semanticweb.elk.owl.implementation.ElkDataAllValuesFromImpl.class org.semanticweb.elk.owl.implementation.ElkDataComplementOfImpl.class org.semanticweb.elk.owl.implementation.ElkDataExactCardinalityImpl.class org.semanticweb.elk.owl.implementation.ElkDataExactCardinalityQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkDataHasValueImpl.class org.semanticweb.elk.owl.implementation.ElkDataIntersectionOfImpl.class org.semanticweb.elk.owl.implementation.ElkDataMaxCardinalityImpl.class org.semanticweb.elk.owl.implementation.ElkDataMaxCardinalityQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkDataMinCardinalityImpl.class org.semanticweb.elk.owl.implementation.ElkDataMinCardinalityQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkDataOneOfImpl.class org.semanticweb.elk.owl.implementation.ElkDataPropertyAssertionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDataPropertyDomainAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDataPropertyExpressionListObject.class org.semanticweb.elk.owl.implementation.ElkDataPropertyExpressionObject.class org.semanticweb.elk.owl.implementation.ElkDataPropertyImpl.class org.semanticweb.elk.owl.implementation.ElkDataPropertyListRestrictionQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkDataPropertyRangeAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDataRangeListObject.class org.semanticweb.elk.owl.implementation.ElkDataSomeValuesFromImpl.class org.semanticweb.elk.owl.implementation.ElkDataUnionOfImpl.class org.semanticweb.elk.owl.implementation.ElkDatatypeDefinitionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDatatypeImpl.class org.semanticweb.elk.owl.implementation.ElkDatatypeRestrictionImpl.class org.semanticweb.elk.owl.implementation.ElkDeclarationAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDifferentIndividualsAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDisjointClassesAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDisjointDataPropertiesAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDisjointObjectPropertiesAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkDisjointUnionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkEquivalentClassesAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkEquivalentDataPropertiesAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkEquivalentObjectPropertiesAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkFacetRestrictionImpl.class org.semanticweb.elk.owl.implementation.ElkFunctionalDataPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkFunctionalObjectPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkHasKeyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkIndividualListObject.class org.semanticweb.elk.owl.implementation.ElkInverseFunctionalObjectPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkInverseObjectPropertiesAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkIriObject.class org.semanticweb.elk.owl.implementation.ElkIrreflexiveObjectPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkLiteralImpl.class org.semanticweb.elk.owl.implementation.ElkLiteralListObject.class org.semanticweb.elk.owl.implementation.ElkNamedIndividualImpl.class org.semanticweb.elk.owl.implementation.ElkNegativeDataPropertyAssertionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkNegativeObjectPropertyAssertionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkObjectAllValuesFromImpl.class org.semanticweb.elk.owl.implementation.ElkObjectComplementOfImpl.class org.semanticweb.elk.owl.implementation.ElkObjectExactCardinalityImpl.class org.semanticweb.elk.owl.implementation.ElkObjectExactCardinalityQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkObjectFactoryImpl.class org.semanticweb.elk.owl.implementation.ElkObjectHasSelfImpl.class org.semanticweb.elk.owl.implementation.ElkObjectHasValueImpl.class org.semanticweb.elk.owl.implementation.ElkObjectImpl.class org.semanticweb.elk.owl.implementation.ElkObjectIntersectionOfImpl.class org.semanticweb.elk.owl.implementation.ElkObjectInverseOfImpl.class org.semanticweb.elk.owl.implementation.ElkObjectListObject.class org.semanticweb.elk.owl.implementation.ElkObjectMaxCardinalityImpl.class org.semanticweb.elk.owl.implementation.ElkObjectMaxCardinalityQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkObjectMinCardinalityImpl.class org.semanticweb.elk.owl.implementation.ElkObjectMinCardinalityQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkObjectOneOfImpl.class org.semanticweb.elk.owl.implementation.ElkObjectPropertyAssertionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkObjectPropertyChainImpl.class org.semanticweb.elk.owl.implementation.ElkObjectPropertyDomainAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkObjectPropertyExpressionListObject.class org.semanticweb.elk.owl.implementation.ElkObjectPropertyExpressionObject.class org.semanticweb.elk.owl.implementation.ElkObjectPropertyImpl.class org.semanticweb.elk.owl.implementation.ElkObjectPropertyRangeAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkObjectSomeValuesFromImpl.class org.semanticweb.elk.owl.implementation.ElkObjectUnionOfImpl.class org.semanticweb.elk.owl.implementation.ElkPropertyAssertionAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkPropertyDomainAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkPropertyRangeAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkPropertyRestrictionImpl.class org.semanticweb.elk.owl.implementation.ElkPropertyRestrictionQualifiedImpl.class org.semanticweb.elk.owl.implementation.ElkReflexiveObjectPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkSameIndividualAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkSubAnnotationPropertyOfAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkSubClassOfAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkSubDataPropertyOfAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkSubObjectPropertyOfAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkSymmetricObjectPropertyAxiomImpl.class org.semanticweb.elk.owl.implementation.ElkTransitiveObjectPropertyAxiomImpl.class org.semanticweb.elk.owl.interfaces.ElkAnnotation.class org.semanticweb.elk.owl.interfaces.ElkAnnotationAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkAnnotationAxiom.class org.semanticweb.elk.owl.interfaces.ElkAnnotationProperty.class org.semanticweb.elk.owl.interfaces.ElkAnnotationPropertyDomainAxiom.class org.semanticweb.elk.owl.interfaces.ElkAnnotationPropertyRangeAxiom.class org.semanticweb.elk.owl.interfaces.ElkAnnotationSubject.class org.semanticweb.elk.owl.interfaces.ElkAnnotationValue.class org.semanticweb.elk.owl.interfaces.ElkAnonymousIndividual.class org.semanticweb.elk.owl.interfaces.ElkAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkAsymmetricObjectPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkAxiom.class org.semanticweb.elk.owl.interfaces.ElkCardinalityRestriction.class org.semanticweb.elk.owl.interfaces.ElkCardinalityRestrictionQualified.class org.semanticweb.elk.owl.interfaces.ElkClass.class org.semanticweb.elk.owl.interfaces.ElkClassAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkClassAxiom.class org.semanticweb.elk.owl.interfaces.ElkClassExpression.class org.semanticweb.elk.owl.interfaces.ElkDataAllValuesFrom.class org.semanticweb.elk.owl.interfaces.ElkDataComplementOf.class org.semanticweb.elk.owl.interfaces.ElkDataExactCardinality.class org.semanticweb.elk.owl.interfaces.ElkDataExactCardinalityQualified.class org.semanticweb.elk.owl.interfaces.ElkDataHasValue.class org.semanticweb.elk.owl.interfaces.ElkDataIntersectionOf.class org.semanticweb.elk.owl.interfaces.ElkDataMaxCardinality.class org.semanticweb.elk.owl.interfaces.ElkDataMaxCardinalityQualified.class org.semanticweb.elk.owl.interfaces.ElkDataMinCardinality.class org.semanticweb.elk.owl.interfaces.ElkDataMinCardinalityQualified.class org.semanticweb.elk.owl.interfaces.ElkDataOneOf.class org.semanticweb.elk.owl.interfaces.ElkDataProperty.class org.semanticweb.elk.owl.interfaces.ElkDataPropertyAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkDataPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkDataPropertyDomainAxiom.class org.semanticweb.elk.owl.interfaces.ElkDataPropertyExpression.class org.semanticweb.elk.owl.interfaces.ElkDataPropertyListRestrictionQualified.class org.semanticweb.elk.owl.interfaces.ElkDataPropertyRangeAxiom.class org.semanticweb.elk.owl.interfaces.ElkDataRange.class org.semanticweb.elk.owl.interfaces.ElkDataSomeValuesFrom.class org.semanticweb.elk.owl.interfaces.ElkDataUnionOf.class org.semanticweb.elk.owl.interfaces.ElkDatatype.class org.semanticweb.elk.owl.interfaces.ElkDatatypeDefinitionAxiom.class org.semanticweb.elk.owl.interfaces.ElkDatatypeRestriction.class org.semanticweb.elk.owl.interfaces.ElkDeclarationAxiom.class org.semanticweb.elk.owl.interfaces.ElkDifferentIndividualsAxiom.class org.semanticweb.elk.owl.interfaces.ElkDisjointClassesAxiom.class org.semanticweb.elk.owl.interfaces.ElkDisjointDataPropertiesAxiom.class org.semanticweb.elk.owl.interfaces.ElkDisjointObjectPropertiesAxiom.class org.semanticweb.elk.owl.interfaces.ElkDisjointUnionAxiom.class org.semanticweb.elk.owl.interfaces.ElkEntity.class org.semanticweb.elk.owl.interfaces.ElkEquivalentClassesAxiom.class org.semanticweb.elk.owl.interfaces.ElkEquivalentDataPropertiesAxiom.class org.semanticweb.elk.owl.interfaces.ElkEquivalentObjectPropertiesAxiom.class org.semanticweb.elk.owl.interfaces.ElkFacetRestriction.class org.semanticweb.elk.owl.interfaces.ElkFunctionalDataPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkFunctionalObjectPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkHasKeyAxiom.class org.semanticweb.elk.owl.interfaces.ElkIndividual.class org.semanticweb.elk.owl.interfaces.ElkInverseFunctionalObjectPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkInverseObjectPropertiesAxiom.class org.semanticweb.elk.owl.interfaces.ElkIrreflexiveObjectPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkLiteral.class org.semanticweb.elk.owl.interfaces.ElkNamedIndividual.class org.semanticweb.elk.owl.interfaces.ElkNegativeDataPropertyAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkNegativeObjectPropertyAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkObject.class org.semanticweb.elk.owl.interfaces.ElkObjectAllValuesFrom.class org.semanticweb.elk.owl.interfaces.ElkObjectComplementOf.class org.semanticweb.elk.owl.interfaces.ElkObjectExactCardinality.class org.semanticweb.elk.owl.interfaces.ElkObjectExactCardinalityQualified.class org.semanticweb.elk.owl.interfaces.ElkObjectFactory.class org.semanticweb.elk.owl.interfaces.ElkObjectHasSelf.class org.semanticweb.elk.owl.interfaces.ElkObjectHasValue.class org.semanticweb.elk.owl.interfaces.ElkObjectIntersectionOf.class org.semanticweb.elk.owl.interfaces.ElkObjectInverseOf.class org.semanticweb.elk.owl.interfaces.ElkObjectMaxCardinality.class org.semanticweb.elk.owl.interfaces.ElkObjectMaxCardinalityQualified.class org.semanticweb.elk.owl.interfaces.ElkObjectMinCardinality.class org.semanticweb.elk.owl.interfaces.ElkObjectMinCardinalityQualified.class org.semanticweb.elk.owl.interfaces.ElkObjectOneOf.class org.semanticweb.elk.owl.interfaces.ElkObjectProperty.class org.semanticweb.elk.owl.interfaces.ElkObjectPropertyAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkObjectPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkObjectPropertyChain.class org.semanticweb.elk.owl.interfaces.ElkObjectPropertyDomainAxiom.class org.semanticweb.elk.owl.interfaces.ElkObjectPropertyExpression.class org.semanticweb.elk.owl.interfaces.ElkObjectPropertyRangeAxiom.class org.semanticweb.elk.owl.interfaces.ElkObjectSomeValuesFrom.class org.semanticweb.elk.owl.interfaces.ElkObjectUnionOf.class org.semanticweb.elk.owl.interfaces.ElkPropertyAssertionAxiom.class org.semanticweb.elk.owl.interfaces.ElkPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkPropertyDomainAxiom.class org.semanticweb.elk.owl.interfaces.ElkPropertyRangeAxiom.class org.semanticweb.elk.owl.interfaces.ElkPropertyRestriction.class org.semanticweb.elk.owl.interfaces.ElkPropertyRestrictionQualified.class org.semanticweb.elk.owl.interfaces.ElkReflexiveObjectPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkSameIndividualAxiom.class org.semanticweb.elk.owl.interfaces.ElkSubAnnotationPropertyOfAxiom.class org.semanticweb.elk.owl.interfaces.ElkSubClassOfAxiom.class org.semanticweb.elk.owl.interfaces.ElkSubDataPropertyOfAxiom.class org.semanticweb.elk.owl.interfaces.ElkSubObjectPropertyExpression.class org.semanticweb.elk.owl.interfaces.ElkSubObjectPropertyOfAxiom.class org.semanticweb.elk.owl.interfaces.ElkSymmetricObjectPropertyAxiom.class org.semanticweb.elk.owl.interfaces.ElkTransitiveObjectPropertyAxiom.class org.semanticweb.elk.owl.iris.ElkAbbreviatedIri.class org.semanticweb.elk.owl.iris.ElkFullIri.class org.semanticweb.elk.owl.iris.ElkIri.class org.semanticweb.elk.owl.iris.ElkPrefix.class org.semanticweb.elk.owl.iris.ElkPrefixDeclarations.class org.semanticweb.elk.owl.iris.ElkPrefixDeclarationsImpl.class org.semanticweb.elk.owl.managers.DummyElkObjectRecycler.class org.semanticweb.elk.owl.managers.ElkEntityRecycler.class org.semanticweb.elk.owl.managers.ElkObjectRecycler.class org.semanticweb.elk.owl.managers.WeakElkAnnotationPropertyWrapper.class org.semanticweb.elk.owl.managers.WeakElkClassWrapper.class org.semanticweb.elk.owl.managers.WeakElkDataPropertyWrapper.class org.semanticweb.elk.owl.managers.WeakElkDatatypeWrapper.class org.semanticweb.elk.owl.managers.WeakElkNamedIndividualWrapper.class org.semanticweb.elk.owl.managers.WeakElkObjectPropertyWrapper.class org.semanticweb.elk.owl.managers.WeakWrapper.class org.semanticweb.elk.owl.parsing.Owl2ParseException.class org.semanticweb.elk.owl.parsing.Owl2Parser.class org.semanticweb.elk.owl.parsing.Owl2ParserAxiomProcessor.class org.semanticweb.elk.owl.parsing.Owl2ParserFactory.class org.semanticweb.elk.owl.predefined.PredefinedElkClass.class org.semanticweb.elk.owl.predefined.PredefinedElkIri.class org.semanticweb.elk.owl.predefined.PredefinedElkPrefix.class org.semanticweb.elk.owl.printers.OwlFunctionalStylePrinter.class org.semanticweb.elk.owl.printers.OwlFunctionalStylePrinterVisitor.class org.semanticweb.elk.owl.printers.PrintingException.class org.semanticweb.elk.owl.util.Comparators.class org.semanticweb.elk.owl.util.OwlObjectNameVisitor.class org.semanticweb.elk.owl.visitors.AbstractElkEntityVisitor.class org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkAnnotationSubjectVisitor.class org.semanticweb.elk.owl.visitors.ElkAnnotationValueVisitor.class org.semanticweb.elk.owl.visitors.ElkAnnotationVisitor.class org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkAxiomProcessor.class org.semanticweb.elk.owl.visitors.ElkAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkClassExpressionVisitor.class org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkDataPropertyExpressionVisitor.class org.semanticweb.elk.owl.visitors.ElkDataRangeVisitor.class org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor.class org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkEntityVisitor.class org.semanticweb.elk.owl.visitors.ElkFacetRestrictionVisitor.class org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkIndividualVisitor.class org.semanticweb.elk.owl.visitors.ElkLiteralVisitor.class org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor.class org.semanticweb.elk.owl.visitors.ElkObjectPropertyExpressionVisitor.class org.semanticweb.elk.owl.visitors.ElkObjectVisitor.class org.semanticweb.elk.owl.visitors.ElkSubObjectPropertyExpressionVisitor.class org.semanticweb.elk.owlapi.ConverterException.class org.semanticweb.elk.owlapi.ElkClassExpressionConverter.class org.semanticweb.elk.owlapi.ElkConverter.class org.semanticweb.elk.owlapi.ElkEntityConverter.class org.semanticweb.elk.owlapi.ElkExceptionConverter.class org.semanticweb.elk.owlapi.ElkReasoner.class org.semanticweb.elk.owlapi.ElkReasonerConfiguration.class org.semanticweb.elk.owlapi.ElkReasonerFactory.class org.semanticweb.elk.owlapi.ElkReasonerProgressMonitor.class org.semanticweb.elk.owlapi.OwlChangesLoader.class org.semanticweb.elk.owlapi.OwlOntologyChangeProcessorVisitor.class org.semanticweb.elk.owlapi.OwlOntologyLoader.class org.semanticweb.elk.owlapi.wrapper.AbstractOwlAxiomConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.ElkAnnotationAssertionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAnnotationAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAnnotationPropertyDomainAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAnnotationPropertyRangeAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAnnotationPropertyWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAnonymousIndividualWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAssertionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAsymmetricObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkClassAssertionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkClassAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkClassExpressionWrap.class org.semanticweb.elk.owlapi.wrapper.ElkClassWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataAllValuesFromWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataComplementOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataExactCardinalityQualifiedWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataExactCardinalityWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataHasValueWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataIntersectionOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataMaxCardinalityQualifiedWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataMaxCardinalityWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataMinCardinalityQualifiedWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataMinCardinalityWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataOneOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyAssertionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyDomainAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyExpressionWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyRangeAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataRangeWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataSomeValuesFromWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDataUnionOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDatatypeDefinitionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDatatypeRestrictionWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDatatypeWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDeclarationAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDifferentIndividualsAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDisjointClassesAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDisjointDataPropertiesAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDisjointObjectPropertiesAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkDisjointUnionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkEntityWrap.class org.semanticweb.elk.owlapi.wrapper.ElkEquivalentClassesAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkEquivalentDataPropertiesAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkEquivalentObjectPropertiesAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkFacetRestrictionWrap.class org.semanticweb.elk.owlapi.wrapper.ElkFunctionalDataPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkFunctionalObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkHasKeyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkIndividualWrap.class org.semanticweb.elk.owlapi.wrapper.ElkInverseFunctionalObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkInverseObjectPropertiesAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkIrreflexiveObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkLiteralWrap.class org.semanticweb.elk.owlapi.wrapper.ElkNamedIndividualWrap.class org.semanticweb.elk.owlapi.wrapper.ElkNegativeDataPropertyAssertionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkNegativeObjectPropertyAssertionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectAllValuesFromWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectComplementOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectExactCardinalityQualifiedWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectExactCardinalityWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectHasSelfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectHasValueWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectIntersectionOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectInverseOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectMaxCardinalityQualifiedWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectMaxCardinalityWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectMinCardinalityQualifiedWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectMinCardinalityWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectOneOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyAssertionAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyChainWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyDomainAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyExpressionWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyRangeAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectSomeValuesFromWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectUnionOfWrap.class org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap.class org.semanticweb.elk.owlapi.wrapper.ElkReflexiveObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSameIndividualAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSubAnnotationPropertyOfAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSubClassOfAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSubDataPropertyOfAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSubObjectPropertyChainOfAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSubObjectPropertyExpressionWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSubObjectPropertyOfAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkSymmetricObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.ElkTransitiveObjectPropertyAxiomWrap.class org.semanticweb.elk.owlapi.wrapper.OwlAnnotationAxiomConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlAnnotationSubjectValueVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlAxiomConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlClassAxiomConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlConverter.class org.semanticweb.elk.owlapi.wrapper.OwlCorrespondingObjectConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlDataPropertyAxiomConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlIndividualAxiomConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlObjectInverseOfConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlObjectPropertyAxiomConverterVisitor.class org.semanticweb.elk.owlapi.wrapper.OwlObjectPropertyExpressionConverterVisitor.class org.semanticweb.elk.protege.ElkProtegeConfigurationUtils.class org.semanticweb.elk.protege.ElkProtegePluginInstance.class org.semanticweb.elk.protege.ProtegeMessageAppender.class org.semanticweb.elk.protege.ProtegeReasonerFactory.class org.semanticweb.elk.protege.ui.ElkPreferencesPanel.class org.semanticweb.elk.reasoner.DummyProgressMonitor.class org.semanticweb.elk.reasoner.ElkFreshEntitiesException.class org.semanticweb.elk.reasoner.ElkInconsistentOntologyException.class org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException.class org.semanticweb.elk.reasoner.ProgressMonitor.class org.semanticweb.elk.reasoner.Reasoner.class org.semanticweb.elk.reasoner.ReasonerComputation.class org.semanticweb.elk.reasoner.ReasonerFactory.class org.semanticweb.elk.reasoner.ReasonerJob.class org.semanticweb.elk.reasoner.config.NumberOfWorkers.class org.semanticweb.elk.reasoner.config.ReasonerConfiguration.class org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment.class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking.class org.semanticweb.elk.reasoner.incremental.ContextInitializationFactory.class org.semanticweb.elk.reasoner.incremental.IncrementalChangesInitialization.class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics.class org.semanticweb.elk.reasoner.incremental.IncrementalStages.class org.semanticweb.elk.reasoner.incremental.NonIncrementalChangeListener.class org.semanticweb.elk.reasoner.indexing.OntologyIndex.class org.semanticweb.elk.reasoner.indexing.entries.IndexedAxiomEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedBinaryPropertyChainEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedClassExpressionEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedDisjointnessAxiomEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter.class org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectComplementOfEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectIntersectionOfEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectSomeValuesFromEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectUnionOfEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedPropertyChainEntry.class org.semanticweb.elk.reasoner.indexing.entries.IndexedSubClassOfAxiomEntry.class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor.class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter.class org.semanticweb.elk.reasoner.indexing.hierarchy.ChangeIndexingProcessor.class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor.class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex.class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.class org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer.class org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor.class org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingException.class org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException.class org.semanticweb.elk.reasoner.indexing.hierarchy.ElkUnexpectedIndexingException.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverterFactory.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain.class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor.class org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex.class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedDisjointnessAxiomVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitorEx.class org.semanticweb.elk.reasoner.indexing.visitors.IndexedSubClassOfAxiomVisitor.class org.semanticweb.elk.reasoner.reduction.SaturationJobForTransitiveReduction.class org.semanticweb.elk.reasoner.reduction.SaturationJobRoot.class org.semanticweb.elk.reasoner.reduction.SaturationJobSuperClass.class org.semanticweb.elk.reasoner.reduction.SaturationJobVisitor.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionListener.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputUnsatisfiable.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor.class org.semanticweb.elk.reasoner.reduction.TransitiveReductionState.class org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter.class org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturation.class org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturationFactory.class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation.class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener.class org.semanticweb.elk.reasoner.saturation.ContextCreationListener.class org.semanticweb.elk.reasoner.saturation.ContextImpl.class org.semanticweb.elk.reasoner.saturation.ContextModificationListener.class org.semanticweb.elk.reasoner.saturation.DummyClassExpressionSaturationListener.class org.semanticweb.elk.reasoner.saturation.ExtendedSaturationStateWriter.class org.semanticweb.elk.reasoner.saturation.SaturationJob.class org.semanticweb.elk.reasoner.saturation.SaturationState.class org.semanticweb.elk.reasoner.saturation.SaturationStateFactory.class org.semanticweb.elk.reasoner.saturation.SaturationStateImpl.class org.semanticweb.elk.reasoner.saturation.SaturationStatistics.class org.semanticweb.elk.reasoner.saturation.SaturationUtils.class org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion.class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink.class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer.class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom.class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink.class org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer.class org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer.class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor.class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.class org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer.class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor.class org.semanticweb.elk.reasoner.saturation.context.Context.class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics.class org.semanticweb.elk.reasoner.saturation.properties.CompositionClosure.class org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputation.class org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.class org.semanticweb.elk.reasoner.saturation.properties.ReducingCompositionClosure.class org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputation.class org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory.class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain.class org.semanticweb.elk.reasoner.saturation.properties.SubPropertyExplorer.class org.semanticweb.elk.reasoner.saturation.properties.SuperPropertyExplorer.class org.semanticweb.elk.reasoner.saturation.rules.BackwardDecompositionRuleApplicationVisitor.class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor.class org.semanticweb.elk.reasoner.saturation.rules.BasicDecompositionRuleApplicationVisitor.class org.semanticweb.elk.reasoner.saturation.rules.ChainableRule.class org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory.class org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory.class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter.class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor.class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer.class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor.class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor.class org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor.class org.semanticweb.elk.reasoner.saturation.rules.LinkRule.class org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule.class org.semanticweb.elk.reasoner.saturation.rules.Rule.class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter.class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor.class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer.class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor.class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor.class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.class org.semanticweb.elk.reasoner.saturation.rules.RuleEngine.class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics.class org.semanticweb.elk.reasoner.stages.AbstractIncrementalChangesInitializationStage.class org.semanticweb.elk.reasoner.stages.AbstractIncrementalContextInitializationStage.class org.semanticweb.elk.reasoner.stages.AbstractReasonerStage.class org.semanticweb.elk.reasoner.stages.AbstractReasonerState.class org.semanticweb.elk.reasoner.stages.AbstractStageExecutor.class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage.class org.semanticweb.elk.reasoner.stages.ClassSaturationStage.class org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage.class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.class org.semanticweb.elk.reasoner.stages.ConsistencyCheckingStage.class org.semanticweb.elk.reasoner.stages.ContextInitializationStage.class org.semanticweb.elk.reasoner.stages.ElkInterruptedException.class org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage.class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage.class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage.class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage.class org.semanticweb.elk.reasoner.stages.IncrementalConsistencyCheckingStage.class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage.class org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage.class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage.class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage.class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage.class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage.class org.semanticweb.elk.reasoner.stages.InitializeContextsAfterCleaningStage.class org.semanticweb.elk.reasoner.stages.InitializeContextsAfterDeletionsStage.class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyComputationStage.class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.class org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage.class org.semanticweb.elk.reasoner.stages.PropertyInitializationStage.class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage.class org.semanticweb.elk.reasoner.stages.ReasonerStage.class org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor.class org.semanticweb.elk.reasoner.stages.ReasonerStageManager.class org.semanticweb.elk.reasoner.stages.RestartingStageExecutor.class org.semanticweb.elk.reasoner.stages.SimpleStageExecutor.class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation.class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.IndividualNode.class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation.class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.class org.semanticweb.elk.reasoner.taxonomy.InvalidTaxonomyException.class org.semanticweb.elk.reasoner.taxonomy.NonBottomClassNode.class org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode.class org.semanticweb.elk.reasoner.taxonomy.OrphanNode.class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode.class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaning.class org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaningFactory.class org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeVisitor.class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter.class org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher.class org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher.class org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher.class org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher.class org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher.class org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher.class org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode.class org.semanticweb.elk.reasoner.taxonomy.model.FreshNode.class org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode.class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode.class org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode.class org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.model.Node.class org.semanticweb.elk.reasoner.taxonomy.model.SimpleNode.class org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy.class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode.class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils.class org.semanticweb.elk.reasoner.taxonomy.model.TypeNode.class org.semanticweb.elk.reasoner.taxonomy.model.UpdateableBottomNode.class org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode.class org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode.class org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy.class org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode.class org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode.class org.semanticweb.elk.util.collections.AbstractHashMultimap.class org.semanticweb.elk.util.collections.ArrayHashMap.class org.semanticweb.elk.util.collections.ArrayHashSet.class org.semanticweb.elk.util.collections.ArraySet.class org.semanticweb.elk.util.collections.DirectAccess.class org.semanticweb.elk.util.collections.HashListMultimap.class org.semanticweb.elk.util.collections.HashSetMultimap.class org.semanticweb.elk.util.collections.LazyCollectionMinusSet.class org.semanticweb.elk.util.collections.LazySetIntersection.class org.semanticweb.elk.util.collections.LazySetUnion.class org.semanticweb.elk.util.collections.Multimap.class org.semanticweb.elk.util.collections.Operations.class org.semanticweb.elk.util.collections.Pair.class org.semanticweb.elk.util.collections.Triple.class org.semanticweb.elk.util.collections.chains.AbstractChain.class org.semanticweb.elk.util.collections.chains.Chain.class org.semanticweb.elk.util.collections.chains.Chainable.class org.semanticweb.elk.util.collections.chains.Link.class org.semanticweb.elk.util.collections.chains.Matcher.class org.semanticweb.elk.util.collections.chains.ModifiableLink.class org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl.class org.semanticweb.elk.util.collections.chains.ReferenceFactory.class org.semanticweb.elk.util.collections.chains.SimpleTypeBasedMatcher.class org.semanticweb.elk.util.collections.entryset.Entry.class org.semanticweb.elk.util.collections.entryset.EntryHashSet.class org.semanticweb.elk.util.collections.entryset.KeyEntry.class org.semanticweb.elk.util.collections.entryset.KeyEntryFactory.class org.semanticweb.elk.util.collections.entryset.KeyEntryHashSet.class org.semanticweb.elk.util.collections.entryset.StrongKeyEntry.class org.semanticweb.elk.util.collections.entryset.WeakKeyEntry.class org.semanticweb.elk.util.concurrent.collections.ActivationStack.class org.semanticweb.elk.util.concurrent.computation.BaseInputProcessor.class org.semanticweb.elk.util.concurrent.computation.ComputationExecutor.class org.semanticweb.elk.util.concurrent.computation.ComputationRuntimeException.class org.semanticweb.elk.util.concurrent.computation.ComputationThreadGroup.class org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation.class org.semanticweb.elk.util.concurrent.computation.DelegatingInputProcessor.class org.semanticweb.elk.util.concurrent.computation.InputProcessor.class org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory.class org.semanticweb.elk.util.concurrent.computation.InputProcessorListenerNotifyFinishedJob.class org.semanticweb.elk.util.concurrent.computation.Interrupter.class org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter.class org.semanticweb.elk.util.concurrent.sync.AtomicIntegerFork.class org.semanticweb.elk.util.hashing.HashGenerator.class org.semanticweb.elk.util.hashing.Hasher.class org.semanticweb.elk.util.logging.CachedTimeThread.class org.semanticweb.elk.util.logging.ElkMessage.class org.semanticweb.elk.util.logging.ElkTimer.class org.semanticweb.elk.util.logging.MessageDialogAppender.class org.semanticweb.elk.util.logging.Statistics.class org.semanticweb.elk.util.logging.WrappingLabel.class plugin.xml