uk.ac.manchester.cs.owl.owlapi
Interface OWLOntologyImplInternals

All Known Implementing Classes:
OWLOntologyImplInternalsDefaultImpl

public interface OWLOntologyImplInternals


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.
 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()
           
<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)
           
 

Method Detail

getImportsDeclarations

java.util.Set<OWLImportsDeclaration> getImportsDeclarations()

getOntologyAnnotations

java.util.Set<OWLAnnotation> getOntologyAnnotations()

getAxiomsByType

java.util.Map<AxiomType,java.util.Set<OWLAxiom>> getAxiomsByType()

getLogicalAxiom2AnnotatedAxiomMap

java.util.Map<OWLAxiom,java.util.Set<OWLAxiom>> getLogicalAxiom2AnnotatedAxiomMap()

getGeneralClassAxioms

java.util.Set<OWLClassAxiom> getGeneralClassAxioms()

getPropertyChainSubPropertyAxioms

java.util.Set<OWLSubPropertyChainOfAxiom> getPropertyChainSubPropertyAxioms()

getOwlClassReferences

java.util.Map<OWLClass,java.util.Set<OWLAxiom>> getOwlClassReferences()

getOwlObjectPropertyReferences

java.util.Map<OWLObjectProperty,java.util.Set<OWLAxiom>> getOwlObjectPropertyReferences()

getOwlDataPropertyReferences

java.util.Map<OWLDataProperty,java.util.Set<OWLAxiom>> getOwlDataPropertyReferences()

getOwlIndividualReferences

java.util.Map<OWLNamedIndividual,java.util.Set<OWLAxiom>> getOwlIndividualReferences()

getOwlAnonymousIndividualReferences

java.util.Map<OWLAnonymousIndividual,java.util.Set<OWLAxiom>> getOwlAnonymousIndividualReferences()

getOwlDatatypeReferences

java.util.Map<OWLDatatype,java.util.Set<OWLAxiom>> getOwlDatatypeReferences()

getOwlAnnotationPropertyReferences

java.util.Map<OWLAnnotationProperty,java.util.Set<OWLAxiom>> getOwlAnnotationPropertyReferences()

getDeclarationsByEntity

java.util.Map<OWLEntity,java.util.Set<OWLDeclarationAxiom>> getDeclarationsByEntity()

getClassAxiomsByClass

java.util.Map<OWLClass,java.util.Set<OWLClassAxiom>> getClassAxiomsByClass()

getSubClassAxiomsByLHS

java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> getSubClassAxiomsByLHS()

getSubClassAxiomsByRHS

java.util.Map<OWLClass,java.util.Set<OWLSubClassOfAxiom>> getSubClassAxiomsByRHS()

getEquivalentClassesAxiomsByClass

java.util.Map<OWLClass,java.util.Set<OWLEquivalentClassesAxiom>> getEquivalentClassesAxiomsByClass()

getDisjointClassesAxiomsByClass

java.util.Map<OWLClass,java.util.Set<OWLDisjointClassesAxiom>> getDisjointClassesAxiomsByClass()

getDisjointUnionAxiomsByClass

java.util.Map<OWLClass,java.util.Set<OWLDisjointUnionAxiom>> getDisjointUnionAxiomsByClass()

getHasKeyAxiomsByClass

java.util.Map<OWLClass,java.util.Set<OWLHasKeyAxiom>> getHasKeyAxiomsByClass()

getObjectSubPropertyAxiomsByLHS

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> getObjectSubPropertyAxiomsByLHS()

getObjectSubPropertyAxiomsByRHS

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSubObjectPropertyOfAxiom>> getObjectSubPropertyAxiomsByRHS()

getEquivalentObjectPropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLEquivalentObjectPropertiesAxiom>> getEquivalentObjectPropertyAxiomsByProperty()

getDisjointObjectPropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLDisjointObjectPropertiesAxiom>> getDisjointObjectPropertyAxiomsByProperty()

getObjectPropertyDomainAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyDomainAxiom>> getObjectPropertyDomainAxiomsByProperty()

getObjectPropertyRangeAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyRangeAxiom>> getObjectPropertyRangeAxiomsByProperty()

getFunctionalObjectPropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLFunctionalObjectPropertyAxiom>> getFunctionalObjectPropertyAxiomsByProperty()

getInverseFunctionalPropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseFunctionalObjectPropertyAxiom>> getInverseFunctionalPropertyAxiomsByProperty()

getSymmetricPropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLSymmetricObjectPropertyAxiom>> getSymmetricPropertyAxiomsByProperty()

getAsymmetricPropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLAsymmetricObjectPropertyAxiom>> getAsymmetricPropertyAxiomsByProperty()

getReflexivePropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLReflexiveObjectPropertyAxiom>> getReflexivePropertyAxiomsByProperty()

getIrreflexivePropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIrreflexiveObjectPropertyAxiom>> getIrreflexivePropertyAxiomsByProperty()

getTransitivePropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLTransitiveObjectPropertyAxiom>> getTransitivePropertyAxiomsByProperty()

getInversePropertyAxiomsByProperty

java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLInverseObjectPropertiesAxiom>> getInversePropertyAxiomsByProperty()

getDataSubPropertyAxiomsByLHS

java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> getDataSubPropertyAxiomsByLHS()

getDataSubPropertyAxiomsByRHS

java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLSubDataPropertyOfAxiom>> getDataSubPropertyAxiomsByRHS()

getEquivalentDataPropertyAxiomsByProperty

java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLEquivalentDataPropertiesAxiom>> getEquivalentDataPropertyAxiomsByProperty()

getDisjointDataPropertyAxiomsByProperty

