public interface Internals
Modifier and Type | Interface and Description |
---|---|
static interface |
Internals.Pointer<K,V>
a marker interface for objects that identify contained maps - so that
getting the keys of a specific map does not require a specific method for
each map nor does it require the map to be copied and returned
|
static interface |
Internals.SimplePointer<K>
a marker interface for objects that identify contained sets
|
Internals.Pointer<AxiomType<?>,OWLAxiom> getAxiomsByType()
<K,V extends OWLAxiom> boolean add(Internals.Pointer<K,V> pointer, K key, V value)
void addGeneralClassAxioms(OWLClassAxiom ax)
boolean addImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration
- declaration to be addedboolean addOntologyAnnotation(OWLAnnotation ann)
void addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
<K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> pointer, K k)
<K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> pointer, K k, V v)
Internals.Pointer<OWLAnnotationSubject,OWLAnnotationAssertionAxiom> getAnnotationAssertionAxiomsBySubject()
Internals.Pointer<OWLObjectPropertyExpression,OWLAsymmetricObjectPropertyAxiom> getAsymmetricPropertyAxiomsByProperty()
int getAxiomCount()
java.util.Set<OWLAxiom> getAxioms()
Internals.Pointer<OWLClassExpression,OWLClassAssertionAxiom> getClassAssertionAxiomsByClass()
Internals.Pointer<OWLIndividual,OWLClassAssertionAxiom> getClassAssertionAxiomsByIndividual()
Internals.Pointer<OWLClass,OWLClassAxiom> getClassAxiomsByClass()
Internals.Pointer<OWLIndividual,OWLDataPropertyAssertionAxiom> getDataPropertyAssertionsByIndividual()
Internals.Pointer<OWLDataPropertyExpression,OWLDataPropertyDomainAxiom> getDataPropertyDomainAxiomsByProperty()
Internals.Pointer<OWLDataPropertyExpression,OWLDataPropertyRangeAxiom> getDataPropertyRangeAxiomsByProperty()
Internals.Pointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsByLHS()
Internals.Pointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsByRHS()
Internals.Pointer<OWLEntity,OWLDeclarationAxiom> getDeclarationsByEntity()
Internals.Pointer<OWLIndividual,OWLDifferentIndividualsAxiom> getDifferentIndividualsAxiomsByIndividual()
Internals.Pointer<OWLClass,OWLDisjointClassesAxiom> getDisjointClassesAxiomsByClass()
Internals.Pointer<OWLDataPropertyExpression,OWLDisjointDataPropertiesAxiom> getDisjointDataPropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertyAxiomsByProperty()
Internals.Pointer<OWLClass,OWLDisjointUnionAxiom> getDisjointUnionAxiomsByClass()
Internals.Pointer<OWLClass,OWLEquivalentClassesAxiom> getEquivalentClassesAxiomsByClass()
Internals.Pointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertyAxiomsByProperty()
Internals.Pointer<OWLDataPropertyExpression,OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxiomsByProperty()
java.util.Set<OWLClassAxiom> getGeneralClassAxioms()
Internals.Pointer<OWLClass,OWLHasKeyAxiom> getHasKeyAxiomsByClass()
java.util.Set<OWLImportsDeclaration> getImportsDeclarations()
Internals.Pointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalPropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLInverseObjectPropertiesAxiom> getInversePropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLIrreflexiveObjectPropertyAxiom> getIrreflexivePropertyAxiomsByProperty()
int getLogicalAxiomCount()
java.util.Set<OWLLogicalAxiom> getLogicalAxioms()
Internals.Pointer<OWLIndividual,OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxiomsByIndividual()
Internals.Pointer<OWLIndividual,OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxiomsByIndividual()
Internals.Pointer<OWLIndividual,OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionsByIndividual()
Internals.Pointer<OWLObjectPropertyExpression,OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsByLHS()
Internals.Pointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsByRHS()
java.util.Set<OWLAnnotation> getOntologyAnnotations()
Internals.Pointer<OWLAnnotationProperty,OWLAxiom> getOwlAnnotationPropertyReferences()
Internals.Pointer<OWLAnonymousIndividual,OWLAxiom> getOwlAnonymousIndividualReferences()
Internals.Pointer<OWLClass,OWLAxiom> getOwlClassReferences()
Internals.Pointer<OWLDataProperty,OWLAxiom> getOwlDataPropertyReferences()
Internals.Pointer<OWLDatatype,OWLAxiom> getOwlDatatypeReferences()
Internals.Pointer<OWLNamedIndividual,OWLAxiom> getOwlIndividualReferences()
Internals.Pointer<OWLObjectProperty,OWLAxiom> getOwlObjectPropertyReferences()
Internals.Pointer<OWLObjectPropertyExpression,OWLReflexiveObjectPropertyAxiom> getReflexivePropertyAxiomsByProperty()
Internals.Pointer<OWLIndividual,OWLSameIndividualAxiom> getSameIndividualsAxiomsByIndividual()
Internals.Pointer<OWLClass,OWLSubClassOfAxiom> getSubClassAxiomsByLHS()
Internals.Pointer<OWLClass,OWLSubClassOfAxiom> getSubClassAxiomsByRHS()
Internals.Pointer<OWLObjectPropertyExpression,OWLSymmetricObjectPropertyAxiom> getSymmetricPropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom> getTransitivePropertyAxiomsByProperty()
<K,V extends OWLAxiom> java.util.Set<V> getValues(Internals.Pointer<K,V> pointer, K key)
<K,V extends OWLAxiom> boolean hasValues(Internals.Pointer<K,V> pointer, K key)
<K,V extends OWLAxiom> java.util.Set<K> getKeyset(Internals.Pointer<K,V> pointer)
<T extends OWLAxiom,K> java.util.Set<T> filterAxioms(OWLAxiomSearchFilter<T,K> filter, K key)
boolean isDeclared(OWLDeclarationAxiom ax)
boolean isEmpty()
boolean addAxiom(OWLAxiom axiom)
boolean removeAxiom(OWLAxiom axiom)
void removeGeneralClassAxioms(OWLClassAxiom ax)
boolean removeImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration
- declaration to be addedboolean removeOntologyAnnotation(OWLAnnotation ann)
<K,V extends OWLAxiom> boolean remove(Internals.Pointer<K,V> pointer, K k, V v)
void removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)