Download elk-owlapi-standalone-0.3.2-src.jar
elk/elk-owlapi-standalone-0.3.2-src.jar.zip( 571 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.ChangesLoader.java org.semanticweb.elk.loading.ElkLoadingException.java org.semanticweb.elk.loading.EmptyChangesLoader.java org.semanticweb.elk.loading.EmptyLoader.java org.semanticweb.elk.loading.EmptyOntologyLoader.java org.semanticweb.elk.loading.Loader.java org.semanticweb.elk.loading.OntologyLoader.java org.semanticweb.elk.loading.Owl2ParserLoader.java org.semanticweb.elk.loading.Owl2StreamLoader.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.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.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.DummyElkObjectManager.java org.semanticweb.elk.owl.managers.ElkObjectManager.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.WeakElkEntityManager.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.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.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.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.indexing.OntologyIndex.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.IndexedEntryConverter.java org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry.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.IndexedPropertyChainEntry.java org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor.java org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkObjectIndexerVisitor.java org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexerVisitor.java org.semanticweb.elk.reasoner.indexing.hierarchy.ElkObjectIndexerVisitor.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.IndexedObjectCache.java org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectFilter.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.IndexedPropertyChain.java org.semanticweb.elk.reasoner.indexing.hierarchy.IndexingException.java org.semanticweb.elk.reasoner.indexing.hierarchy.OntologyIndexImpl.java org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor.java org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor.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.IndexedIndividualVisitor.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.IndexedPropertyChainVisitor.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.ClassExpressionSaturationFactory.java org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener.java org.semanticweb.elk.reasoner.saturation.SaturationJob.java org.semanticweb.elk.reasoner.saturation.classes.BackwardLink.java org.semanticweb.elk.reasoner.saturation.classes.ContextClassSaturation.java org.semanticweb.elk.reasoner.saturation.classes.ContextElClassSaturation.java org.semanticweb.elk.reasoner.saturation.classes.ForwardLink.java org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleNegSCE.java org.semanticweb.elk.reasoner.saturation.classes.InferenceRulePosSCE.java org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleSCE.java org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemElClassSaturation.java org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemInvocationManagerSCE.java org.semanticweb.elk.reasoner.saturation.classes.NegativeSuperClassExpression.java org.semanticweb.elk.reasoner.saturation.classes.PositiveSuperClassExpression.java org.semanticweb.elk.reasoner.saturation.classes.RuleBottom.java org.semanticweb.elk.reasoner.saturation.classes.RuleConjunctionPlus.java org.semanticweb.elk.reasoner.saturation.classes.RuleDecomposition.java org.semanticweb.elk.reasoner.saturation.classes.RuleDisjoint.java org.semanticweb.elk.reasoner.saturation.classes.RuleExistentialPlus.java org.semanticweb.elk.reasoner.saturation.classes.RuleInitialization.java org.semanticweb.elk.reasoner.saturation.classes.RuleReflexiveRole.java org.semanticweb.elk.reasoner.saturation.classes.RuleRoleComposition.java org.semanticweb.elk.reasoner.saturation.classes.RuleStatistics.java org.semanticweb.elk.reasoner.saturation.classes.RuleSubsumption.java org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLink.java org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLinks.java org.semanticweb.elk.reasoner.saturation.classes.SuperClassExpression.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputation.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputationFactory.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputation.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputationFactory.java org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain.java org.semanticweb.elk.reasoner.saturation.rulesystem.AbstractContext.java org.semanticweb.elk.reasoner.saturation.rulesystem.Context.java org.semanticweb.elk.reasoner.saturation.rulesystem.IllegalInferenceMethodException.java org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceRule.java org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystem.java org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystemInvocationManager.java org.semanticweb.elk.reasoner.saturation.rulesystem.Queueable.java org.semanticweb.elk.reasoner.saturation.rulesystem.RuleApplicationFactory.java org.semanticweb.elk.reasoner.stages.AbstractReasonerStage.java org.semanticweb.elk.reasoner.stages.AbstractReasonerState.java org.semanticweb.elk.reasoner.stages.ChangesLoadingStage.java org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage.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.InstanceTaxonomyComputationStage.java org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.java org.semanticweb.elk.reasoner.stages.ObjectPropertyCompositionsPrecomputationStage.java org.semanticweb.elk.reasoner.stages.ObjectPropertyHierarchyComputationStage.java org.semanticweb.elk.reasoner.stages.OntologyLoadingStage.java org.semanticweb.elk.reasoner.stages.ReasonerStage.java org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor.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.ConcurrentTaxonomy.java org.semanticweb.elk.reasoner.taxonomy.DepthFirstSearch.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.MockInstanceTaxonomy.java org.semanticweb.elk.reasoner.taxonomy.NonBottomClassNode.java org.semanticweb.elk.reasoner.taxonomy.PredefinedTaxonomy.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.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.Taxonomy.java org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode.java org.semanticweb.elk.reasoner.taxonomy.model.TypeNode.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.HashListMultimap.java org.semanticweb.elk.util.collections.HashSetMultimap.java org.semanticweb.elk.util.collections.LazySetIntersection.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.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.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.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.ElkMessage.java org.semanticweb.elk.util.logging.ElkTimer.java org.semanticweb.elk.util.logging.MessageDialogAppender.java org.semanticweb.elk.util.logging.Statistics.java