Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

uk.ac.manchester.cs.owl.owlapi
Class OWLOntologyImplInternalsDefaultImpl

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLOntologyImplInternalsDefaultImpl
All Implemented Interfaces:
OWLOntologyImplInternals
public class OWLOntologyImplInternalsDefaultImpl
extends java.lang.Object
implements OWLOntologyImplInternals

Nested Class Summary
protected static class OWLOntologyImplInternalsDefaultImpl.Maps
           
 
Field Summary
protected  java.util.Map<OWLAnnotationSubject,java.util.Set<OWLAnnotationAssertionAxiom>> annotationAssertionAxiomsBySubject
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLAsymmetricObjectPropertyAxiom>> asymmetricPropertyAxiomsByProperty
           
protected  java.util.Map<AxiomType,java.util.Set<OWLAxiom>> axiomsByType
           
protected  java.util.Map<OWLClass,java.util.Set<OWLClassAssertionAxiom>> classAssertionAxiomsByClass
           
protected  java.util.Map<OWLIndividual,java.util.Set<OWLClassAssertionAxiom>> classAssertionAxiomsByIndividual
           
protected  java.util.Map<OWLClass,java.util.Set<OWLClassAxiom>> classAxiomsByClass
           
protected  java.util.Map<OWLIndividual,java.util.Set<OWLDataPropertyAssertionAxiom>> dataPropertyAssertionsByIndividual
           
protected  java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyDomainAxiom>> dataPropertyDomainAxiomsByProperty
           
protected  java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyRangeAxiom>> dataPropertyRangeAxiomsByProperty
           
protected  java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> dataSubPropertyAxiomsByLHS
           
protected  java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> dataSubPropertyAxiomsByRHS
           
protected  java.util.Map<OWLEntity,java.util.Set<OWLDeclarationAxiom>> declarationsByEntity
           
protected  java.util.Map<OWLIndividual,java.util.Set<OWLDifferentIndividualsAxiom>> differentIndividualsAxiomsByIndividual
           
protected  java.util.Map<OWLClass,java.util.Set<OWLDisjointClassesAxiom>> disjointClassesAxiomsByClass
           
protected  java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDisjointDataPropertiesAxiom>> disjointDataPropertyAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLDisjointObjectPropertiesAxiom>> disjointObjectPropertyAxiomsByProperty
           
protected  java.util.Map<OWLClass,java.util.Set<OWLDisjointUnionAxiom>> disjointUnionAxiomsByClass
           
protected  java.util.Map<OWLClass,java.util.Set<OWLEquivalentClassesAxiom>> equivalentClassesAxiomsByClass
           
protected  java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLEquivalentDataPropertiesAxiom>> equivalentDataPropertyAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLEquivalentObjectPropertiesAxiom>> equivalentObjectPropertyAxiomsByProperty
           
protected  java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLFunctionalDataPropertyAxiom>> functionalDataPropertyAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLFunctionalObjectPropertyAxiom>> functionalObjectPropertyAxiomsByProperty
           
protected  java.util.Set<OWLClassAxiom> generalClassAxioms
           
protected  java.util.Map<OWLClass,java.util.Set<OWLHasKeyAxiom>> hasKeyAxiomsByClass
           
protected  java.util.Set<OWLImportsDeclaration> importsDeclarations
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseFunctionalObjectPropertyAxiom>> inverseFunctionalPropertyAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseObjectPropertiesAxiom>> inversePropertyAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIrreflexiveObjectPropertyAxiom>> irreflexivePropertyAxiomsByProperty
           
protected  java.util.Map<OWLAxiom,java.util.Set<OWLAxiom>> logicalAxiom2AnnotatedAxiomMap
           
protected  java.util.Map<OWLIndividual,java.util.Set<OWLNegativeDataPropertyAssertionAxiom>> negativeDataPropertyAssertionAxiomsByIndividual
           
protected  java.util.Map<OWLIndividual,java.util.Set<OWLNegativeObjectPropertyAssertionAxiom>> negativeObjectPropertyAssertionAxiomsByIndividual
           
protected  java.util.Map<OWLIndividual,java.util.Set<OWLObjectPropertyAssertionAxiom>> objectPropertyAssertionsByIndividual
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyDomainAxiom>> objectPropertyDomainAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyRangeAxiom>> objectPropertyRangeAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> objectSubPropertyAxiomsByLHS
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> objectSubPropertyAxiomsByRHS
           
protected  java.util.Set<OWLAnnotation> ontologyAnnotations
           
protected  java.util.Map<OWLAnnotationProperty,java.util.Set<OWLAxiom>> owlAnnotationPropertyReferences
           
protected  java.util.Map<OWLAnonymousIndividual,java.util.Set<OWLAxiom>> owlAnonymousIndividualReferences
           
protected  java.util.Map<OWLClass,java.util.Set<OWLAxiom>> owlClassReferences
           
protected  java.util.Map<OWLDataProperty,java.util.Set<OWLAxiom>> owlDataPropertyReferences
           
protected  java.util.Map<OWLDatatype,java.util.Set<OWLAxiom>> owlDatatypeReferences
           
protected  java.util.Map<OWLNamedIndividual,java.util.Set<OWLAxiom>> owlIndividualReferences
           
protected  java.util.Map<OWLObjectProperty,java.util.Set<OWLAxiom>> owlObjectPropertyReferences
           
