public class InternalsImpl extends AbstractInternalsImpl
Modifier and Type | Class and Description |
---|---|
protected class |
InternalsImpl.SetPointer<K> |
Internals.Pointer<K,V>, Internals.SimplePointer<K>
annotationAssertionAxiomsBySubject, asymmetricPropertyAxiomsByProperty, classAssertionAxiomsByClass, classAssertionAxiomsByIndividual, classAxiomsByClass, dataPropertyAssertionsByIndividual, dataPropertyDomainAxiomsByProperty, dataPropertyRangeAxiomsByProperty, dataSubPropertyAxiomsByLHS, dataSubPropertyAxiomsByRHS, differentIndividualsAxiomsByIndividual, disjointClassesAxiomsByClass, disjointDataPropertyAxiomsByProperty, disjointObjectPropertyAxiomsByProperty, disjointUnionAxiomsByClass, equivalentClassesAxiomsByClass, equivalentDataPropertyAxiomsByProperty, equivalentObjectPropertyAxiomsByProperty, functionalDataPropertyAxiomsByProperty, functionalObjectPropertyAxiomsByProperty, hasKeyAxiomsByClass, inverseFunctionalPropertyAxiomsByProperty, inversePropertyAxiomsByProperty, irreflexivePropertyAxiomsByProperty, negativeDataPropertyAssertionAxiomsByIndividual, negativeObjectPropertyAssertionAxiomsByIndividual, objectPropertyAssertionsByIndividual, objectPropertyDomainAxiomsByProperty, objectPropertyRangeAxiomsByProperty, objectSubPropertyAxiomsByLHS, objectSubPropertyAxiomsByRHS, reflexivePropertyAxiomsByProperty, sameIndividualsAxiomsByIndividual, subClassAxiomsByLHS, subClassAxiomsByRHS, symmetricPropertyAxiomsByProperty, transitivePropertyAxiomsByProperty
Constructor and Description |
---|
InternalsImpl() |
build, build, buildClassAxiomByClass, buildLazy, createMap, getAnnotationAssertionAxiomsBySubject, getAsymmetricPropertyAxiomsByProperty, getClassAssertionAxiomsByClass, getClassAssertionAxiomsByIndividual, getClassAxiomsByClass, getDataPropertyAssertionsByIndividual, getDataPropertyDomainAxiomsByProperty, getDataPropertyRangeAxiomsByProperty, getDataSubPropertyAxiomsByLHS, getDataSubPropertyAxiomsByRHS, getDifferentIndividualsAxiomsByIndividual, getDisjointClassesAxiomsByClass, getDisjointDataPropertyAxiomsByProperty, getDisjointObjectPropertyAxiomsByProperty, getDisjointUnionAxiomsByClass, getEquivalentClassesAxiomsByClass, getEquivalentDataPropertyAxiomsByProperty, getEquivalentObjectPropertyAxiomsByProperty, getFunctionalDataPropertyAxiomsByProperty, getFunctionalObjectPropertyAxiomsByProperty, getHasKeyAxiomsByClass, getInverseFunctionalPropertyAxiomsByProperty, getInversePropertyAxiomsByProperty, getIrreflexivePropertyAxiomsByProperty, getNegativeDataPropertyAssertionAxiomsByIndividual, getNegativeObjectPropertyAssertionAxiomsByIndividual, getObjectPropertyAssertionsByIndividual, getObjectPropertyDomainAxiomsByProperty, getObjectPropertyRangeAxiomsByProperty, getObjectSubPropertyAxiomsByLHS, getObjectSubPropertyAxiomsByRHS, getReflexivePropertyAxiomsByProperty, getSameIndividualsAxiomsByIndividual, getSubClassAxiomsByLHS, getSubClassAxiomsByRHS, getSymmetricPropertyAxiomsByProperty, getTransitivePropertyAxiomsByProperty
protected final InternalsImpl.SetPointer<OWLImportsDeclaration> importsDeclarations
protected final InternalsImpl.SetPointer<OWLAnnotation> ontologyAnnotations
protected final InternalsImpl.SetPointer<OWLClassAxiom> generalClassAxioms
protected final InternalsImpl.SetPointer<OWLSubPropertyChainOfAxiom> propertyChainSubPropertyAxioms
protected final MapPointer<AxiomType<?>,OWLAxiom> axiomsByType
protected final MapPointer<OWLClass,OWLAxiom> owlClassReferences
protected final MapPointer<OWLObjectProperty,OWLAxiom> owlObjectPropertyReferences
protected final MapPointer<OWLDataProperty,OWLAxiom> owlDataPropertyReferences
protected final MapPointer<OWLNamedIndividual,OWLAxiom> owlIndividualReferences
protected final MapPointer<OWLAnonymousIndividual,OWLAxiom> owlAnonymousIndividualReferences
protected final MapPointer<OWLDatatype,OWLAxiom> owlDatatypeReferences
protected final MapPointer<OWLAnnotationProperty,OWLAxiom> owlAnnotationPropertyReferences
protected final MapPointer<OWLEntity,OWLDeclarationAxiom> declarationsByEntity
protected <K> InternalsImpl.SetPointer<K> buildSet()
public <K,V extends OWLAxiom> java.util.Set<K> getKeyset(Internals.Pointer<K,V> pointer)
public <K,V extends OWLAxiom> java.util.Set<V> getValues(Internals.Pointer<K,V> pointer, K key)
public <K,V extends OWLAxiom> boolean hasValues(Internals.Pointer<K,V> pointer, K key)
public <K,V extends OWLAxiom> boolean remove(Internals.Pointer<K,V> pointer, K k, V v)
public boolean addAxiom(OWLAxiom axiom)
public boolean removeAxiom(OWLAxiom axiom)
public boolean isDeclared(OWLDeclarationAxiom ax)
public boolean isEmpty()
public <T extends OWLAxiom,K> java.util.Set<T> filterAxioms(OWLAxiomSearchFilter<T,K> filter, K key)
public java.util.Set<OWLImportsDeclaration> getImportsDeclarations()
public boolean addImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration
- declaration to be addedpublic boolean removeImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration
- declaration to be addedpublic java.util.Set<OWLAnnotation> getOntologyAnnotations()
public boolean addOntologyAnnotation(OWLAnnotation ann)
public boolean removeOntologyAnnotation(OWLAnnotation ann)
public <K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> p, K k)
public <K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> p, K k, V v)
public int getAxiomCount()
public java.util.Set<OWLAxiom> getAxioms()
public java.util.Set<OWLLogicalAxiom> getLogicalAxioms()
public int getLogicalAxiomCount()
public <K,V extends OWLAxiom> boolean add(Internals.Pointer<K,V> p, K k, V v)
public java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
public void addGeneralClassAxioms(OWLClassAxiom ax)
public void removeGeneralClassAxioms(OWLClassAxiom ax)
public void addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
public void removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
public MapPointer<OWLClass,OWLAxiom> getOwlClassReferences()
public MapPointer<OWLObjectProperty,OWLAxiom> getOwlObjectPropertyReferences()
public MapPointer<OWLDataProperty,OWLAxiom> getOwlDataPropertyReferences()
public MapPointer<OWLNamedIndividual,OWLAxiom> getOwlIndividualReferences()
public MapPointer<OWLAnonymousIndividual,OWLAxiom> getOwlAnonymousIndividualReferences()
public MapPointer<OWLDatatype,OWLAxiom> getOwlDatatypeReferences()
public MapPointer<OWLAnnotationProperty,OWLAxiom> getOwlAnnotationPropertyReferences()
public MapPointer<OWLEntity,OWLDeclarationAxiom> getDeclarationsByEntity()
public MapPointer<AxiomType<?>,OWLAxiom> getAxiomsByType()