uk.ac.manchester.cs.owl.owlapi

Interface Internals

All Known Implementing Classes:

AbstractInternalsImpl, InternalsImpl

public interface Internals

Nested Class Summary

Nested Classes

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

Method Summary

Methods

Modifier and Type	Method and Description
<K,V extends OWLAxiom> boolean	add(Internals.Pointer<K,V> pointer, K key, V value)
boolean	addAxiom(OWLAxiom axiom)
void	addGeneralClassAxioms(OWLClassAxiom ax)
boolean	addImportsDeclaration(OWLImportsDeclaration importDeclaration)
boolean	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)
<T extends OWLAxiom,K> Set<T>	filterAxioms(OWLAxiomSearchFilter<T,K> filter, K key)
Internals.Pointer<OWLAnnotationSubject,OWLAnnotationAssertionAxiom>	getAnnotationAssertionAxiomsBySubject()
Internals.Pointer<OWLObjectPropertyExpression,OWLAsymmetricObjectPropertyAxiom>	getAsymmetricPropertyAxiomsByProperty()
int	getAxiomCount()
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType)
Set<OWLAxiom>	getAxioms()
Internals.Pointer<AxiomType<?>,OWLAxiom>	getAxiomsByType()
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()
Set<OWLClassAxiom>	getGeneralClassAxioms()
Internals.Pointer<OWLClass,OWLHasKeyAxiom>	getHasKeyAxiomsByClass()
Set<OWLImportsDeclaration>	getImportsDeclarations()
Internals.Pointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom>	getInverseFunctionalPropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLInverseObjectPropertiesAxiom>	getInversePropertyAxiomsByProperty()
Internals.Pointer<OWLObjectPropertyExpression,OWLIrreflexiveObjectPropertyAxiom>	getIrreflexivePropertyAxiomsByProperty()
<K,V extends OWLAxiom> Set<K>	getKeyset(Internals.Pointer<K,V> pointer)
int	getLogicalAxiomCount()
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()
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> Set<V>	getValues(Internals.Pointer<K,V> pointer, K key)
<K,V extends OWLAxiom> boolean	hasValues(Internals.Pointer<K,V> pointer, K key)
boolean	isDeclared(OWLDeclarationAxiom ax)
boolean	isEmpty()
<K,V extends OWLAxiom> boolean	remove(Internals.Pointer<K,V> pointer, K k, V v)
boolean	removeAxiom(OWLAxiom axiom)
void	removeGeneralClassAxioms(OWLClassAxiom ax)
boolean	removeImportsDeclaration(OWLImportsDeclaration importDeclaration)
boolean	removeOntologyAnnotation(OWLAnnotation ann)
void	removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)

Method Detail

getAxiomsByType

Internals.Pointer<AxiomType<?>,OWLAxiom> getAxiomsByType()

add

<K,V extends OWLAxiom> boolean add(Internals.Pointer<K,V> pointer,
                                 K key,
                                 V value)

addGeneralClassAxioms

void addGeneralClassAxioms(OWLClassAxiom ax)

addImportsDeclaration

boolean addImportsDeclaration(OWLImportsDeclaration importDeclaration)

Parameters:

importDeclaration - declaration to be added

Returns:

true if the import declaration was not already present, false otherwise

addOntologyAnnotation

boolean addOntologyAnnotation(OWLAnnotation ann)

addPropertyChainSubPropertyAxioms

void addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)

contains

<K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> pointer,
                                      K k)

contains

<K,V extends OWLAxiom> boolean contains(Internals.Pointer<K,V> pointer,
                                      K k,
                                      V v)

getAnnotationAssertionAxiomsBySubject

Internals.Pointer<OWLAnnotationSubject,OWLAnnotationAssertionAxiom> getAnnotationAssertionAxiomsBySubject()

getAsymmetricPropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLAsymmetricObjectPropertyAxiom> getAsymmetricPropertyAxiomsByProperty()

