public class InternalsImpl extends AbstractInternalsImpl
Internals.Pointer<K,V>, Internals.SimplePointer<K>
Constructor and Description |
---|
InternalsImpl() |
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
public <K,V extends OWLAxiom> Set<K> getKeyset(Internals.Pointer<K,V> pointer)
K
- key typeV
- value typepointer
- pointer to work onpublic <K,V extends OWLAxiom> Set<V> getValues(Internals.Pointer<K,V> pointer, K key)
K
- key typeV
- value typepointer
- pointer to work onkey
- keypublic <K,V extends OWLAxiom> boolean hasValues(Internals.Pointer<K,V> pointer, K key)
K
- key typeV
- value typepointer
- pointer to work onkey
- keypublic <K,V extends OWLAxiom> boolean remove(Internals.Pointer<K,V> pointer, K k, V v)
K
- key typeV
- value typepointer
- pointer to work onk
- keyv
- valuepublic boolean addAxiom(OWLAxiom axiom)
axiom
- axiom to addpublic boolean removeAxiom(OWLAxiom axiom)
axiom
- axiom to removepublic boolean isDeclared(OWLDeclarationAxiom ax)
ax
- axiompublic boolean isEmpty()
public <T extends OWLAxiom,K> Set<T> filterAxioms(OWLAxiomSearchFilter<T,K> filter, K key)
T
- value typeK
- key typefilter
- filter for searchkey
- keypublic Set<OWLImportsDeclaration> getImportsDeclarations()
public boolean addImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration
- declaration to be addedpublic boolean removeImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration
- declaration to be addedpublic Set<OWLAnnotation> getOntologyAnnotations()
public boolean addOntologyAnnotation(OWLAnnotation ann)
ann
- annotation to addpublic boolean removeOntologyAnnotation(OWLAnnotation ann)
ann
- annotation to removepublic <K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> p, K k)
K
- key typeV
- value typep
- pointer to work onk
- keypublic <K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> p, K k, V v)
K
- key typeV
- value typep
- pointer to work onk
- keyv
- valuepublic int getAxiomCount()
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
T
- axiom typeaxiomType
- axiom typepublic Set<OWLLogicalAxiom> getLogicalAxioms()
public int getLogicalAxiomCount()
public <K,V extends OWLAxiom> boolean add(Internals.Pointer<K,V> p, K k, V v)
K
- key typeV
- value typep
- pointer to work onk
- keyv
- valuepublic Set<OWLClassAxiom> getGeneralClassAxioms()
public void addGeneralClassAxioms(OWLClassAxiom ax)
ax
- gci to addpublic void removeGeneralClassAxioms(OWLClassAxiom ax)
ax
- axiom to removepublic void addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
ax
- axiom to addpublic void removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
ax
- chain to removepublic 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()
Copyright © 2017 The University of Manchester. All Rights Reserved.