protected  java.util.Set<OWLSubPropertyChainOfAxiom> propertyChainSubPropertyAxioms
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLReflexiveObjectPropertyAxiom>> reflexivePropertyAxiomsByProperty
           
protected  java.util.Map<OWLIndividual,java.util.Set<OWLSameIndividualAxiom>> sameIndividualsAxiomsByIndividual
           
protected  java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> subClassAxiomsByLHS
           
protected  java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> subClassAxiomsByRHS
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSymmetricObjectPropertyAxiom>> symmetricPropertyAxiomsByProperty
           
protected  java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLTransitiveObjectPropertyAxiom>> transitivePropertyAxiomsByProperty
           
 
Constructor Summary
OWLOntologyImplInternalsDefaultImpl()
           
 
Method Summary
<K extends OWLAxiom>
void
addAxiomToSet(K axiom, java.util.Set<K> axioms)
          A convenience method that adds an axiom to a set, but checks that the set isn't null before the axiom is added.
<K,V extends OWLAxiom>
void
addToIndexedSet(K key, java.util.Map<K,java.util.Set<V>> map, V axiom)
          Adds an axiom to a set contained in a map, which maps some key (e.g.
protected
<K,V> java.util.Map<K,V>
createMap()
           
protected
<K extends OWLObject,V extends OWLAxiom>
java.util.Map<K,java.util.Set<V>>
fill(java.util.Map<K,java.util.Set<V>> map, AxiomType<V> type, InitVisitorFactory.InitCollectionVisitor<K> visitor)
           
protected
<K extends OWLObject,V extends OWLAxiom>
java.util.Map<K,java.util.Set<V>>
fill(java.util.Map<K,java.util.Set<V>> map, AxiomType<V> type, InitVisitorFactory.InitVisitor<K> visitor)
           
 java.util.Map<OWLAnnotationSubject,java.util.Set<OWLAnnotationAssertionAxiom>> getAnnotationAssertionAxiomsBySubject()
           
 java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxiomsBySubject(OWLAnnotationSubject subject)
           
 java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLAsymmetricObjectPropertyAxiom>> getAsymmetricPropertyAxiomsByProperty()
           
<K extends OWLObject,V extends OWLAxiom>
java.util.Set<V>
getAxioms(K key, java.util.Map<K,java.util.Set<V>> map)
           
<K,V extends OWLAxiom>
java.util.Set<V>
getAxioms(K key, java.util.Map<K,java.util.Set<V>> map, boolean create)
           
 java.util.Set<OWLClassAxiom> getAxioms(OWLClass cls)
           
 java.util.Map<AxiomType,java.util.Set<OWLAxiom>> getAxiomsByType()
           
<T extends OWLAxiom>
java.util.Set<T>
getAxiomsInternal(AxiomType<T> axiomType)
           
 java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)
           
 java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
           
 java.util.Map<OWLClass,java.util.Set<OWLClassAssertionAxiom>> getClassAssertionAxiomsByClass()
           
 java.util.Map<OWLIndividual,java.util.Set<OWLClassAssertionAxiom>> getClassAssertionAxiomsByIndividual()
           
 java.util.Map<OWLClass,java.util.Set<OWLClassAxiom>> getClassAxiomsByClass()
           
 java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
           
 java.util.Map<OWLIndividual,java.util.Set<OWLDataPropertyAssertionAxiom>> getDataPropertyAssertionsByIndividual()
           
 java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
           
 java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyDomainAxiom>> getDataPropertyDomainAxiomsByProperty()
           
 java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
           
 java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyRangeAxiom>> getDataPropertyRangeAxiomsByProperty()
           
 java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> getDataSubPropertyAxiomsByLHS()
           
 java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> getDataSubPropertyAxiomsByRHS()
           
 java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
           
 java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
           
 java.util.Map<OWLEntity,java.util.Set<OWLDeclarationAxiom>> getDeclarationsByEntity()
           
 java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
           
 java.util.Map<OWLIndividual,java.util.Set<OWLDifferentIndividualsAxiom>> getDifferentIndividualsAxiomsByIndividual()
           
 java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
           
 java.util.Map<OWLClass,java.util.Set<OWLDisjointClassesAxiom>> getDisjointClassesAxiomsByClass()
           
 java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
           
 java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDisjointDataPropertiesAxiom>> getDisjointDataPropertyAxiomsByProperty()
           
 java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLDisjointObjectPropertiesAxiom>> getDisjointObjectPropertyAxiomsByProperty()
           
 java.util.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
           
 java.util.Map<OWLClass,java.util.Set<OWLDisjointUnionAxiom>> getDisjointUnionAxiomsByClass()
           
 java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
           
 java.util.Map<OWLClass,java.util.Set<OWLEquivalentClassesAxiom>> getEquivalentClassesAxiomsByClass()
           
 java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
           
 java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLEquivalentDataPropertiesAxiom>> getEquivalentDataPropertyAxiomsByProperty()
           
 java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLEquivalentObjectPropertiesAxiom>> getEquivalentObjectPropertyAxiomsByProperty()
           
 java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
           
 java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLFunctionalDataPropertyAxiom>> getFunctionalDataPropertyAxiomsByProperty()
           
 java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLFunctionalObjectPropertyAxiom>> getFunctionalObjectPropertyAxiomsByProperty()
           
 java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
           
 java.util.Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
           
 java.util.Map<OWLClass,java.util.Set<OWLHasKeyAxiom>> getHasKeyAxiomsByClass()
           
 java.util.Set<OWLImportsDeclaration> getImportsDeclarations()
           
 java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseFunctionalObjectPropertyAxiom>> getInverseFunctionalPropertyAxiomsByProperty()
           
 java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseObjectPropertiesAxiom>> getInversePropertyAxiomsByProperty()
           
 java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIrreflexiveObjectPropertyAxiom>> getIrreflexivePropertyAxiomsByProperty()
           
 java.util.Map<OWLAxiom,java.util.Set<OWLAxiom>> getLogicalAxiom2AnnotatedAxiomMap()
           
 java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
           
 java.util.Map<OWLIndividual,java.util.Set<OWLNegativeDataPropertyAssertionAxiom>> getNegativeDataPropertyAssertionAxiomsByIndividual()
           
 java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
           
 java.util.Map<OWLIndividual,java.util.Set<OWLNegativeObjectPropertyAssertionAxiom>> getNegativeObjectPropertyAssertionAxiomsByIndividual()
           
 java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
           
 java.util.Map<OWLIndividual,java.util.Set<OWLObjectPropertyAssertionAxiom>> getObjectPropertyAssertionsByIndividual()
           
 java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyDomainAxiom>> getObjectPropertyDomainAxiomsByProperty()
           
 java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyRangeAxiom>> getObjectPropertyRangeAxiomsByProperty()
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> getObjectSubPropertyAxiomsByLHS()
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> getObjectSubPropertyAxiomsByRHS()
           
 java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLAnnotation> getOntologyAnnotations()
           
 java.util.Map<OWLAnnotationProperty,java.util.Set<OWLAxiom>> getOwlAnnotationPropertyReferences()
           
 java.util.Map<OWLAnonymousIndividual,java.util.Set<OWLAxiom>> getOwlAnonymousIndividualReferences()
           
 java.util.Map<OWLClass,java.util.Set<OWLAxiom>> getOwlClassReferences()
           
 java.util.Map<OWLDataProperty,java.util.Set<OWLAxiom>> getOwlDataPropertyReferences()
           
 java.util.Map<OWLDatatype,java.util.Set<OWLAxiom>> getOwlDatatypeReferences()
           
 java.util.Map<OWLNamedIndividual,java.util.Set<OWLAxiom>> getOwlIndividualReferences()
           
 java.util.Map<OWLObjectProperty,java.util.Set<OWLAxiom>> getOwlObjectPropertyReferences()
           
 java.util.Set<OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxioms()
           
 java.util.Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLReflexiveObjectPropertyAxiom>> getReflexivePropertyAxiomsByProperty()
           