getAxiomCount

int getAxiomCount()

getAxiomCount

<T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)

getAxioms

Set<OWLAxiom> getAxioms()

getClassAssertionAxiomsByClass

Internals.Pointer<OWLClassExpression,OWLClassAssertionAxiom> getClassAssertionAxiomsByClass()

getClassAssertionAxiomsByIndividual

Internals.Pointer<OWLIndividual,OWLClassAssertionAxiom> getClassAssertionAxiomsByIndividual()

getClassAxiomsByClass

Internals.Pointer<OWLClass,OWLClassAxiom> getClassAxiomsByClass()

getDataPropertyAssertionsByIndividual

Internals.Pointer<OWLIndividual,OWLDataPropertyAssertionAxiom> getDataPropertyAssertionsByIndividual()

getDataPropertyDomainAxiomsByProperty

Internals.Pointer<OWLDataPropertyExpression,OWLDataPropertyDomainAxiom> getDataPropertyDomainAxiomsByProperty()

getDataPropertyRangeAxiomsByProperty

Internals.Pointer<OWLDataPropertyExpression,OWLDataPropertyRangeAxiom> getDataPropertyRangeAxiomsByProperty()

getDataSubPropertyAxiomsByLHS

Internals.Pointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsByLHS()

getDataSubPropertyAxiomsByRHS

Internals.Pointer<OWLDataPropertyExpression,OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsByRHS()

getDeclarationsByEntity

Internals.Pointer<OWLEntity,OWLDeclarationAxiom> getDeclarationsByEntity()

getDifferentIndividualsAxiomsByIndividual

Internals.Pointer<OWLIndividual,OWLDifferentIndividualsAxiom> getDifferentIndividualsAxiomsByIndividual()

getDisjointClassesAxiomsByClass

Internals.Pointer<OWLClass,OWLDisjointClassesAxiom> getDisjointClassesAxiomsByClass()

getDisjointDataPropertyAxiomsByProperty

Internals.Pointer<OWLDataPropertyExpression,OWLDisjointDataPropertiesAxiom> getDisjointDataPropertyAxiomsByProperty()

getDisjointObjectPropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertyAxiomsByProperty()

getDisjointUnionAxiomsByClass

Internals.Pointer<OWLClass,OWLDisjointUnionAxiom> getDisjointUnionAxiomsByClass()

getEquivalentClassesAxiomsByClass

Internals.Pointer<OWLClass,OWLEquivalentClassesAxiom> getEquivalentClassesAxiomsByClass()

getEquivalentDataPropertyAxiomsByProperty

Internals.Pointer<OWLDataPropertyExpression,OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertyAxiomsByProperty()

getEquivalentObjectPropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertyAxiomsByProperty()

getFunctionalDataPropertyAxiomsByProperty

Internals.Pointer<OWLDataPropertyExpression,OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxiomsByProperty()

getFunctionalObjectPropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxiomsByProperty()

getGeneralClassAxioms

Set<OWLClassAxiom> getGeneralClassAxioms()

getHasKeyAxiomsByClass

Internals.Pointer<OWLClass,OWLHasKeyAxiom> getHasKeyAxiomsByClass()

getImportsDeclarations

Set<OWLImportsDeclaration> getImportsDeclarations()

getInverseFunctionalPropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalPropertyAxiomsByProperty()

getInversePropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLInverseObjectPropertiesAxiom> getInversePropertyAxiomsByProperty()

getIrreflexivePropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLIrreflexiveObjectPropertyAxiom> getIrreflexivePropertyAxiomsByProperty()

getLogicalAxiomCount

int getLogicalAxiomCount()

getLogicalAxioms

Set<OWLLogicalAxiom> getLogicalAxioms()

getNegativeDataPropertyAssertionAxiomsByIndividual

Internals.Pointer<OWLIndividual,OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxiomsByIndividual()

