Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
Owl-master
owlapi-master
api
src
main
java
org
semanticweb
owlapi
annotations
HasPriority.java
package-info.java
change
AbstractCompositeOntologyChange.java
AddAxiomData.java
AddClassExpressionClosureAxiom.java
AddImportData.java
AddOntologyAnnotationData.java
AmalgamateSubClassAxioms.java
AxiomChangeData.java
CoerceConstantsIntoDataPropertyRange.java
ConvertEquivalentClassesToSuperClasses.java
ConvertPropertyAssertionsToAnnotations.java
ConvertSuperClassesToEquivalentClass.java
CreateValuePartition.java
ImportChangeData.java
MakeClassesMutuallyDisjoint.java
MakePrimitiveSubClassesMutuallyDisjoint.java
OWLCompositeOntologyChange.java
OWLOntologyChangeData.java
OWLOntologyChangeDataVisitor.java
OWLOntologyChangeRecord.java
OntologyAnnotationChangeData.java
RemoveAllDisjointAxioms.java
RemoveAxiomData.java
RemoveImportData.java
RemoveOntologyAnnotationData.java
SetOntologyIDData.java
ShortForm2AnnotationGenerator.java
SplitSubClassAxioms.java
package-info.java
formats
DLSyntaxDocumentFormat.java
DLSyntaxDocumentFormatFactory.java
DLSyntaxHTMLDocumentFormat.java
DLSyntaxHTMLDocumentFormatFactory.java
FunctionalSyntaxDocumentFormat.java
FunctionalSyntaxDocumentFormatFactory.java
KRSS2DocumentFormat.java
KRSS2DocumentFormatFactory.java
KRSSDocumentFormat.java
KRSSDocumentFormatFactory.java
LabelFunctionalDocumentFormat.java
LabelFunctionalDocumentFormatFactory.java
LatexAxiomsListDocumentFormat.java
LatexAxiomsListDocumentFormatFactory.java
LatexDocumentFormat.java
LatexDocumentFormatFactory.java
ManchesterSyntaxDocumentFormat.java
ManchesterSyntaxDocumentFormatFactory.java
OBODocumentFormat.java
OBODocumentFormatFactory.java
OWLDocumentFormatFactoryImpl.java
OWLXMLDocumentFormat.java
OWLXMLDocumentFormatFactory.java
RDFDocumentFormat.java
RDFXMLDocumentFormat.java
RDFXMLDocumentFormatFactory.java
TurtleDocumentFormat.java
TurtleDocumentFormatFactory.java
package-info.java
io
BufferByteArray.java
FileDocumentSource.java
FileDocumentTarget.java
GZipFileDocumentSource.java
GZipFileDocumentTarget.java
GZipStreamDocumentSource.java
GZipStreamDocumentTarget.java
IRIDocumentSource.java
IRIDocumentTarget.java
OWLObjectRenderer.java
OWLOntologyCreationIOException.java
OWLOntologyDocumentSource.java
OWLOntologyDocumentSourceBase.java
OWLOntologyDocumentTarget.java
OWLOntologyDocumentTargetBase.java
OWLOntologyInputSourceException.java
OWLOntologyLoaderMetaData.java
OWLParser.java
OWLParserException.java
OWLParserFactory.java
OWLParserFactoryImpl.java
OWLParserParameters.java
OWLStorer.java
OWLStorerFactory.java
OWLStorerParameters.java
OntologyIRIMappingNotFoundException.java
RDFLiteral.java
RDFNode.java
RDFOntologyHeaderStatus.java
RDFParserMetaData.java
RDFResource.java
RDFResourceBlankNode.java
RDFResourceIRI.java
RDFResourceParseError.java
RDFTriple.java
ReaderDocumentSource.java
StreamDocumentSource.java
StreamDocumentSourceBase.java
StreamDocumentTarget.java
StringDocumentSource.java
StringDocumentTarget.java
SystemOutDocumentTarget.java
UnparsableOntologyException.java
WriterDocumentTarget.java
XMLUtils.java
XZFileDocumentSource.java
XZFileDocumentTarget.java
XZStreamDocumentSource.java
XZStreamDocumentTarget.java
ZipDocumentTarget.java
ZipSources.java
package-info.java
model
AddAxiom.java
AddImport.java
AddOntologyAnnotation.java
AnnotationChange.java
AsOWLAnnotationProperty.java
AsOWLClass.java
AsOWLDataProperty.java
AsOWLDatatype.java
AsOWLNamedIndividual.java
AsOWLObjectProperty.java
AxiomType.java
ByName.java
ChangeDetails.java
ClassExpressionType.java
DataRangeType.java
DefaultChangeBroadcastStrategy.java
DefaultImpendingChangeBroadcastStrategy.java
EDTChangeBroadcastStrategy.java
EntityType.java
EntityTypeVisitorEx.java
HasAddAxiom.java
HasAddAxioms.java
HasAnnotationPropertiesInSignature.java
HasAnnotations.java
HasAnonymousIndividuals.java
HasApplyChange.java
HasApplyChanges.java
HasApplyDirectChange.java
HasAxioms.java
HasAxiomsByType.java
HasCardinality.java
HasClassesInSignature.java
HasComponents.java
HasContainsAxiom.java
HasContainsEntityInSignature.java
HasContainsOntology.java
HasDataFactory.java
HasDataPropertiesInSignature.java
HasDatatypesInSignature.java
HasDirectAddAxiom.java
HasDirectAddAxioms.java
HasDirectImports.java
HasDirectRemoveAxiom.java
HasDirectRemoveAxioms.java
HasDomain.java
HasFiller.java
HasGetEntitiesInSignature.java
HasGetOntologies.java
HasGetOntologyById.java
HasHashIndex.java
HasIRI.java
HasImportsClosure.java
HasIndex.java
HasIndividualsInSignature.java
HasLang.java
HasLogicalAxioms.java
HasObject.java
HasObjectPropertiesInSignature.java
HasOntologyChangeListeners.java
HasOntologyConfigurator.java
HasOntologyID.java
HasOperands.java
HasPrefixedName.java
HasProperty.java
HasRange.java
HasRemoveAxiom.java
HasRemoveAxioms.java
HasShortForm.java
HasSignature.java
HasSubject.java
IRI.java
ImmutableOWLOntologyChangeException.java
ImpendingOWLOntologyChangeBroadcastStrategy.java
ImpendingOWLOntologyChangeListener.java
ImportChange.java
IsAnonymous.java
MIMETypeAware.java
MissingImportEvent.java
MissingImportHandlingStrategy.java
MissingImportListener.java
MissingOntologyHeaderStrategy.java
NodeID.java
OWLAnnotation.java
OWLAnnotationAssertionAxiom.java
OWLAnnotationAxiom.java
OWLAnnotationAxiomVisitor.java
OWLAnnotationAxiomVisitorEx.java
OWLAnnotationObject.java
OWLAnnotationObjectVisitor.java
OWLAnnotationObjectVisitorEx.java
OWLAnnotationProperty.java
OWLAnnotationPropertyDomainAxiom.java
OWLAnnotationPropertyRangeAxiom.java
OWLAnnotationSubject.java
OWLAnnotationSubjectVisitor.java
OWLAnnotationSubjectVisitorEx.java
OWLAnnotationValue.java
OWLAnnotationValueVisitor.java
OWLAnnotationValueVisitorEx.java
OWLAnonymousClassExpression.java
OWLAnonymousIndividual.java
OWLAsymmetricObjectPropertyAxiom.java
OWLAxiom.java
OWLAxiomChange.java
OWLAxiomCollection.java
OWLAxiomCollectionBooleanArgs.java
OWLAxiomIndex.java
OWLAxiomVisitor.java
OWLAxiomVisitorEx.java
OWLBooleanClassExpression.java
OWLCardinalityRestriction.java
OWLClass.java
OWLClassAssertionAxiom.java
OWLClassAxiom.java
OWLClassExpression.java
OWLClassExpressionVisitor.java
OWLClassExpressionVisitorEx.java
OWLDataAllValuesFrom.java
OWLDataCardinalityRestriction.java
OWLDataComplementOf.java
OWLDataExactCardinality.java
OWLDataFactory.java
OWLDataHasValue.java
OWLDataIntersectionOf.java
OWLDataMaxCardinality.java
OWLDataMinCardinality.java
OWLDataOneOf.java
OWLDataProperty.java
OWLDataPropertyAssertionAxiom.java
OWLDataPropertyAxiom.java
OWLDataPropertyCharacteristicAxiom.java
OWLDataPropertyDomainAxiom.java
OWLDataPropertyExpression.java
OWLDataPropertyRangeAxiom.java
OWLDataRange.java
OWLDataRangeVisitor.java
OWLDataRangeVisitorEx.java
OWLDataRestriction.java
OWLDataSomeValuesFrom.java
OWLDataUnionOf.java
OWLDataVisitor.java
OWLDataVisitorEx.java
OWLDatatype.java
OWLDatatypeDefinitionAxiom.java
OWLDatatypeRestriction.java
OWLDeclarationAxiom.java
OWLDifferentIndividualsAxiom.java
OWLDisjointClassesAxiom.java
OWLDisjointDataPropertiesAxiom.java
OWLDisjointObjectPropertiesAxiom.java
OWLDisjointUnionAxiom.java
OWLDocumentFormat.java
OWLDocumentFormatFactory.java
OWLDocumentFormatImpl.java
OWLEntity.java
OWLEntityVisitor.java
OWLEntityVisitorEx.java
OWLEquivalentClassesAxiom.java
OWLEquivalentDataPropertiesAxiom.java
OWLEquivalentObjectPropertiesAxiom.java
OWLException.java
OWLFacetRestriction.java
OWLFunctionalDataPropertyAxiom.java
OWLFunctionalObjectPropertyAxiom.java
OWLHasKeyAxiom.java
OWLHasValueRestriction.java
OWLImportsDeclaration.java
OWLIndividual.java
OWLIndividualAxiom.java
OWLIndividualVisitor.java
OWLIndividualVisitorEx.java
OWLInverseFunctionalObjectPropertyAxiom.java
OWLInverseObjectPropertiesAxiom.java
OWLIrreflexiveObjectPropertyAxiom.java
OWLLiteral.java
OWLLogicalAxiom.java
OWLLogicalAxiomVisitor.java
OWLLogicalAxiomVisitorEx.java
OWLLogicalEntity.java
OWLMutableOntology.java
OWLNamedIndividual.java
OWLNamedObject.java
OWLNamedObjectVisitor.java
OWLNamedObjectVisitorEx.java
OWLNaryAxiom.java
OWLNaryBooleanClassExpression.java
OWLNaryClassAxiom.java
OWLNaryDataRange.java
OWLNaryIndividualAxiom.java
OWLNaryPropertyAxiom.java
OWLNegativeDataPropertyAssertionAxiom.java
OWLNegativeObjectPropertyAssertionAxiom.java
OWLObject.java
OWLObjectAllValuesFrom.java
OWLObjectCardinalityRestriction.java
OWLObjectComplementOf.java
OWLObjectExactCardinality.java
OWLObjectHasSelf.java
OWLObjectHasValue.java
OWLObjectIntersectionOf.java
OWLObjectInverseOf.java
OWLObjectMaxCardinality.java
OWLObjectMinCardinality.java
OWLObjectOneOf.java
OWLObjectProperty.java
OWLObjectPropertyAssertionAxiom.java
OWLObjectPropertyAxiom.java
OWLObjectPropertyCharacteristicAxiom.java
OWLObjectPropertyDomainAxiom.java
OWLObjectPropertyExpression.java
OWLObjectPropertyRangeAxiom.java
OWLObjectRestriction.java
OWLObjectSomeValuesFrom.java
OWLObjectType.java
OWLObjectUnionOf.java
OWLObjectVisitor.java
OWLObjectVisitorEx.java
OWLOntology.java
OWLOntologyAlreadyExistsException.java
OWLOntologyBuilder.java
OWLOntologyChange.java
OWLOntologyChangeBroadcastStrategy.java
OWLOntologyChangeException.java
OWLOntologyChangeListener.java
OWLOntologyChangeProgressListener.java
OWLOntologyChangeVetoException.java
OWLOntologyChangeVisitor.java
OWLOntologyChangeVisitorEx.java
OWLOntologyChangesVetoedListener.java
OWLOntologyCreationException.java
OWLOntologyDocumentAlreadyExistsException.java
OWLOntologyFactory.java
OWLOntologyFactoryNotFoundException.java
OWLOntologyID.java
OWLOntologyIRIMapper.java
OWLOntologyIRIMappingNotFoundException.java
OWLOntologyLoaderListener.java
OWLOntologyManager.java
OWLOntologyManagerFactory.java
OWLOntologyRenameException.java
OWLOntologyResourceAccessException.java
OWLOntologySetProvider.java
OWLOntologyStorageException.java
OWLPairwiseBooleanVisitor.java
OWLPairwiseVisitor.java
OWLPairwiseVoidVisitor.java
OWLPrimitive.java
OWLProperty.java
OWLPropertyAssertionAxiom.java
OWLPropertyAssertionObject.java
OWLPropertyAxiom.java
OWLPropertyDomain.java
OWLPropertyDomainAxiom.java
OWLPropertyExpression.java
OWLPropertyExpressionVisitor.java
OWLPropertyExpressionVisitorEx.java
OWLPropertyRange.java
OWLPropertyRangeAxiom.java
OWLQuantifiedDataRestriction.java
OWLQuantifiedObjectRestriction.java
OWLQuantifiedRestriction.java
OWLReflexiveObjectPropertyAxiom.java
OWLRestriction.java
OWLRuntimeException.java
OWLSameIndividualAxiom.java
OWLSignature.java
OWLSignatureBooleanArgs.java
OWLSubAnnotationPropertyOfAxiom.java
OWLSubClassOfAxiom.java
OWLSubClassOfAxiomSetShortCut.java
OWLSubClassOfAxiomShortCut.java
OWLSubDataPropertyOfAxiom.java
OWLSubObjectPropertyOfAxiom.java
OWLSubPropertyAxiom.java
OWLSubPropertyChainOfAxiom.java
OWLSymmetricObjectPropertyAxiom.java
OWLTransitiveObjectPropertyAxiom.java
OWLUnaryPropertyAxiom.java
OntologyConfigurator.java
PrefixManager.java
PrimitiveType.java
PriorityCollectionSorting.java
RemoveAxiom.java
RemoveImport.java
RemoveOntologyAnnotation.java
SWRLArgument.java
SWRLAtom.java
SWRLBinaryAtom.java
SWRLBuiltInAtom.java
SWRLClassAtom.java
SWRLDArgument.java
SWRLDataPropertyAtom.java
SWRLDataRangeAtom.java
SWRLDifferentIndividualsAtom.java
SWRLIArgument.java
SWRLIndividualArgument.java
SWRLLiteralArgument.java
SWRLObject.java
SWRLObjectPropertyAtom.java
SWRLObjectVisitor.java
SWRLObjectVisitorEx.java
SWRLPredicate.java
SWRLRule.java
SWRLSameIndividualAtom.java
SWRLUnaryAtom.java
SWRLVariable.java
SetOntologyID.java
SpecificOntologyChangeBroadcastStrategy.java
UnknownOWLOntologyException.java
UnloadableImportException.java
axiomproviders
DeclarationAxiomProvider.java
DisjointAxiomProvider.java
DisjointUnionAxiomProvider.java
DomainAxiomProvider.java
EquivalentAxiomProvider.java
HasKeyAxiomProvider.java
InverseAxiomProvider.java
PropertyChainAxiomProvider.java
PropertyCharacteristicAxiomProvider.java
RangeAxiomProvider.java
SubAxiomProvider.java
package-info.java
package-info.java
parameters
AxiomAnnotations.java
ChangeApplied.java
ConfigurationOptions.java
Imports.java
Navigation.java
OntologyCopy.java
package-info.java
providers
AnnotationAssertionProvider.java
AnnotationPropertyProvider.java
AnnotationProvider.java
AnonymousIndividualByIdProvider.java
AnonymousIndividualProvider.java
CardinalityRestrictionProvider.java
ClassAssertionProvider.java
ClassProvider.java
ComplementProvider.java
DataAssertionProvider.java
DataPropertyProvider.java
DatatypeExpressionProvider.java
DatatypeProvider.java
EntityByTypeProvider.java
EntityProvider.java
ExistentialProvider.java
HasSelfProvider.java
HasValueProvider.java
IndividualAssertionProvider.java
IntersectionProvider.java
InverseProvider.java
LiteralProvider.java
NamedIndividualProvider.java
NominalProvider.java
OWLVocabularyProvider.java
ObjectAssertionProvider.java
ObjectPropertyProvider.java
SWRLProvider.java
UnionProvider.java
UniversalProvider.java
package-info.java
reasoner
AxiomNotInProfileException.java
BufferingMode.java
ClassExpressionNotInProfileException.java
ConsoleProgressMonitor.java
FreshEntitiesException.java
FreshEntityPolicy.java
IllegalConfigurationException.java
ImportsClosureNotInProfileException.java
InconsistentOntologyException.java
IndividualNodeSetPolicy.java
InferenceDepth.java
InferenceType.java
Node.java
NodeSet.java
NullReasonerProgressMonitor.java
OWLReasoner.java
OWLReasonerConfiguration.java
OWLReasonerFactory.java
OWLReasonerRuntimeException.java
ReasonerInternalException.java
ReasonerInterruptedException.java
ReasonerProgressMonitor.java
SimpleConfiguration.java
TimeOutException.java
TimedConsoleProgressMonitor.java
UnsupportedEntailmentTypeException.java
knowledgeexploration
OWLKnowledgeExplorerReasoner.java
package-info.java
package-info.java
search
AnnotationVisitor.java
DomainVisitor.java
EquivalentVisitor.java
Filters.java
RangeVisitor.java
Searcher.java
SupSubVisitor.java
package-info.java
util
HasPriorityComparator.java
IRIShortFormProvider.java
ImportsStructureEntitySorter.java
ImportsStructureObjectSorter.java
OWLAPIPreconditions.java
OWLAPIStreamUtils.java
OWLAxiomFilter.java
OWLAxiomSearchFilter.java
OWLObjectDuplicator.java
PrefixManagerImpl.java
PriorityCollection.java
RemappingIndividualProvider.java
ShortFormProvider.java
StringComparator.java
StringLengthComparator.java
TransformerVisitorBase.java
Version.java
package-info.java
vocab
BuiltInVocabulary.java
DublinCoreVocabulary.java
Extensions.java
Namespaces.java
OWL2Datatype.java
OWLFacet.java
OWLRDFVocabulary.java
OWLXMLVocabulary.java
SKOSVocabulary.java
SWRLBuiltInsVocabulary.java
SWRLVocabulary.java
XSDVocabulary.java
package-info.java
test
java
org
semanticweb
owlapi
change
OWLOntologyChangeRecordTest.java
formats
OWLDocumentFormatFactoryImplTestCase.java
model
NodeIDTestCase.java
VocabularyEnumTestCase.java
apibinding
src
main
java
org
semanticweb
owlapi
OWLAPIParsersModule.java
OWLAPIServiceLoaderModule.java
apibinding
OWLFunctionalSyntaxFactory.java
OWLManager.java
package-info.java
uk
ac
manchester
cs
owl
owlapi
OWLAPIImplModule.java
benchmarks
src
main
java
org
semanticweb
owlapi
benchmarks
FullGalenMemoryBenchmark.java
GazetteerMemoryBenchmark.java
MemoryBenchmark.java
MyBenchmark.java
NCBITaxonMemoryBenchmark.java
compatibility
src
main
java
de
uulm
ecs
ai
owlapi
krssparser
KRSS2OntologyFormat.java
org
coode
owl
krssparser
KRSSOntologyFormat.java
owlapi
latex
LatexAxiomsListOntologyFormat.java
LatexOntologyFormat.java
package-info.java
manchesterowlsyntax
ManchesterOWLSyntax.java
ManchesterOWLSyntaxClassExpressionParser.java
ManchesterOWLSyntaxClassFrameParser.java
ManchesterOWLSyntaxEditorParser.java
ManchesterOWLSyntaxFramesParser.java
ManchesterOWLSyntaxInlineAxiomParser.java
ManchesterOWLSyntaxOntologyFormat.java
ManchesterOWLSyntaxOntologyParser.java
package-info.java
obo
parser
OBOOntologyFormat.java
obo12
parser
AbstractTagValueHandler.java
IDSpaceManager.java
JavaCharStream.java
Modifiers.java
OBO12DocumentFormat.java
OBO12DocumentFormatFactory.java
OBO12ParserFactory.java
OBOConsumer.java
OBOFrame.java
OBOIdTranslator.java
OBOIdType.java
OBOParser.java
OBOParserConstants.java
OBOParserHandler.java
OBOParserTokenManager.java
OBOPrefix.java
OBOTagValuePair.java
OBOVocabulary.java
OWLOBO12Parser.java
ParseException.java
Provider.java
StreamProvider.java
StringProvider.java
SynonymScope.java
Token.java
TokenMgrException.java
package-info.java
turtle
TurtleOntologyFormat.java
obolibrary
owl
LabelFunctionalFormat.java
semanticweb
owlapi
expression
ParserException.java
io
OWLFunctionalSyntaxOntologyFormat.java
OWLXMLOntologyFormat.java
RDFXMLOntologyFormat.java
model
OWLAnnotationPropertyProvider.java
OWLAnonymousIndividualByIdProvider.java
OWLAnonymousIndividualProvider.java
OWLClassProvider.java
OWLDataPropertyProvider.java
OWLDatatypeProvider.java
OWLEntityByTypeProvider.java
OWLEntityProvider.java
OWLNamedIndividualProvider.java
OWLObjectPropertyProvider.java
OWLOntologyFormat.java
SWRLDataFactory.java
util
DeprecatedOWLEntityCollector.java
NonMappingOntologyIRIMapper.java
vocab
PrefixOWLOntologyFormat.java
uk
ac
manchester
cs
owl
owlapi
mansyntaxrenderer
ManchesterOWLSyntaxFrameRenderer.java
ManchesterOWLSyntaxObjectRenderer.java
package-info.java
owlapi
dlsyntax
DLSyntaxHTMLOntologyFormat.java
DLSyntaxOntologyFormat.java
contract
src
main
java
uk
ac
manchester
owl
owlapi
tutorialowled2011
Debugger.java
Formatter.java
OWLTutorialSyntaxObjectRenderer.java
OWLTutorialSyntaxOntologyFormat.java
OWLTutorialSyntaxOntologyFormatFactory.java
TutorialSyntaxStorer.java
TutorialSyntaxStorerFactory.java
package-info.java
test
java
org
obolibrary
oboformat
BasicsTestCase.java
CreatedBySpaceTest.java
LoadAnonymousTestCase.java
OBOCommentsTestCase.java
OBOFormatWriterTestCase.java
OboFormatTestBasics.java
Owl2OboTestCase.java
RoundTripTestBasics.java
RoundTripTestCase.java
SimpleRoundTripTestCase.java
TagTestCase.java
semanticweb
owlapi
api
test
AxiomSubjectProviderExTestCase.java
Builder.java
ConfigurationOptionsTestCase.java
DLExpressivityCheckerTestCase.java
DelegatingObjectVisitorExTestCase.java
GuessRDFSPropertyTypeTestCase.java
HornAxiomVisitorExTestCase.java
ManSyntaxTestCase.java
MaximumModalDepthFinderTestCase.java
NNFTestCase.java
NamespacesTestCase.java
OWL2DatatypePrefixedNameTestCase.java
OWL2DatatypeShortFormTestCase.java
OWLClassExpressionCollectorTestCase.java
OWLDataFactoryImplTestCase.java
OWLEntityCollectorTestCase.java
OWLManagerTestCase.java
OWLObjectComponentCollectorTestCase.java
OWLObjectTypeIndexProviderTestCase.java
ObjectPropertyTestCase.java
ParsersStorersTestCase.java
PriorityCollectionTestCase.java
PropertyCharacteristicsAccessorsTestCase.java
PunnedDeclarationsNotAddedTestCase.java
RdfGraphComparatorTestCase.java
SerializationTestCase.java
SimpleRendererTestCase.java
StructuralTransformationTestCase.java
TripleComparatorTestCase.java
VisitorsTestCase.java
annotations
AddOntologyAnnotationDataTestCase.java
AnnotatedPunningTestCase.java
AnnotatetAnnotationsTestCase.java
AnnotationAccessorsTestCase.java
AnnotationPropertyConvenienceMethodTestCase.java
AnnotationPropertyReferencesTestCase.java
AnnotationShortFormProviderTestCase.java
BFOTestCase.java
DeclareAnnotatedEntitiesTestCase.java
GetAxiomsIgnoringAnnotationsTestCase.java
LoadAnnotationAxiomsTestCase.java
PunRunner.java
RoundTripOWLXMLToRioTurtleTestCase.java
SWRLAnnotationTestCase.java
ThreeLayersOfAnnotationsTestCase.java
package-info.java
anonymous
AnonymousFunctionalRoundtripTestCase.java
AnonymousIndividualsNormaliser.java
AnonymousOntologyAnnotationsTestCase.java
AnonymousRoundTripTestCase.java
AnonymousTestCase.java
BlankNodeTestCase.java
TestOWLClassExpressionsAndObjectOneOfTestCase.java
package-info.java
axioms
BuiltInClassTestCase.java
BuiltInPropertyTestCase.java
DeclarationEntityReferencesTestCase.java
NNFTestCase.java
ThreeEquivalentsRoundTripTestCase.java
package-info.java
baseclasses
AbstractRoundTrippingTestCase.java
AnnotatedAxiomRoundTrippingTestCase.java
AnnotatedAxiomRoundtripExceptManchesterSyntaxTestCase.java
AnnotatedAxiomRoundtripExceptRDFXMLAndFunctionalTestCase.java
AnnotatedAxiomRountripTestCase.java
AxiomsRoundTrippingBase.java
AxiomsRoundTrippingNoManchesterSyntaxTestCase.java
AxiomsRoundTrippingTestCase.java
AxiomsRoundTrippingUsingEqualTestCase.java
AxiomsRoundTrippingWithEntitiesTestCase.java
LiteralFoldingHashCoder.java
LiteralWithEscapesTestCase.java
PlainLiteralTypeFoldingAxiomSet.java
ReasonerTestCase.java
TestBase.java
package-info.java
dataproperties
AddAxiomDataTestCase.java
AllDifferentTestCase.java
DisjointClassesRoundTripTestCase.java
DisjointUnionTestCase.java
EquivalentClassesAxiomTestCase.java
RemoveAxiomDataTestCase.java
package-info.java
fileroundtrip
AbstractFileRoundTrippingTestCase.java
FileRoudTripWithEqualTestCase.java
FileRoundTripCorrectAxiomsTestCase.java
FileRoundTripNoManSyntaxTestCase.java
FileRoundTripSubClassOfUntypedOWLClassStrictTestCase.java
FileRoundTripTestCase.java
NonSymmetricAxiomsRoundTrippingTestCase.java
OntologyIRITestCase.java
package-info.java
imports
AddImportDataTestCase.java
AutoIRIMapperTestCase.java
ImportsCacheTestCase.java
ImportsTestCase.java
RemoveImportDataTestCase.java
package-info.java
individuals
NoQNameTestCase.java
RelativeURITestCase.java
package-info.java
literals
LiteralTestCase.java
OWL2DatatypeImplTestCase.java
OWLLiteralCorruptionTestCase.java
TestCornerCasesTestCase.java
TestPlainLiteralTestCase.java
TypedLiteralsTestCase.java
package-info.java
multithread
OwlOntologyMultipleThreadsTest.java
RaceTestCase.java
ontology
AnnotationStreamTestCase.java
ChangeOntologyURITestCase.java
DifferentPhysicalURISameOntologyIRITestCase.java
DublinCoreTestCase.java
ExistingOutputStreamTestCase.java
HashCodeTestCase.java
IRICharSequenceTestCase.java
MapperlessOntologyManagerTestCase.java
MissingDeclarationRoundTripTestCase.java
MoveOntologyTestCase.java
MultipleOntologyLoadsTestCase.java
OWLOntologyAccessorsTestCase.java
OWLOntologyChangeRecordTestCase.java
OWLOntologyManagerImplTestCase.java
OWLOntologyManagerRemoveAxiomsTestCase.java
OWLOntologyManagerTestCase.java
OntologyAnnotationsTestCase.java
OntologyChangeListenerTestCase.java
OntologyContainsAxiomTestCase.java
OntologyIDTestCase.java
OntologyMutationTestCase.java
OntologyURITestCase.java
OntologyVersionIRITestCase.java
PrefixOntologyFormatTestCase.java
RemoveOntologyAnnotationDataTestCase.java
RenameEntityTestCase.java
RenameToExistingOntologyTestCase.java
SWRLRoundTripTestCase.java
SetOntologyIDDataTestCase.java
package-info.java
package-info.java
reasoners
StructuralReasonerTestCase.java
package-info.java
searcher
SearcherTestCase.java
package-info.java
swrl
SWRLAtomOrderingRoundTripTestCase.java
SWRLAtomOrderingTestCase.java
package-info.java
syntax
DLSyntaxTestCase.java
DefaultPrefixManagerTestCase.java
FunctionalSyntaxCommentTestCase.java
FunctionalSyntaxIRIProblemTestCase.java
IRIShorteningTestCase.java
InvalidAxiomRoundTripTestCase.java
LatexRendererTestCase.java
ManchesterImportTestCase.java
ManchesterOWLSyntaxParserErrorsTestCase.java
ManchesterOWLSyntaxParserTestCase.java
ManchesterParseErrorTestCase.java
OWLXMLNullPointerTestCase.java
OWLXMLTestCase.java
OutputSyntaxSortTestCase.java
ParserBanningTestCase.java
PrimerTestCase.java
PunningAndDomainsRangesTestCase.java
SharedBlankNodeTestCase.java
ShortFormProviderTestCase.java
SimpleIRIShortFormProviderTestCase.java
TurtleTestCase.java
Utf8TestCase.java
XMLUtilsTestCase.java
manchester
ManchesterSyntaxParserTest.java
package-info.java
rdf
BOMSafeInputStreamAndParseTestCase.java
DisjointsTestCase.java
RendererAndParserTestCase.java
UndeclaredAnnotationTestCase.java
package-info.java
rdfxml
EntitiesTestCase.java
MultipleDistinctOntologyLoadsTestCase.java
MultipleOntologyLoadsTestCase.java
RDFParserTestCase.java
SWRLTestCase.java
package-info.java
change
NamesTestCase.java
examples
DLQueryExample.java
Examples.java
package-info.java
profiles
ForbiddenVocabularyTestCase.java
OWLProfileTestCase.java
ProfileAllProfilesTestCase.java
ProfileBase.java
ProfileDLOnlyTestCase.java
ProfileELDLOnlyTestCase.java
ProfileFullTestCase.java
ProfileNoELTestCase.java
ProfileNoQLTestCase.java
ProfileNoRLTestCase.java
ProfileQLDLOnlyTestCase.java
ProfileRLDLOnlyTestCase.java
ProfileValidationTestCase.java
Tests.java
rio
OWLOntologyStorerFactoryRegistryTestCase.java
OWLParserFactoryRegistryTestCase.java
RioParserTestCase.java
RioRendererTestCase.java
RioUtilsTestCase.java
util
EntitySearcherTestCase.java
OWLObjectWalkerTest.java
owlapitools
decomposition
test
AtomicDecomposerDepedenciesTest.java
OldModularisationEquivalenceTestCase.java
SemanticLocalityTestCase.java
SyntacticLocalityTestCase.java
uk
ac
manchester
owl
owlapi
tutorial
ClosureAxioms.java
ExistentialCollector.java
LabelExtractor.java
SubClassCollector.java
examples
ClosureAxiomsExample.java
RenderingExample.java
SimpleHierarchyExample.java
package-info.java
package-info.java
tutorialowled2011
LabelExtractor.java
TutorialSnippetsTestCase.java
impl
src
main
java
org
semanticweb
owlapi
reasoner
impl
DefaultNode.java
DefaultNodeSet.java
NodeFactory.java
OWLClassNode.java
OWLClassNodeSet.java
OWLDataPropertyNode.java
OWLDataPropertyNodeSet.java
OWLDatatypeNode.java
OWLDatatypeNodeSet.java
OWLNamedIndividualNode.java
OWLNamedIndividualNodeSet.java
OWLObjectPropertyNode.java
OWLObjectPropertyNodeSet.java
OWLReasonerBase.java
SatisfiabilityReducer.java
package-info.java
structural
StructuralReasoner.java
StructuralReasonerFactory.java
package-info.java
uk
ac
manchester
cs
owl
owlapi
AnonymousIndividualCollector.java
ClassAxiomByClassPointer.java
CompressionEnabled.java
HasIncrementalSignatureGenerationSupport.java
HasTrimToSize.java
InitVisitorFactory.java
InternalizedEntities.java
Internals.java
MapPointer.java
OWL2DatatypeImpl.java
OWLAnnotationAssertionAxiomImpl.java
OWLAnnotationImpl.java
OWLAnnotationImplNotAnnotated.java
OWLAnnotationPropertyDomainAxiomImpl.java
OWLAnnotationPropertyImpl.java
OWLAnnotationPropertyRangeAxiomImpl.java
OWLAnonymousClassExpressionImpl.java
OWLAnonymousIndividualImpl.java
OWLAsymmetricObjectPropertyAxiomImpl.java
OWLAxiomImpl.java
OWLAxiomIndexImpl.java
OWLCardinalityRestrictionImpl.java
OWLClassAssertionAxiomImpl.java
OWLClassAxiomImpl.java
OWLClassExpressionImpl.java
OWLClassImpl.java
OWLDataAllValuesFromImpl.java
OWLDataCardinalityRestrictionImpl.java
OWLDataComplementOfImpl.java
OWLDataExactCardinalityImpl.java
OWLDataFactoryImpl.java
OWLDataFactoryInternals.java
OWLDataHasValueImpl.java
OWLDataIntersectionOfImpl.java
OWLDataMaxCardinalityImpl.java
OWLDataMinCardinalityImpl.java
OWLDataOneOfImpl.java
OWLDataPropertyAssertionAxiomImpl.java
OWLDataPropertyCharacteristicAxiomImpl.java
OWLDataPropertyDomainAxiomImpl.java
OWLDataPropertyImpl.java
OWLDataPropertyRangeAxiomImpl.java
OWLDataSomeValuesFromImpl.java
OWLDataUnionOfImpl.java
OWLDatatypeDefinitionAxiomImpl.java
OWLDatatypeImpl.java
OWLDatatypeRestrictionImpl.java
OWLDeclarationAxiomImpl.java
OWLDifferentIndividualsAxiomImpl.java
OWLDisjointClassesAxiomImpl.java
OWLDisjointDataPropertiesAxiomImpl.java
OWLDisjointObjectPropertiesAxiomImpl.java
OWLDisjointUnionAxiomImpl.java
OWLEquivalentClassesAxiomImpl.java
OWLEquivalentDataPropertiesAxiomImpl.java
OWLEquivalentObjectPropertiesAxiomImpl.java
OWLFacetRestrictionImpl.java
OWLFunctionalDataPropertyAxiomImpl.java
OWLFunctionalObjectPropertyAxiomImpl.java
OWLHasKeyAxiomImpl.java
OWLImmutableOntologyImpl.java
OWLImportsDeclarationImpl.java
OWLIndividualAxiomImpl.java
OWLIndividualImpl.java
OWLIndividualRelationshipAxiomImpl.java
OWLInverseFunctionalObjectPropertyAxiomImpl.java
OWLInverseObjectPropertiesAxiomImpl.java
OWLIrreflexiveObjectPropertyAxiomImpl.java
OWLLiteralImpl.java
OWLLiteralImplBoolean.java
OWLLiteralImplDouble.java
OWLLiteralImplFloat.java
OWLLiteralImplInteger.java
OWLLiteralImplNoCompression.java
OWLLiteralImplPlain.java
OWLLiteralImplString.java
OWLLogicalAxiomImpl.java
OWLNamedIndividualImpl.java
OWLNaryBooleanClassExpressionImpl.java
OWLNaryClassAxiomImpl.java
OWLNaryDataRangeImpl.java
OWLNaryIndividualAxiomImpl.java
OWLNaryPropertyAxiomImpl.java
OWLNegativeDataPropertyAssertionAxiomImpl.java
OWLNegativeObjectPropertyAssertionAxiomImpl.java
OWLObjectAllValuesFromImpl.java
OWLObjectCardinalityRestrictionImpl.java
OWLObjectComplementOfImpl.java
OWLObjectExactCardinalityImpl.java
OWLObjectHasSelfImpl.java
OWLObjectHasValueImpl.java
OWLObjectImpl.java
OWLObjectIntersectionOfImpl.java
OWLObjectInverseOfImpl.java
OWLObjectMaxCardinalityImpl.java
OWLObjectMinCardinalityImpl.java
OWLObjectOneOfImpl.java
OWLObjectPropertyAssertionAxiomImpl.java
OWLObjectPropertyCharacteristicAxiomImpl.java
OWLObjectPropertyDomainAxiomImpl.java
OWLObjectPropertyImpl.java
OWLObjectPropertyRangeAxiomImpl.java
OWLObjectSomeValuesFromImpl.java
OWLObjectUnionOfImpl.java
OWLOntologyFactoryImpl.java
OWLOntologyIRIMapperImpl.java
OWLOntologyImpl.java
OWLOntologyManagerImpl.java
OWLPropertyAxiomImpl.java
OWLPropertyDomainAxiomImpl.java
OWLPropertyRangeAxiomImpl.java
OWLQuantifiedDataRestrictionImpl.java
OWLQuantifiedObjectRestrictionImpl.java
OWLQuantifiedRestrictionImpl.java
OWLReflexiveObjectPropertyAxiomImpl.java
OWLSameIndividualAxiomImpl.java
OWLSubAnnotationPropertyOfAxiomImpl.java
OWLSubClassOfAxiomImpl.java
OWLSubDataPropertyOfAxiomImpl.java
OWLSubObjectPropertyOfAxiomImpl.java
OWLSubPropertyAxiomImpl.java
OWLSubPropertyChainAxiomImpl.java
OWLSymmetricObjectPropertyAxiomImpl.java
OWLTransitiveObjectPropertyAxiomImpl.java
OWLUnaryPropertyAxiomImpl.java
OWLValueRestrictionImpl.java
SWRLAtomImpl.java
SWRLBinaryAtomImpl.java
SWRLBuiltInAtomImpl.java
SWRLClassAtomImpl.java
SWRLDataPropertyAtomImpl.java
SWRLDataRangeAtomImpl.java
SWRLDifferentIndividualsAtomImpl.java
SWRLIndividualArgumentImpl.java
SWRLLiteralArgumentImpl.java
SWRLObjectPropertyAtomImpl.java
SWRLRuleImpl.java
SWRLSameIndividualAtomImpl.java
SWRLUnaryAtomImpl.java
SWRLVariableImpl.java
concurrent
Concurrency.java
ConcurrentOWLOntologyBuilder.java
ConcurrentOWLOntologyImpl.java
ConcurrentPriorityCollection.java
NoOpLock.java
NoOpReadWriteLock.java
NonConcurrentDelegate.java
NonConcurrentOWLOntologyBuilder.java
package-info.java
package-info.java
test
java
org
semanticweb
owlapi
datafactory
OWLDataFactoryTestCase.java
owlapitools
builders
test
BuildersTestCase.java
uk
ac
manchester
cs
owl
owlapi
concurrent
ConcurrentOWLOntologyBuilder_TestCase.java
ConcurrentOWLOntologyImpl_TestCase.java
ConcurrentPriorityCollection_TestCase.java
InternalizedEntitiesTest.java
NoOpLock_TestCase.java
NoOpReadWriteLock_TestCase.java
OWLOntologyManager_Concurrent_TestCase.java
oboformat
src
main
java
org
obolibrary
macro
AbstractDataVisitorEx.java
AbstractMacroExpansionVisitor.java
MacroExpansionGCIVisitor.java
MacroExpansionVisitor.java
ManchesterSyntaxTool.java
package-info.java
obo2owl
IdTranslator.java
OWLAPIObo2Owl.java
OWLAPIOwl2Obo.java
Obo2OWLConstants.java
OboInOwlCardinalityTools.java
OwlStringTools.java
package-info.java
oboformat
diff
Diff.java
OBODocDiffer.java
package-info.java
model
Clause.java
DocumentStructureException.java
Frame.java
FrameMergeException.java
FrameStructureException.java
OBODoc.java
QualifierValue.java
Xref.java
package-info.java
parser
InvalidXrefMapException.java
OBOFormatConstants.java
OBOFormatDanglingReferenceException.java
OBOFormatException.java
OBOFormatParser.java
OBOFormatParserException.java
XrefExpander.java
package-info.java
writer
OBOFormatWriter.java
owl
LabelFunctionalSyntaxStorer.java
semanticweb
owlapi
oboformat
OBOFormatOWLAPIParser.java
OBOFormatOWLAPIParserFactory.java
OBOFormatStorer.java
OBOFormatStorerFactory.java
package-info.java
test
java
org
semanticweb
owlapi
oboformat
OWLDocumentFormatFactoryImpOBOlTestCase.java
osgidistribution
src
main
java
org
semanticweb
owlapi
test
IntegrationTest.java
test
java
org
coode
owlapi
obo12
LoadCellTestCase.java
semanticweb
owlapi
BundleIsLoadableIntegrationTestCase.java
api
test
VerifyVersionInfoIntegrationTestCase.java
io
LoadXZOntologyViaHTTPIntegrationTestCase.java
parsers
src
main
java
org
semanticweb
owlapi
dlsyntax
package-info.java
parser
DLSyntaxOWLParser.java
DLSyntaxOWLParserFactory.java
DLSyntaxParser.java
DLSyntaxParserConstants.java
DLSyntaxParserTokenManager.java
JavaCharStream.java
ParseException.java
Provider.java
StreamProvider.java
StringProvider.java
Token.java
TokenMgrException.java
package-info.java
renderer
DLSyntax.java
DLSyntaxHTMLStorer.java
DLSyntaxHTMLStorerFactory.java
DLSyntaxObjectRenderer.java
DLSyntaxStorer.java
DLSyntaxStorerBase.java
DLSyntaxStorerFactory.java
package-info.java
expression
OWLClassExpressionParser.java
OWLEntityChecker.java
OWLExpressionParser.java
OWLOntologyChecker.java
ShortFormEntityChecker.java
package-info.java
functional
package-info.java
parser
OWLFunctionalSyntaxOWLParser.java
OWLFunctionalSyntaxOWLParserFactory.java
OWLFunctionalSyntaxParser.java
OWLFunctionalSyntaxParserConstants.java
OWLFunctionalSyntaxParserTokenManager.java
ParseException.java
Provider.java
SimpleCharStream.java
StreamProvider.java
StringProvider.java
Token.java
TokenMgrException.java
package-info.java
renderer
FunctionalSyntaxObjectRenderer.java
FunctionalSyntaxStorer.java
FunctionalSyntaxStorerFactory.java
package-info.java
krss1
parser
JavaCharStream.java
KRSSOWLParser.java
KRSSOWLParserException.java
KRSSOWLParserFactory.java
KRSSParser.java
KRSSParserConstants.java
KRSSParserTokenManager.java
NameResolverStrategy.java
ParseException.java
Provider.java
StreamProvider.java
StringProvider.java
Token.java
TokenMgrException.java
package-info.java
krss2
package-info.java
parser
JavaCharStream.java
KRSS2OWLParser.java
KRSS2OWLParserException.java
KRSS2OWLParserFactory.java
KRSS2Parser.java
KRSS2ParserConstants.java
KRSS2ParserTokenManager.java
ParseException.java
Provider.java
StreamProvider.java
StringProvider.java
Token.java
TokenMgrException.java
package-info.java
renderer
KRSS.java
KRSS2OWLObjectRenderer.java
KRSS2OWLSyntaxStorer.java
KRSS2OWLSyntaxStorerFactory.java
KRSS2ObjectRenderer.java
KRSS2SyntaxStorer.java
KRSS2Vocabulary.java
KRSSObjectRenderer.java
KRSSSyntaxStorer.java
KRSSSyntaxStorerFactory.java
KRSSVocabulary.java
package-info.java
latex
renderer
LatexOWLObjectRenderer.java
LatexObjectVisitor.java
LatexStorer.java
LatexStorerFactory.java
LatexWriter.java
package-info.java
manchestersyntax
package-info.java
parser
ManchesterOWLSyntax.java
ManchesterOWLSyntaxClassExpressionParser.java
ManchesterOWLSyntaxClassFrameParser.java
ManchesterOWLSyntaxFramesParser.java
ManchesterOWLSyntaxInlineAxiomParser.java
ManchesterOWLSyntaxOntologyHeader.java
ManchesterOWLSyntaxOntologyParser.java
ManchesterOWLSyntaxOntologyParserFactory.java
ManchesterOWLSyntaxParserException.java
ManchesterOWLSyntaxParserImpl.java
ManchesterOWLSyntaxTokenizer.java
package-info.java
renderer
AbstractRenderer.java
ManchesterOWLSyntaxFrameRenderer.java
ManchesterOWLSyntaxObjectRenderer.java
ManchesterSyntaxStorer.java
ManchesterSyntaxStorerFactory.java
ParserException.java
RendererEvent.java
RendererListener.java
RenderingDirector.java
package-info.java
owlxml
package-info.java
parser
OWLXMLPH.java
OWLXMLParser.java
OWLXMLParserAttributeNotFoundException.java
OWLXMLParserElementNotFoundException.java
OWLXMLParserException.java
OWLXMLParserFactory.java
PARSER_OWLXMLVocabulary.java
package-info.java
renderer
OWLXMLObjectRenderer.java
OWLXMLStorer.java
OWLXMLStorerFactory.java
OWLXMLWriter.java
package-info.java
rdf
RDFRendererBase.java
model
AbstractTranslator.java
RDFGraph.java
RDFTranslator.java
package-info.java
package-info.java
rdfxml
package-info.java
parser
AbstractBuiltInTypeHandler.java
AbstractTriplePH.java
BuiltInTypeHandler.java
FoundIRIs.java
HandlerFunction.java
IRIProvider.java
ListTriples.java
LiteralTripleHandler.java
Mode.java
MultiMap.java
OWLRDFConsumer.java
OWLRDFXMLParserException.java
OWLRDFXMLParserMalformedNodeException.java
OptimisedListTranslator.java
RDFConstants.java
RDFConsumer.java
RDFParser.java
RDFParserException.java
RDFXMLParser.java
RDFXMLParserFactory.java
ResourceTripleHandler.java
SWRLPieces.java
StartRDF.java
State.java
SynonymMap.java
TranslatedOntologyChangeException.java
TranslatedUnloadableImportException.java
Translators.java
TripleIndex.java
TripleIterator.java
TripleLogger.java
TripleMap.java
TripleMapCollection.java
TriplePatternMatcher.java
TriplePredicateHandler.java
TypeMatcher.java
package-info.java
renderer
IllegalElementNameException.java
OWLOntologyXMLNamespaceManager.java
RDFXMLNamespaceManager.java
RDFXMLRenderer.java
RDFXMLStorer.java
RDFXMLStorerFactory.java
RDFXMLWriter.java
XMLWriter.java
XMLWriterImpl.java
XMLWriterNamespaceManager.java
package-info.java
turtle
package-info.java
parser
JavaCharStream.java
ParseException.java
Provider.java
StreamProvider.java
StringProvider.java
Token.java
TokenMgrException.java
TurtleOntologyParser.java
TurtleOntologyParserFactory.java
TurtleParser.java
TurtleParserConstants.java
TurtleParserTokenManager.java
package-info.java
renderer
TurtleRenderer.java
TurtleStorer.java
TurtleStorerFactory.java
package-info.java
util
BidirectionalShortFormProvider.java
BidirectionalShortFormProviderAdapter.java
CachingBidirectionalShortFormProvider.java
OntologyIRIShortFormProvider.java
mansyntax
ManchesterOWLSyntaxParser.java
test
java
org
semanticweb
owlapi
util
OWLOntologyIRIShortFormProviderTestCase.java
rio
src
main
java
org
semanticweb
owlapi
formats
AbstractRioRDFDocumentFormatFactory.java
BinaryRDFDocumentFormat.java
BinaryRDFDocumentFormatFactory.java
N3DocumentFormat.java
N3DocumentFormatFactory.java
NQuadsDocumentFormat.java
NQuadsDocumentFormatFactory.java
NTriplesDocumentFormat.java
NTriplesDocumentFormatFactory.java
RDFJsonDocumentFormat.java
RDFJsonDocumentFormatFactory.java
RDFJsonLDDocumentFormat.java
RDFJsonLDDocumentFormatFactory.java
RDFaDocumentFormat.java
RDFaDocumentFormatFactory.java
RioRDFDocumentFormat.java
RioRDFDocumentFormatFactory.java
RioRDFDocumentFormatImpl.java
RioRDFStorerFactory.java
RioRDFXMLDocumentFormat.java
RioRDFXMLDocumentFormatFactory.java
RioTurtleDocumentFormat.java
RioTurtleDocumentFormatFactory.java
TrigDocumentFormat.java
TrigDocumentFormatFactory.java
TrixDocumentFormat.java
TrixDocumentFormatFactory.java
rio
AbstractRioParserFactory.java
AbstractRioStorerFactory.java
OWLAPIForRIOModule.java
OWLAPIRDFFormat.java
RioAbstractParserFactory.java
RioBinaryRdfParserFactory.java
RioBinaryRdfStorerFactory.java
RioFunctionalSyntaxParserFactory.java
RioJsonLDParserFactory.java
RioJsonLDStorerFactory.java
RioJsonParserFactory.java
RioJsonStorerFactory.java
RioManchesterSyntaxParserFactory.java
RioMemoryTripleSource.java
RioN3ParserFactory.java
RioN3StorerFactory.java
RioNQuadsParserFactory.java
RioNQuadsStorerFactory.java
RioNTriplesParserFactory.java
RioNTriplesStorerFactory.java
RioOWLRDFConsumerAdapter.java
RioOWLRDFParser.java
RioOWLXMLParserFactory.java
RioParser.java
RioParserImpl.java
RioRDFXMLParserFactory.java
RioRDFXMLStorerFactory.java
RioRDFaParserFactory.java
RioRenderer.java
RioStorer.java
RioTrigParserFactory.java
RioTrigStorerFactory.java
RioTrixParserFactory.java
RioTrixStorerFactory.java
RioTurtleParserFactory.java
RioTurtleStorerFactory.java
package-info.java
utils
RioUtils.java
tools
src
main
java
com
clarkparsia
owlapi
explanation
AxiomConverter.java
BlackBoxExplanation.java
DefaultExplanationGenerator.java
ExplanationGenerator.java
HSTExplanationGenerator.java
MultipleExplanationGenerator.java
SatisfiabilityConverter.java
SingleExplanationGenerator.java
SingleExplanationGeneratorImpl.java
TransactionAwareSingleExpGen.java
io
ConciseExplanationRenderer.java
ExplanationRenderer.java
SilentExplanationRenderer.java
package-info.java
package-info.java
util
DefinitionTracker.java
ExplanationProgressMonitor.java
OntologyUtils.java
SilentExplanationProgressMonitor.java
package-info.java
modularity
locality
LocalityClass.java
LocalityEvaluator.java
SemanticLocalityEvaluator.java
SyntacticLocalityEvaluator.java
package-info.java
org
semanticweb
owlapi
atomicdecomposition
ModuleMethod.java
debugging
AbstractOWLDebugger.java
BlackBoxOWLDebugger.java
DebuggerClassExpressionGenerator.java
JustificationMap.java
OWLDebugger.java
package-info.java
io
ToStringRenderer.java
metrics
AbstractOWLMetric.java
AverageAssertedNamedSuperclassCount.java
AxiomCount.java
AxiomCountMetric.java
AxiomTypeCountMetricFactory.java
AxiomTypeMetric.java
DLExpressivity.java
DoubleValuedMetric.java
GCICount.java
HiddenGCICount.java
ImportClosureSize.java
IntegerValuedMetric.java
LogicalAxiomCount.java
MaximumNumberOfNamedSuperclasses.java
NumberOfClassesWithMultipleInheritance.java
OWLMetric.java
OWLMetricManager.java
ObjectCountMetric.java
ReferencedClassCount.java
ReferencedDataPropertyCount.java
ReferencedIndividualCount.java
ReferencedObjectPropertyCount.java
UnsatisfiableClassCountMetric.java
package-info.java
modularity
OntologySegmenter.java
package-info.java
normalform
NegationalNormalFormConverter.java
NormalFormRewriter.java
OWLObjectComplementOfExtractor.java
package-info.java
profiles
OWL2DLProfile.java
OWL2ELProfile.java
OWL2Profile.java
OWL2ProfileReport.java
OWL2QLProfile.java
OWL2RLProfile.java
OWLOntologyProfileWalker.java
OWLProfile.java
OWLProfileReport.java
OWLProfileViolation.java
OWLProfileViolationVisitor.java
OWLProfileViolationVisitorEx.java
Profiles.java
package-info.java
violations
CycleInDatatypeDefinition.java
DatatypeIRIAlsoUsedAsClassIRI.java
EmptyOneOfAxiom.java
IllegalPunning.java
InsufficientIndividuals.java
InsufficientOperands.java
InsufficientPropertyExpressions.java
LastPropertyInChainNotInImposedRange.java
LexicalNotInLexicalSpace.java
OntologyIRINotAbsolute.java
OntologyVersionIRINotAbsolute.java
UndeclaredEntityViolation.java
UseOfAnonymousIndividual.java
UseOfBuiltInDatatypeInDatatypeDefinition.java
UseOfDataOneOfWithMultipleLiterals.java
UseOfDefinedDatatypeInDatatypeRestriction.java
UseOfIllegalAxiom.java
UseOfIllegalClassExpression.java
UseOfIllegalDataRange.java
UseOfIllegalFacetRestriction.java
UseOfNonAbsoluteIRI.java
UseOfNonAtomicClassExpression.java
UseOfNonEquivalentClassExpression.java
UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom.java
UseOfNonSimplePropertyInCardinalityRestriction.java
UseOfNonSimplePropertyInDisjointPropertiesAxiom.java
UseOfNonSimplePropertyInFunctionalPropertyAxiom.java
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom.java
UseOfNonSimplePropertyInIrreflexivePropertyAxiom.java
UseOfNonSimplePropertyInObjectHasSelf.java
UseOfNonSubClassExpression.java
UseOfNonSuperClassExpression.java
UseOfObjectOneOfWithMultipleIndividuals.java
UseOfObjectPropertyInverse.java
UseOfPropertyInChainCausesCycle.java
UseOfReservedVocabularyForAnnotationPropertyIRI.java
UseOfReservedVocabularyForClassIRI.java
UseOfReservedVocabularyForDataPropertyIRI.java
UseOfReservedVocabularyForIndividualIRI.java
UseOfReservedVocabularyForObjectPropertyIRI.java
UseOfReservedVocabularyForOntologyIRI.java
UseOfReservedVocabularyForVersionIRI.java
UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom.java
UseOfUndeclaredAnnotationProperty.java
UseOfUndeclaredClass.java
UseOfUndeclaredDataProperty.java
UseOfUndeclaredDatatype.java
UseOfUndeclaredObjectProperty.java
UseOfUnknownDatatype.java
package-info.java
util
AbstractCollector.java
AbstractCollectorEx.java
AnnotationValueShortFormProvider.java
AnnotationWalkingControl.java
AnonymousNodeChecker.java
AnonymousNodeCheckerImpl.java
AutoIRIMapper.java
AxiomAppearance.java
AxiomSubjectProviderEx.java
CollectionFactory.java
CommonBaseIRIMapper.java
DLExpressivityChecker.java
DelegatingObjectVisitorEx.java
EscapeUtils.java
FilteringOWLOntologyChangeListener.java
HornAxiomVisitorEx.java
IRIComparator.java
IndividualAppearance.java
InferredAxiomGenerator.java
InferredClassAssertionAxiomGenerator.java
InferredClassAxiomGenerator.java
InferredDataPropertyAxiomGenerator.java
InferredDataPropertyCharacteristicAxiomGenerator.java
InferredDisjointClassesAxiomGenerator.java
InferredEntityAxiomGenerator.java
InferredEquivalentClassAxiomGenerator.java
InferredEquivalentDataPropertiesAxiomGenerator.java
InferredEquivalentObjectPropertyAxiomGenerator.java
InferredIndividualAxiomGenerator.java
InferredInverseObjectPropertiesAxiomGenerator.java
InferredObjectPropertyAxiomGenerator.java
InferredObjectPropertyCharacteristicAxiomGenerator.java
InferredOntologyGenerator.java
InferredPropertyAssertionGenerator.java
InferredSubClassAxiomGenerator.java
InferredSubDataPropertyAxiomGenerator.java
InferredSubObjectPropertyAxiomGenerator.java
MaximumModalDepthFinder.java
Monitorable.java
NNF.java
NamedConjunctChecker.java
NamespaceUtil.java
NullProgressMonitor.java
OWLAnnotationPropertyTransformer.java
OWLAnonymousIndividualsWithMultipleOccurrences.java
OWLClassExpressionCollector.java
OWLClassLiteralCollector.java
OWLEntityCollectingOntologyChangeListener.java
OWLEntityCollector.java
OWLEntityComparator.java
OWLEntityFragmentProvider.java
OWLEntityIRIComparator.java
OWLEntityRemover.java
OWLEntityRenamer.java
OWLEntitySetProvider.java
OWLEntityTinyURIConversionStrategy.java
OWLEntityURIConverter.java
OWLEntityURIConverterStrategy.java
OWLEntityURIUnderscores2CamelBackConverterStrategy.java
OWLLiteralReplacer.java
OWLObjectComparator.java
OWLObjectComponentCollector.java
OWLObjectDesharer.java
OWLObjectPropertyManager.java
OWLObjectTransformer.java
OWLObjectWalker.java
OWLOntologyChangeFilter.java
OWLOntologyIRIChanger.java
OWLOntologyImportsClosureSetProvider.java
OWLOntologyMerger.java
OWLOntologySingletonSetProvider.java
OWLOntologyWalker.java
OWLOntologyWalkerVisitor.java
OWLOntologyWalkerVisitorEx.java
OWLStorerFactoryImpl.java
OntologyAxiomPair.java
ProgressMonitor.java
PropertyAssertionValueShortFormProvider.java
QNameShortFormProvider.java
RootClassChecker.java
SAXParsers.java
SLF4JSilencer.java
SWRLVariableExtractor.java
SWRLVariableShortFormProvider.java
SimpleIRIMapper.java
SimpleIRIShortFormProvider.java
SimpleRenderer.java
SimpleRootClassChecker.java
SimpleShortFormProvider.java
SmallSet.java
StringAnnotationVisitor.java
StructuralTransformation.java
StructureWalker.java
VersionInfo.java
WeakCache.java
WeakIndexCache.java
package-info.java
owlapitools
builders
BaseAnnotationPropertyBuilder.java
BaseBuilder.java
BaseDataBuilder.java
BaseDataPropertyBuilder.java
BaseDomainBuilder.java
BaseEntityBuilder.java
BaseObjectBuilder.java
BaseObjectPropertyBuilder.java
BaseSetBuilder.java
BaseSubBuilder.java
Builder.java
BuilderAnnotation.java
BuilderAnnotationAssertion.java
BuilderAnnotationProperty.java
BuilderAnnotationPropertyDomain.java
BuilderAnnotationPropertyRange.java
BuilderAnonymousIndividual.java
BuilderAsymmetricObjectProperty.java
BuilderClass.java
BuilderClassAssertion.java
BuilderComplementOf.java
BuilderDataAllValuesFrom.java
BuilderDataComplementOf.java
BuilderDataExactCardinality.java
BuilderDataHasValue.java
BuilderDataIntersectionOf.java
BuilderDataMaxCardinality.java
BuilderDataMinCardinality.java
BuilderDataOneOf.java
BuilderDataProperty.java
BuilderDataPropertyAssertion.java
BuilderDataPropertyDomain.java
BuilderDataPropertyRange.java
BuilderDataSomeValuesFrom.java
BuilderDataUnionOf.java
BuilderDatatype.java
BuilderDatatypeDefinition.java
BuilderDatatypeRestriction.java
BuilderDeclaration.java
BuilderDifferentIndividuals.java
BuilderDisjointClasses.java
BuilderDisjointDataProperties.java
BuilderDisjointObjectProperties.java
BuilderDisjointUnion.java
BuilderEntity.java
BuilderEquivalentClasses.java
BuilderEquivalentDataProperties.java
BuilderEquivalentObjectProperties.java
BuilderFacetRestriction.java
BuilderFunctionalDataProperty.java
BuilderFunctionalObjectProperty.java
BuilderHasKey.java
BuilderImportsDeclaration.java
BuilderInverseFunctionalObjectProperty.java
BuilderInverseObjectProperties.java
BuilderIrreflexiveObjectProperty.java
BuilderLiteral.java
BuilderNamedIndividual.java
BuilderNegativeDataPropertyAssertion.java
BuilderNegativeObjectPropertyAssertion.java
BuilderObjectAllValuesFrom.java
BuilderObjectExactCardinality.java
BuilderObjectHasSelf.java
BuilderObjectHasValue.java
BuilderObjectIntersectionOf.java
BuilderObjectInverseOf.java
BuilderObjectMaxCardinality.java
BuilderObjectMinCardinality.java
BuilderObjectProperty.java
BuilderObjectPropertyAssertion.java
BuilderObjectPropertyDomain.java
BuilderObjectPropertyRange.java
BuilderObjectSomeValuesFrom.java
BuilderOneOf.java
BuilderPropertyChain.java
BuilderReflexiveObjectProperty.java
BuilderSWRLBuiltInAtom.java
BuilderSWRLClassAtom.java
BuilderSWRLDataPropertyAtom.java
BuilderSWRLDataRangeAtom.java
BuilderSWRLDifferentIndividualsAtom.java
BuilderSWRLIndividualArgument.java
BuilderSWRLIndividualsAtom.java
BuilderSWRLLiteralArgument.java
BuilderSWRLObjectPropertyAtom.java
BuilderSWRLRule.java
BuilderSWRLSameIndividualAtom.java
BuilderSWRLVariable.java
BuilderSameIndividual.java
BuilderSubAnnotationPropertyOf.java
BuilderSubClass.java
BuilderSubDataProperty.java
BuilderSubObjectProperty.java
BuilderSymmetricObjectProperty.java
BuilderTransitiveObjectProperty.java
BuilderUnionOf.java
SettableCardinality.java
SettableProperty.java
SettableRange.java
package-info.java
decomposition
AtomList.java
AxiomSelector.java
AxiomWrapper.java
BotEquivalenceEvaluator.java
Decomposer.java
IdentityMultiMap.java
LocalityChecker.java
Modularizer.java
OntologyAtom.java
SemanticLocalityChecker.java
SigAccessor.java
SigIndex.java
Signature.java
SyntacticLocalityChecker.java
TopEquivalenceEvaluator.java
package-info.java
uk
ac
manchester
cs
atomicdecomposition
Atom.java
AtomicDecomposition.java
AtomicDecompositionImpl.java
package-info.java
chainsaw
AbstractFastSet.java
ArrayIntMap.java
FastSet.java
FastSetFactory.java
FastSetSimple.java
LocalFastSet.java
package-info.java
factplusplusad
AOStructure.java
AtomicDecomposer.java
BotEquivalenceEvaluator.java
CardinalityEvaluatorBase.java
ExtendedSyntacticLocalityChecker.java
LocalityChecker.java
LowerBoundComplementEvaluator.java
LowerBoundDirectEvaluator.java
Modularizer.java
OntologyBasedModularizer.java
SemanticLocalityChecker.java
SigAccessor.java
SigIndex.java
Signature.java
SyntacticLocalityChecker.java
TExpressionSignatureUpdater.java
TSignatureUpdater.java
TopEquivalenceEvaluator.java
UpperBoundComplementEvaluator.java
UpperBoundDirectEvaluator.java
package-info.java
owl
explanation
ordering
AlphaExplanationOrderer.java
EntailedAxiomTree.java
ExplanationOrderer.java
ExplanationOrdererImpl.java
ExplanationTree.java
MutableTree.java
NodeRenderer.java
NullExplanationOrderer.java
Tree.java
package-info.java
owlapi
modularity
ModuleType.java
SyntacticLocalityModuleExtractor.java
package-info.java
test
java
org
semanticweb
owlapi
io
CommonsRDFTermTest.java
StreamDocumentSourceBaseTestCase.java
XZStreamDocumentSourceTestCase.java
@javax.annotation.ParametersAreNonnullByDefault package uk.ac.manchester.cs.atomicdecomposition;