<E> java.util.Set<E>
getReturnSet(java.util.Set<E> set)
           
 java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
           
 java.util.Map<OWLIndividual,java.util.Set<OWLSameIndividualAxiom>> getSameIndividualsAxiomsByIndividual()
           
 java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> getSubClassAxiomsByLHS()
           
 java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> getSubClassAxiomsByRHS()
           
 java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
           
 java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
           
 java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSymmetricObjectPropertyAxiom>> getSymmetricPropertyAxiomsByProperty()
           
 java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLTransitiveObjectPropertyAxiom>> getTransitivePropertyAxiomsByProperty()
           
protected  void initMaps()
           
<K,V extends OWLAxiom>
void
removeAxiomFromSet(K key, java.util.Map<K,java.util.Set<V>> map, V axiom, boolean removeSetIfEmpty)
          Removes an axiom from a set of axioms, which is the value for a specified key in a specified map.
<K extends OWLAxiom>
void
removeAxiomFromSet(K axiom, java.util.Set<K> axioms)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

importsDeclarations

protected java.util.Set<OWLImportsDeclaration> importsDeclarations

ontologyAnnotations

protected java.util.Set<OWLAnnotation> ontologyAnnotations

axiomsByType

protected java.util.Map<AxiomType,java.util.Set<OWLAxiom>> axiomsByType

logicalAxiom2AnnotatedAxiomMap

protected java.util.Map<OWLAxiom,java.util.Set<OWLAxiom>> logicalAxiom2AnnotatedAxiomMap

generalClassAxioms

protected java.util.Set<OWLClassAxiom> generalClassAxioms

propertyChainSubPropertyAxioms

protected java.util.Set<OWLSubPropertyChainOfAxiom> propertyChainSubPropertyAxioms

owlClassReferences

protected java.util.Map<OWLClass,java.util.Set<OWLAxiom>> owlClassReferences

owlObjectPropertyReferences

protected java.util.Map<OWLObjectProperty,java.util.Set<OWLAxiom>> owlObjectPropertyReferences

owlDataPropertyReferences

protected java.util.Map<OWLDataProperty,java.util.Set<OWLAxiom>> owlDataPropertyReferences

owlIndividualReferences

protected java.util.Map<OWLNamedIndividual,java.util.Set<OWLAxiom>> owlIndividualReferences

owlAnonymousIndividualReferences

protected java.util.Map<OWLAnonymousIndividual,java.util.Set<OWLAxiom>> owlAnonymousIndividualReferences

owlDatatypeReferences

protected java.util.Map<OWLDatatype,java.util.Set<OWLAxiom>> owlDatatypeReferences

owlAnnotationPropertyReferences

