Download owlapi-impl-3.4.4.3-ansell.jar
owlapi/owlapi-impl-3.4.4.3-ansell.jar.zip( 365 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF META-INF/maven/com.github.ansell.owlapi/owlapi-impl/pom.properties META-INF/maven/com.github.ansell.owlapi/owlapi-impl/pom.xml META-INF/services/org.semanticweb.owlapi.model.OWLOntologyManagerFactory META-INF/services/org.semanticweb.owlapi.reasoner.OWLReasonerFactory org.semanticweb.owlapi.apibinding.OWLFunctionalSyntaxFactory.class org.semanticweb.owlapi.apibinding.OWLManager.class org.semanticweb.owlapi.reasoner.impl.DefaultNode.class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet.class org.semanticweb.owlapi.reasoner.impl.NodeFactory.class org.semanticweb.owlapi.reasoner.impl.OWLClassNode.class org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet.class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode.class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet.class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNode.class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet.class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode.class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet.class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode.class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet.class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase.class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer.class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner.class org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory.class uk.ac.manchester.cs.owl.owlapi.AbstractEntityRegistrationManager.class uk.ac.manchester.cs.owl.owlapi.AbstractInMemOWLOntologyFactory.class uk.ac.manchester.cs.owl.owlapi.AbstractInternalsImpl.class uk.ac.manchester.cs.owl.owlapi.ClassAxiomByClassPointer.class uk.ac.manchester.cs.owl.owlapi.CollectionContainer.class uk.ac.manchester.cs.owl.owlapi.CollectionContainerVisitor.class uk.ac.manchester.cs.owl.owlapi.EmptyInMemOWLOntologyFactory.class uk.ac.manchester.cs.owl.owlapi.ImplUtils.class uk.ac.manchester.cs.owl.owlapi.InitVisitorFactory.class uk.ac.manchester.cs.owl.owlapi.Internals.class uk.ac.manchester.cs.owl.owlapi.InternalsImpl.class uk.ac.manchester.cs.owl.owlapi.InternalsNoCache.class uk.ac.manchester.cs.owl.owlapi.MapPointer.class uk.ac.manchester.cs.owl.owlapi.OWL2DatatypeImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAnnotationAssertionAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAnnotationImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAnnotationPropertyDomainAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAnnotationPropertyImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAnnotationPropertyRangeAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousIndividualImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAsymmetricObjectPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLCardinalityRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLClassAssertionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLClassAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLClassImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataAllValuesFromImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataCardinalityRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataComplementOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataExactCardinalityImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryInternals.class uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryInternalsImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataHasValueImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataIntersectionOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataMaxCardinalityImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataMinCardinalityImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataOneOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyAssertionAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyCharacteristicAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyDomainAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyRangeAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataSomeValuesFromImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDataUnionOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDatatypeDefinitionAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDatatypeImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDatatypeRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDeclarationAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDifferentIndividualsAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDisjointClassesAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDisjointDataPropertiesAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDisjointObjectPropertiesAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLDisjointUnionAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLEntityCollectionContainerCollector.class uk.ac.manchester.cs.owl.owlapi.OWLEquivalentClassesAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLEquivalentDataPropertiesAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLEquivalentObjectPropertiesAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLFacetRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLFunctionalDataPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLFunctionalObjectPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLHasKeyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLImportsDeclarationImpl.class uk.ac.manchester.cs.owl.owlapi.OWLIndividualAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLIndividualImpl.class uk.ac.manchester.cs.owl.owlapi.OWLIndividualRelationshipAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLInverseFunctionalObjectPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLInverseObjectPropertiesAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLIrreflexiveObjectPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLLiteralImpl.class uk.ac.manchester.cs.owl.owlapi.OWLLiteralImplBoolean.class uk.ac.manchester.cs.owl.owlapi.OWLLiteralImplDouble.class uk.ac.manchester.cs.owl.owlapi.OWLLiteralImplFloat.class uk.ac.manchester.cs.owl.owlapi.OWLLiteralImplInteger.class uk.ac.manchester.cs.owl.owlapi.OWLLiteralImplNoCompression.class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLNamedIndividualImpl.class uk.ac.manchester.cs.owl.owlapi.OWLNaryBooleanClassExpressionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLNaryClassAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLNaryDataRangeImpl.class uk.ac.manchester.cs.owl.owlapi.OWLNaryIndividualAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLNaryPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLNegativeDataPropertyAssertionImplAxiom.class uk.ac.manchester.cs.owl.owlapi.OWLNegativeObjectPropertyAssertionAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectAllValuesFromImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectCardinalityRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectComplementOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectExactCardinalityImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectHasSelfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectHasValueImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectIntersectionOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectInverseOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectMaxCardinalityImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectMinCardinalityImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectOneOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyAssertionAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyCharacteristicAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyDomainAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyExpressionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyRangeAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectSomeValuesFromImpl.class uk.ac.manchester.cs.owl.owlapi.OWLObjectUnionOfImpl.class uk.ac.manchester.cs.owl.owlapi.OWLOntologyIRIMapperImpl.class uk.ac.manchester.cs.owl.owlapi.OWLOntologyImpl.class uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.class uk.ac.manchester.cs.owl.owlapi.OWLPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLPropertyDomainAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLPropertyExpressionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLPropertyRangeAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLQuantifiedDataRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLQuantifiedObjectRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLQuantifiedRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLReflexiveObjectPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSameIndividualAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSubAnnotationPropertyOfAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSubDataPropertyOfAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSubObjectPropertyOfAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSubPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSubPropertyChainAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLSymmetricObjectPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLTransitiveObjectPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLUnaryPropertyAxiomImpl.class uk.ac.manchester.cs.owl.owlapi.OWLValueRestrictionImpl.class uk.ac.manchester.cs.owl.owlapi.ParsableOWLOntologyFactory.class uk.ac.manchester.cs.owl.owlapi.SWRLAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLBinaryAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLClassAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLDataPropertyAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLDataRangeAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLDifferentIndividualsAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLIndividualArgumentImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLLiteralArgumentImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLObjectPropertyAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLRuleImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLSameIndividualAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLUnaryAtomImpl.class uk.ac.manchester.cs.owl.owlapi.SWRLVariableImpl.class