java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDisjointDataPropertiesAxiom>> getDisjointDataPropertyAxiomsByProperty()

getDataPropertyDomainAxiomsByProperty

java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyDomainAxiom>> getDataPropertyDomainAxiomsByProperty()

getDataPropertyRangeAxiomsByProperty

java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLDataPropertyRangeAxiom>> getDataPropertyRangeAxiomsByProperty()

getFunctionalDataPropertyAxiomsByProperty

java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLFunctionalDataPropertyAxiom>> getFunctionalDataPropertyAxiomsByProperty()

getClassAssertionAxiomsByIndividual

java.util.Map<OWLIndividual,java.util.Set<OWLClassAssertionAxiom>> getClassAssertionAxiomsByIndividual()

getClassAssertionAxiomsByClass

java.util.Map<OWLClass,java.util.Set<OWLClassAssertionAxiom>> getClassAssertionAxiomsByClass()

getObjectPropertyAssertionsByIndividual

java.util.Map<OWLIndividual,java.util.Set<OWLObjectPropertyAssertionAxiom>> getObjectPropertyAssertionsByIndividual()

getDataPropertyAssertionsByIndividual

java.util.Map<OWLIndividual,java.util.Set<OWLDataPropertyAssertionAxiom>> getDataPropertyAssertionsByIndividual()

getNegativeObjectPropertyAssertionAxiomsByIndividual

java.util.Map<OWLIndividual,java.util.Set<OWLNegativeObjectPropertyAssertionAxiom>> getNegativeObjectPropertyAssertionAxiomsByIndividual()

getNegativeDataPropertyAssertionAxiomsByIndividual

java.util.Map<OWLIndividual,java.util.Set<OWLNegativeDataPropertyAssertionAxiom>> getNegativeDataPropertyAssertionAxiomsByIndividual()

getDifferentIndividualsAxiomsByIndividual

java.util.Map<OWLIndividual,java.util.Set<OWLDifferentIndividualsAxiom>> getDifferentIndividualsAxiomsByIndividual()

getSameIndividualsAxiomsByIndividual

java.util.Map<OWLIndividual,java.util.Set<OWLSameIndividualAxiom>> getSameIndividualsAxiomsByIndividual()

getAnnotationAssertionAxiomsBySubject

java.util.Map<OWLAnnotationSubject,java.util.Set<OWLAnnotationAssertionAxiom>> getAnnotationAssertionAxiomsBySubject()

addAxiomToSet

<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.

Parameters:
axiom - The axiom to be added.
axioms - The set of axioms that the axiom should be added to. May be null.

removeAxiomFromSet

<K extends OWLAxiom> void removeAxiomFromSet(K axiom,
                                             java.util.Set<K> axioms)

addToIndexedSet

<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.

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

<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.

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

<E> java.util.Set<E> getReturnSet(java.util.Set<E> set)

getAxioms

<K extends OWLObject,V extends OWLAxiom> java.util.Set<V> getAxioms(K key,
                                                                    java.util.Map<K,java.util.Set<V>> map)

getAxioms

<K,V extends OWLAxiom> java.util.Set<V> getAxioms(K key,
                                                  java.util.Map<K,java.util.Set<V>> map,
                                                  boolean create)

getAxiomsInternal

<T extends OWLAxiom> java.util.Set<T> getAxiomsInternal(AxiomType<T> axiomType)

getSubClassAxiomsForSubClass

java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)

getSubClassAxiomsForSuperClass

java.util.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)

getEquivalentClassesAxioms

java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)

getDisjointClassesAxioms

java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)

getDisjointUnionAxioms

java.util.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)

getHasKeyAxioms

java.util.Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)

getObjectSubPropertyAxiomsForSubProperty

java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression property)

getObjectSubPropertyAxiomsForSuperProperty

java.util.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression property)

getObjectPropertyDomainAxioms

java.util.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)

getObjectPropertyRangeAxioms

java.util.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)

getInverseObjectPropertyAxioms

java.util.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)

getEquivalentObjectPropertiesAxioms

java.util.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)

getDisjointObjectPropertiesAxioms

java.util.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)

getFunctionalObjectPropertyAxioms

java.util.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

getInverseFunctionalObjectPropertyAxioms

java.util.Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

getSymmetricObjectPropertyAxioms

java.util.Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

getAsymmetricObjectPropertyAxioms

java.util.Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)

getReflexiveObjectPropertyAxioms

java.util.Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

getIrreflexiveObjectPropertyAxioms

java.util.Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

getTransitiveObjectPropertyAxioms

java.util.Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

getFunctionalDataPropertyAxioms

java.util.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)

getDataSubPropertyAxiomsForSubProperty

java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty lhsProperty)

getDataSubPropertyAxiomsForSuperProperty

java.util.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression property)

getDataPropertyDomainAxioms

java.util.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)

getDataPropertyRangeAxioms

java.util.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)

getEquivalentDataPropertiesAxioms

java.util.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)

getDisjointDataPropertiesAxioms

java.util.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)

getClassAssertionAxioms

java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)

getClassAssertionAxioms

java.util.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClass type)

getDataPropertyAssertionAxioms

java.util.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)

getObjectPropertyAssertionAxioms

java.util.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)

getNegativeObjectPropertyAssertionAxioms

java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)

getNegativeDataPropertyAssertionAxioms

java.util.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)

getSameIndividualAxioms

java.util.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)

getDifferentIndividualAxioms

java.util.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)

getAnnotationAssertionAxiomsBySubject

java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxiomsBySubject(OWLAnnotationSubject subject)

getAxioms

java.util.Set<OWLClassAxiom> getAxioms(OWLClass cls)