protected java.util.Map<OWLAnnotationProperty,java.util.Set<OWLAxiom>> owlAnnotationPropertyReferences

declarationsByEntity

protected java.util.Map<OWLEntity,java.util.Set<OWLDeclarationAxiom>> declarationsByEntity

classAxiomsByClass

protected volatile java.util.Map<OWLClass,java.util.Set<OWLClassAxiom>> classAxiomsByClass

subClassAxiomsByLHS

protected volatile java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> subClassAxiomsByLHS

subClassAxiomsByRHS

protected volatile java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> subClassAxiomsByRHS

equivalentClassesAxiomsByClass

protected volatile java.util.Map<OWLClass,java.util.Set<OWLEquivalentClassesAxiom>> equivalentClassesAxiomsByClass

disjointClassesAxiomsByClass

protected volatile java.util.Map<OWLClass,java.util.Set<OWLDisjointClassesAxiom>> disjointClassesAxiomsByClass

disjointUnionAxiomsByClass

protected volatile java.util.Map<OWLClass,java.util.Set<OWLDisjointUnionAxiom>> disjointUnionAxiomsByClass

hasKeyAxiomsByClass

protected volatile java.util.Map<OWLClass,java.util.Set<OWLHasKeyAxiom>> hasKeyAxiomsByClass

objectSubPropertyAxiomsByLHS

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> objectSubPropertyAxiomsByLHS

objectSubPropertyAxiomsByRHS

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> objectSubPropertyAxiomsByRHS

equivalentObjectPropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLEquivalentObjectPropertiesAxiom>> equivalentObjectPropertyAxiomsByProperty

disjointObjectPropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLDisjointObjectPropertiesAxiom>> disjointObjectPropertyAxiomsByProperty

objectPropertyDomainAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyDomainAxiom>> objectPropertyDomainAxiomsByProperty

objectPropertyRangeAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyRangeAxiom>> objectPropertyRangeAxiomsByProperty

functionalObjectPropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLFunctionalObjectPropertyAxiom>> functionalObjectPropertyAxiomsByProperty

inverseFunctionalPropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseFunctionalObjectPropertyAxiom>> inverseFunctionalPropertyAxiomsByProperty

symmetricPropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSymmetricObjectPropertyAxiom>> symmetricPropertyAxiomsByProperty

asymmetricPropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLAsymmetricObjectPropertyAxiom>> asymmetricPropertyAxiomsByProperty

reflexivePropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLReflexiveObjectPropertyAxiom>> reflexivePropertyAxiomsByProperty

irreflexivePropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIrreflexiveObjectPropertyAxiom>> irreflexivePropertyAxiomsByProperty

transitivePropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLTransitiveObjectPropertyAxiom>> transitivePropertyAxiomsByProperty

inversePropertyAxiomsByProperty

protected volatile java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseObjectPropertiesAxiom>> inversePropertyAxiomsByProperty

dataSubPropertyAxiomsByLHS

protected volatile java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> dataSubPropertyAxiomsByLHS

dataSubPropertyAxiomsByRHS

protected volatile java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> dataSubPropertyAxiomsByRHS

equivalentDataPropertyAxiomsByProperty

protected volatile java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLEquivalentDataPropertiesAxiom>> equivalentDataPropertyAxiomsByProperty

disjointDataPropertyAxiomsByProperty

protected volatile java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDisjointDataPropertiesAxiom>> disjointDataPropertyAxiomsByProperty

dataPropertyDomainAxiomsByProperty

protected volatile java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyDomainAxiom>> dataPropertyDomainAxiomsByProperty

dataPropertyRangeAxiomsByProperty

protected volatile java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyRangeAxiom>> dataPropertyRangeAxiomsByProperty

functionalDataPropertyAxiomsByProperty

protected volatile java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLFunctionalDataPropertyAxiom>> functionalDataPropertyAxiomsByProperty

classAssertionAxiomsByIndividual

protected volatile java.util.Map<OWLIndividual,java.util.Set<OWLClassAssertionAxiom>> classAssertionAxiomsByIndividual

classAssertionAxiomsByClass

protected volatile java.util.Map<OWLClass,java.util.Set<OWLClassAssertionAxiom>> classAssertionAxiomsByClass

objectPropertyAssertionsByIndividual

protected volatile java.util.Map<OWLIndividual,java.util.Set<OWLObjectPropertyAssertionAxiom>> objectPropertyAssertionsByIndividual

dataPropertyAssertionsByIndividual

protected volatile java.util.Map<OWLIndividual,java.util.Set<OWLDataPropertyAssertionAxiom>> dataPropertyAssertionsByIndividual

negativeObjectPropertyAssertionAxiomsByIndividual

protected volatile java.util.Map<OWLIndividual,java.util.Set<OWLNegativeObjectPropertyAssertionAxiom>> negativeObjectPropertyAssertionAxiomsByIndividual

negativeDataPropertyAssertionAxiomsByIndividual

protected volatile java.util.Map<OWLIndividual,java.util.Set<OWLNegativeDataPropertyAssertionAxiom>> negativeDataPropertyAssertionAxiomsByIndividual

differentIndividualsAxiomsByIndividual

protected volatile java.util.Map<OWLIndividual,java.util.Set<OWLDifferentIndividualsAxiom>> differentIndividualsAxiomsByIndividual

sameIndividualsAxiomsByIndividual

