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