uk.ac.manchester.cs.owl.owlapi
Interface OWLOntologyImplInternals
- All Known Implementing Classes:
- OWLOntologyImplInternalsDefaultImpl
public interface OWLOntologyImplInternals
Method Summary |
|
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. |
|
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()
|
|
getAxioms(K key,
java.util.Map<K,java.util.Set<V>> map)
|
|
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()
|
|
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()
|
|
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()
|
|
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. |
|
removeAxiomFromSet(K axiom,
java.util.Set<K> axioms)
|
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 axiomsmap
- 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)