protected volatile java.util.Map<OWLIndividual,java.util.Set<OWLSameIndividualAxiom>> sameIndividualsAxiomsByIndividual

annotationAssertionAxiomsBySubject

protected volatile java.util.Map<OWLAnnotationSubject,java.util.Set<OWLAnnotationAssertionAxiom>> annotationAssertionAxiomsBySubject
Constructor Detail

OWLOntologyImplInternalsDefaultImpl

public OWLOntologyImplInternalsDefaultImpl()
Method Detail

fill

protected <K extends OWLObject,V extends OWLAxiom> java.util.Map<K,java.util.Set<V>> fill(java.util.Map<K,java.util.Set<V>> map,
                                                                                          AxiomType<V> type,
                                                                                          InitVisitorFactory.InitVisitor<K> visitor)

fill

protected <K extends OWLObject,V extends OWLAxiom> java.util.Map<K,java.util.Set<V>> fill(java.util.Map<K,java.util.Set<V>> map,
                                                                                          AxiomType<V> type,
                                                                                          InitVisitorFactory.InitCollectionVisitor<K> visitor)

createMap

protected <K,V> java.util.Map<K,V> createMap()

initMaps

protected void initMaps()

addAxiomToSet

public <K extends OWLAxiom> void addAxiomToSet(K axiom,
                                               java.util.Set<K> axioms)
A convenience method that adds an axiom to a set, but checks that the set isn't null before the axiom is added. This is needed because many of the indexing sets are built lazily.

Specified by:
addAxiomToSet in interface OWLOntologyImplInternals
Parameters:
axiom - The axiom to be added.
axioms - The set of axioms that the axiom should be added to. May be null.

removeAxiomFromSet

public <K extends OWLAxiom> void removeAxiomFromSet(K axiom,
                                                    java.util.Set<K> axioms)
Specified by:
removeAxiomFromSet in interface OWLOntologyImplInternals

addToIndexedSet

public <K,V extends OWLAxiom> void addToIndexedSet(K key,
                                                   java.util.Map<K,java.util.Set<V>> map,
                                                   V axiom)
Adds an axiom to a set contained in a map, which maps some key (e.g. an entity such as and individual, class etc.) to the set of axioms.

Specified by:
addToIndexedSet in interface OWLOntologyImplInternals
Parameters:
key - The key that indexes the set of axioms
map - The map, which maps the key to a set of axioms, to which the axiom will be added.
axiom - The axiom to be added

removeAxiomFromSet

public <K,V extends OWLAxiom> void removeAxiomFromSet(K key,
                                                      java.util.Map<K,java.util.Set<V>> map,
                                                      V axiom,
                                                      boolean removeSetIfEmpty)
Removes an axiom from a set of axioms, which is the value for a specified key in a specified map.

Specified by:
removeAxiomFromSet in interface OWLOntologyImplInternals
Parameters:
key - The key that indexes the set of axioms.
map - The map, which maps keys to sets of axioms.
axiom - The axiom to remove from the set of axioms.
removeSetIfEmpty - Specifies whether or not the indexed set should be removed from the map if it is empty after removing the specified axiom

getReturnSet

public <E> java.util.Set<E> getReturnSet(java.util.Set<E> set)
Specified by:
getReturnSet in interface OWLOntologyImplInternals

getAxioms

public <K extends OWLObject,V extends OWLAxiom> java.util.Set<V> getAxioms(K key,
                                                                           java.util.Map<K,java.util.Set<V>> map)
Specified by:
getAxioms in interface OWLOntologyImplInternals

getAxioms

public <K,V extends OWLAxiom> java.util.Set<V> getAxioms(K key,
                                                         java.util.Map<K,java.util.Set<V>> map,
                                                         boolean create)
Specified by:
getAxioms in interface OWLOntologyImplInternals

getAxiomsInternal

public <T extends OWLAxiom> java.util.Set<T> getAxiomsInternal(AxiomType<T> axiomType)
Specified by:
getAxiomsInternal in interface OWLOntologyImplInternals

getSubClassAxiomsForSubClass

public java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
Specified by:
getSubClassAxiomsForSubClass in interface OWLOntologyImplInternals

getSubClassAxiomsForSuperClass

public java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
Specified by:
getSubClassAxiomsForSuperClass in interface OWLOntologyImplInternals

getEquivalentClassesAxioms

public java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
Specified by:
getEquivalentClassesAxioms in interface OWLOntologyImplInternals

getDisjointClassesAxioms

public java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
Specified by:
getDisjointClassesAxioms in interface OWLOntologyImplInternals

getDisjointUnionAxioms

public java.util.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
Specified by:
getDisjointUnionAxioms in interface OWLOntologyImplInternals

getHasKeyAxioms

public java.util.Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
Specified by:
getHasKeyAxioms in interface OWLOntologyImplInternals

getObjectSubPropertyAxiomsForSubProperty

public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)
Specified by:
getObjectSubPropertyAxiomsForSubProperty in interface OWLOntologyImplInternals

getObjectSubPropertyAxiomsForSuperProperty

public java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)
Specified by:
getObjectSubPropertyAxiomsForSuperProperty in interface OWLOntologyImplInternals

getObjectPropertyDomainAxioms

public java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Specified by:
getObjectPropertyDomainAxioms in interface OWLOntologyImplInternals