getNegativeObjectPropertyAssertionAxiomsByIndividual

Internals.Pointer<OWLIndividual,OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxiomsByIndividual()

getObjectPropertyAssertionsByIndividual

Internals.Pointer<OWLIndividual,OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionsByIndividual()

getObjectPropertyDomainAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxiomsByProperty()

getObjectPropertyRangeAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxiomsByProperty()

getObjectSubPropertyAxiomsByLHS

Internals.Pointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsByLHS()

getObjectSubPropertyAxiomsByRHS

Internals.Pointer<OWLObjectPropertyExpression,OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsByRHS()

getOntologyAnnotations

Set<OWLAnnotation> getOntologyAnnotations()

getOwlAnnotationPropertyReferences

Internals.Pointer<OWLAnnotationProperty,OWLAxiom> getOwlAnnotationPropertyReferences()

getOwlAnonymousIndividualReferences

Internals.Pointer<OWLAnonymousIndividual,OWLAxiom> getOwlAnonymousIndividualReferences()

getOwlClassReferences

Internals.Pointer<OWLClass,OWLAxiom> getOwlClassReferences()

getOwlDataPropertyReferences

Internals.Pointer<OWLDataProperty,OWLAxiom> getOwlDataPropertyReferences()

getOwlDatatypeReferences

Internals.Pointer<OWLDatatype,OWLAxiom> getOwlDatatypeReferences()

getOwlIndividualReferences

Internals.Pointer<OWLNamedIndividual,OWLAxiom> getOwlIndividualReferences()

getOwlObjectPropertyReferences

Internals.Pointer<OWLObjectProperty,OWLAxiom> getOwlObjectPropertyReferences()

getReflexivePropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLReflexiveObjectPropertyAxiom> getReflexivePropertyAxiomsByProperty()

getSameIndividualsAxiomsByIndividual

Internals.Pointer<OWLIndividual,OWLSameIndividualAxiom> getSameIndividualsAxiomsByIndividual()

getSubClassAxiomsByLHS

Internals.Pointer<OWLClass,OWLSubClassOfAxiom> getSubClassAxiomsByLHS()

getSubClassAxiomsByRHS

Internals.Pointer<OWLClass,OWLSubClassOfAxiom> getSubClassAxiomsByRHS()

getSymmetricPropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLSymmetricObjectPropertyAxiom> getSymmetricPropertyAxiomsByProperty()

getTransitivePropertyAxiomsByProperty

Internals.Pointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom> getTransitivePropertyAxiomsByProperty()

getValues

<K,V extends OWLAxiom> Set<V> getValues(Internals.Pointer<K,V> pointer,
                                      K key)

hasValues

<K,V extends OWLAxiom> boolean hasValues(Internals.Pointer<K,V> pointer,
                                       K key)

getKeyset

<K,V extends OWLAxiom> Set<K> getKeyset(Internals.Pointer<K,V> pointer)

filterAxioms

<T extends OWLAxiom,K> Set<T> filterAxioms(OWLAxiomSearchFilter<T,K> filter,
                                         K key)

isDeclared

boolean isDeclared(OWLDeclarationAxiom ax)

isEmpty

boolean isEmpty()

addAxiom

boolean addAxiom(OWLAxiom axiom)

removeAxiom

boolean removeAxiom(OWLAxiom axiom)

removeGeneralClassAxioms

void removeGeneralClassAxioms(OWLClassAxiom ax)

removeImportsDeclaration

boolean removeImportsDeclaration(OWLImportsDeclaration importDeclaration)

Parameters:

importDeclaration - declaration to be added

Returns:

true if the import declaration was present, false otherwise

removeOntologyAnnotation

boolean removeOntologyAnnotation(OWLAnnotation ann)

remove

<K,V extends OWLAxiom> boolean remove(Internals.Pointer<K,V> pointer,
                                    K k,
                                    V v)

removePropertyChainSubPropertyAxioms

void removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)