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