getObjectPropertyRangeAxioms

public java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Specified by:
getObjectPropertyRangeAxioms in interface OWLOntologyImplInternals

getInverseObjectPropertyAxioms

public java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getInverseObjectPropertyAxioms in interface OWLOntologyImplInternals

getEquivalentObjectPropertiesAxioms

public java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Specified by:
getEquivalentObjectPropertiesAxioms in interface OWLOntologyImplInternals

getDisjointObjectPropertiesAxioms

public java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Specified by:
getDisjointObjectPropertiesAxioms in interface OWLOntologyImplInternals

getFunctionalObjectPropertyAxioms

public java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getFunctionalObjectPropertyAxioms in interface OWLOntologyImplInternals

getInverseFunctionalObjectPropertyAxioms

public java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getInverseFunctionalObjectPropertyAxioms in interface OWLOntologyImplInternals

getSymmetricObjectPropertyAxioms

public java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getSymmetricObjectPropertyAxioms in interface OWLOntologyImplInternals

getAsymmetricObjectPropertyAxioms

public java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getAsymmetricObjectPropertyAxioms in interface OWLOntologyImplInternals

getReflexiveObjectPropertyAxioms

public java.util.Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getReflexiveObjectPropertyAxioms in interface OWLOntologyImplInternals

getIrreflexiveObjectPropertyAxioms

public java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getIrreflexiveObjectPropertyAxioms in interface OWLOntologyImplInternals

getTransitiveObjectPropertyAxioms

public java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Specified by:
getTransitiveObjectPropertyAxioms in interface OWLOntologyImplInternals

getFunctionalDataPropertyAxioms

public java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Specified by:
getFunctionalDataPropertyAxioms in interface OWLOntologyImplInternals

getDataSubPropertyAxiomsForSubProperty

public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)
Specified by:
getDataSubPropertyAxiomsForSubProperty in interface OWLOntologyImplInternals

getDataSubPropertyAxiomsForSuperProperty

public java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)
Specified by:
getDataSubPropertyAxiomsForSuperProperty in interface OWLOntologyImplInternals

getDataPropertyDomainAxioms

public java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
Specified by:
getDataPropertyDomainAxioms in interface OWLOntologyImplInternals

getDataPropertyRangeAxioms

public java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
Specified by:
getDataPropertyRangeAxioms in interface OWLOntologyImplInternals

getEquivalentDataPropertiesAxioms

public java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Specified by:
getEquivalentDataPropertiesAxioms in interface OWLOntologyImplInternals

getDisjointDataPropertiesAxioms

public java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
Specified by:
getDisjointDataPropertiesAxioms in interface OWLOntologyImplInternals

getClassAssertionAxioms

public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
Specified by:
getClassAssertionAxioms in interface OWLOntologyImplInternals

getClassAssertionAxioms

public java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)
Specified by:
getClassAssertionAxioms in interface OWLOntologyImplInternals

getDataPropertyAssertionAxioms

public java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getDataPropertyAssertionAxioms in interface OWLOntologyImplInternals

getObjectPropertyAssertionAxioms

public java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getObjectPropertyAssertionAxioms in interface OWLOntologyImplInternals

getNegativeObjectPropertyAssertionAxioms

public java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getNegativeObjectPropertyAssertionAxioms in interface OWLOntologyImplInternals

getNegativeDataPropertyAssertionAxioms

public java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Specified by:
getNegativeDataPropertyAssertionAxioms in interface OWLOntologyImplInternals

getSameIndividualAxioms

public java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
Specified by:
getSameIndividualAxioms in interface OWLOntologyImplInternals

getDifferentIndividualAxioms

public java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
Specified by:
getDifferentIndividualAxioms in interface OWLOntologyImplInternals

getAnnotationAssertionAxiomsBySubject

public java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxiomsBySubject(OWLAnnotationSubject subject)
Specified by:
getAnnotationAssertionAxiomsBySubject in interface OWLOntologyImplInternals

getAxioms

public java.util.Set<OWLClassAxiom> getAxioms(OWLClass cls)
Specified by:
getAxioms in interface OWLOntologyImplInternals

getImportsDeclarations

public java.util.Set<OWLImportsDeclaration> getImportsDeclarations()
Specified by:
getImportsDeclarations in interface OWLOntologyImplInternals

getOntologyAnnotations

public java.util.Set<OWLAnnotation> getOntologyAnnotations()
Specified by:
getOntologyAnnotations in interface OWLOntologyImplInternals

getAxiomsByType

public java.util.Map<AxiomType,java.util.Set<OWLAxiom>> getAxiomsByType()
Specified by:
getAxiomsByType in interface OWLOntologyImplInternals

getLogicalAxiom2AnnotatedAxiomMap

public java.util.Map<OWLAxiom,java.util.Set<OWLAxiom>> getLogicalAxiom2AnnotatedAxiomMap()
Specified by:
getLogicalAxiom2AnnotatedAxiomMap in interface OWLOntologyImplInternals

getGeneralClassAxioms

public java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
Specified by:
getGeneralClassAxioms in interface OWLOntologyImplInternals

getPropertyChainSubPropertyAxioms

public java.util.Set<OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxioms()
Specified by:
getPropertyChainSubPropertyAxioms in interface OWLOntologyImplInternals

getOwlClassReferences

