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