public java.util.Map<OWLClass,java.util.Set<OWLAxiom>> getOwlClassReferences()
Specified by:
getOwlClassReferences in interface OWLOntologyImplInternals

getOwlObjectPropertyReferences

public java.util.Map<OWLObjectProperty,java.util.Set<OWLAxiom>> getOwlObjectPropertyReferences()
Specified by:
getOwlObjectPropertyReferences in interface OWLOntologyImplInternals

getOwlDataPropertyReferences

public java.util.Map<OWLDataProperty,java.util.Set<OWLAxiom>> getOwlDataPropertyReferences()
Specified by:
getOwlDataPropertyReferences in interface OWLOntologyImplInternals

getOwlIndividualReferences

public java.util.Map<OWLNamedIndividual,java.util.Set<OWLAxiom>> getOwlIndividualReferences()
Specified by:
getOwlIndividualReferences in interface OWLOntologyImplInternals

getOwlAnonymousIndividualReferences

public java.util.Map<OWLAnonymousIndividual,java.util.Set<OWLAxiom>> getOwlAnonymousIndividualReferences()
Specified by:
getOwlAnonymousIndividualReferences in interface OWLOntologyImplInternals

getOwlDatatypeReferences

public java.util.Map<OWLDatatype,java.util.Set<OWLAxiom>> getOwlDatatypeReferences()
Specified by:
getOwlDatatypeReferences in interface OWLOntologyImplInternals

getOwlAnnotationPropertyReferences

public java.util.Map<OWLAnnotationProperty,java.util.Set<OWLAxiom>> getOwlAnnotationPropertyReferences()
Specified by:
getOwlAnnotationPropertyReferences in interface OWLOntologyImplInternals

getDeclarationsByEntity

public java.util.Map<OWLEntity,java.util.Set<OWLDeclarationAxiom>> getDeclarationsByEntity()
Specified by:
getDeclarationsByEntity in interface OWLOntologyImplInternals

getClassAxiomsByClass

public java.util.Map<OWLClass,java.util.Set<OWLClassAxiom>> getClassAxiomsByClass()
Specified by:
getClassAxiomsByClass in interface OWLOntologyImplInternals

getSubClassAxiomsByLHS

public java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> getSubClassAxiomsByLHS()
Specified by:
getSubClassAxiomsByLHS in interface OWLOntologyImplInternals

getSubClassAxiomsByRHS

public java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> getSubClassAxiomsByRHS()
Specified by:
getSubClassAxiomsByRHS in interface OWLOntologyImplInternals

getEquivalentClassesAxiomsByClass

public java.util.Map<OWLClass,java.util.Set<OWLEquivalentClassesAxiom>> getEquivalentClassesAxiomsByClass()
Specified by:
getEquivalentClassesAxiomsByClass in interface OWLOntologyImplInternals

getDisjointClassesAxiomsByClass

public java.util.Map<OWLClass,java.util.Set<OWLDisjointClassesAxiom>> getDisjointClassesAxiomsByClass()
Specified by:
getDisjointClassesAxiomsByClass in interface OWLOntologyImplInternals

getDisjointUnionAxiomsByClass

public java.util.Map<OWLClass,java.util.Set<OWLDisjointUnionAxiom>> getDisjointUnionAxiomsByClass()
Specified by:
getDisjointUnionAxiomsByClass in interface OWLOntologyImplInternals

getHasKeyAxiomsByClass

public java.util.Map<OWLClass,java.util.Set<OWLHasKeyAxiom>> getHasKeyAxiomsByClass()
Specified by:
getHasKeyAxiomsByClass in interface OWLOntologyImplInternals

getObjectSubPropertyAxiomsByLHS

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> getObjectSubPropertyAxiomsByLHS()
Specified by:
getObjectSubPropertyAxiomsByLHS in interface OWLOntologyImplInternals

getObjectSubPropertyAxiomsByRHS

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> getObjectSubPropertyAxiomsByRHS()
Specified by:
getObjectSubPropertyAxiomsByRHS in interface OWLOntologyImplInternals

getEquivalentObjectPropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLEquivalentObjectPropertiesAxiom>> getEquivalentObjectPropertyAxiomsByProperty()
Specified by:
getEquivalentObjectPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getDisjointObjectPropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLDisjointObjectPropertiesAxiom>> getDisjointObjectPropertyAxiomsByProperty()
Specified by:
getDisjointObjectPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getObjectPropertyDomainAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyDomainAxiom>> getObjectPropertyDomainAxiomsByProperty()
Specified by:
getObjectPropertyDomainAxiomsByProperty in interface OWLOntologyImplInternals

getObjectPropertyRangeAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyRangeAxiom>> getObjectPropertyRangeAxiomsByProperty()
Specified by:
getObjectPropertyRangeAxiomsByProperty in interface OWLOntologyImplInternals

getFunctionalObjectPropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLFunctionalObjectPropertyAxiom>> getFunctionalObjectPropertyAxiomsByProperty()
Specified by:
getFunctionalObjectPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getInverseFunctionalPropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseFunctionalObjectPropertyAxiom>> getInverseFunctionalPropertyAxiomsByProperty()
Specified by:
getInverseFunctionalPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getSymmetricPropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSymmetricObjectPropertyAxiom>> getSymmetricPropertyAxiomsByProperty()
Specified by:
getSymmetricPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getAsymmetricPropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLAsymmetricObjectPropertyAxiom>> getAsymmetricPropertyAxiomsByProperty()
Specified by:
getAsymmetricPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getReflexivePropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLReflexiveObjectPropertyAxiom>> getReflexivePropertyAxiomsByProperty()
Specified by:
getReflexivePropertyAxiomsByProperty in interface OWLOntologyImplInternals

getIrreflexivePropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIrreflexiveObjectPropertyAxiom>> getIrreflexivePropertyAxiomsByProperty()
Specified by:
getIrreflexivePropertyAxiomsByProperty in interface OWLOntologyImplInternals

getTransitivePropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLTransitiveObjectPropertyAxiom>> getTransitivePropertyAxiomsByProperty()
Specified by:
getTransitivePropertyAxiomsByProperty in interface OWLOntologyImplInternals

getInversePropertyAxiomsByProperty

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseObjectPropertiesAxiom>> getInversePropertyAxiomsByProperty()
Specified by:
getInversePropertyAxiomsByProperty in interface OWLOntologyImplInternals

getDataSubPropertyAxiomsByLHS

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> getDataSubPropertyAxiomsByLHS()
Specified by:
getDataSubPropertyAxiomsByLHS in interface OWLOntologyImplInternals

getDataSubPropertyAxiomsByRHS

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> getDataSubPropertyAxiomsByRHS()
Specified by:
getDataSubPropertyAxiomsByRHS in interface OWLOntologyImplInternals

getEquivalentDataPropertyAxiomsByProperty

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLEquivalentDataPropertiesAxiom>> getEquivalentDataPropertyAxiomsByProperty()
Specified by:
getEquivalentDataPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getDisjointDataPropertyAxiomsByProperty

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDisjointDataPropertiesAxiom>> getDisjointDataPropertyAxiomsByProperty()
Specified by:
getDisjointDataPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getDataPropertyDomainAxiomsByProperty

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyDomainAxiom>> getDataPropertyDomainAxiomsByProperty()
Specified by:
getDataPropertyDomainAxiomsByProperty in interface OWLOntologyImplInternals

getDataPropertyRangeAxiomsByProperty

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyRangeAxiom>> getDataPropertyRangeAxiomsByProperty()
Specified by:
getDataPropertyRangeAxiomsByProperty in interface OWLOntologyImplInternals

getFunctionalDataPropertyAxiomsByProperty

public java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLFunctionalDataPropertyAxiom>> getFunctionalDataPropertyAxiomsByProperty()
Specified by:
getFunctionalDataPropertyAxiomsByProperty in interface OWLOntologyImplInternals

getClassAssertionAxiomsByIndividual

public java.util.Map<OWLIndividual,java.util.Set<OWLClassAssertionAxiom>> getClassAssertionAxiomsByIndividual()
Specified by:
getClassAssertionAxiomsByIndividual in interface OWLOntologyImplInternals

getClassAssertionAxiomsByClass

public java.util.Map<OWLClass,java.util.Set<OWLClassAssertionAxiom>> getClassAssertionAxiomsByClass()
Specified by:
getClassAssertionAxiomsByClass in interface OWLOntologyImplInternals

getObjectPropertyAssertionsByIndividual

public java.util.Map<OWLIndividual,java.util.Set<OWLObjectPropertyAssertionAxiom>> getObjectPropertyAssertionsByIndividual()
Specified by:
getObjectPropertyAssertionsByIndividual in interface OWLOntologyImplInternals

getDataPropertyAssertionsByIndividual

public java.util.Map<OWLIndividual,java.util.Set<OWLDataPropertyAssertionAxiom>> getDataPropertyAssertionsByIndividual()
Specified by:
getDataPropertyAssertionsByIndividual in interface OWLOntologyImplInternals

getNegativeObjectPropertyAssertionAxiomsByIndividual

public java.util.Map<OWLIndividual,java.util.Set<OWLNegativeObjectPropertyAssertionAxiom>> getNegativeObjectPropertyAssertionAxiomsByIndividual()
Specified by:
getNegativeObjectPropertyAssertionAxiomsByIndividual in interface OWLOntologyImplInternals

getNegativeDataPropertyAssertionAxiomsByIndividual

public java.util.Map<OWLIndividual,java.util.Set<OWLNegativeDataPropertyAssertionAxiom>> getNegativeDataPropertyAssertionAxiomsByIndividual()
Specified by:
getNegativeDataPropertyAssertionAxiomsByIndividual in interface OWLOntologyImplInternals

getDifferentIndividualsAxiomsByIndividual

public java.util.Map<OWLIndividual,java.util.Set<OWLDifferentIndividualsAxiom>> getDifferentIndividualsAxiomsByIndividual()
Specified by:
getDifferentIndividualsAxiomsByIndividual in interface OWLOntologyImplInternals

getSameIndividualsAxiomsByIndividual

public java.util.Map<OWLIndividual,java.util.Set<OWLSameIndividualAxiom>> getSameIndividualsAxiomsByIndividual()
Specified by:
getSameIndividualsAxiomsByIndividual in interface OWLOntologyImplInternals

getAnnotationAssertionAxiomsBySubject

public java.util.Map<OWLAnnotationSubject,java.util.Set<OWLAnnotationAssertionAxiom>> getAnnotationAssertionAxiomsBySubject()
Specified by:
getAnnotationAssertionAxiomsBySubject in interface OWLOntologyImplInternals
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD