uk.ac.manchester.cs.owl.owlapi

Class InternalsImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.AbstractInternalsImpl

uk.ac.manchester.cs.owl.owlapi.InternalsImpl

All Implemented Interfaces:

Serializable, Internals

public class InternalsImpl
extends AbstractInternalsImpl

Author:

ignazio

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	InternalsImpl.SetPointer<K>

Nested classes/interfaces inherited from interface uk.ac.manchester.cs.owl.owlapi.Internals

Internals.Pointer<K,V>, Internals.SimplePointer<K>

Field Summary

Fields

Modifier and Type	Field and Description
protected MapPointer<AxiomType<?>,OWLAxiom>	axiomsByType
protected MapPointer<OWLEntity,OWLDeclarationAxiom>	declarationsByEntity
protected InternalsImpl.SetPointer<OWLClassAxiom>	generalClassAxioms
protected InternalsImpl.SetPointer<OWLImportsDeclaration>	importsDeclarations
protected InternalsImpl.SetPointer<OWLAnnotation>	ontologyAnnotations
protected MapPointer<OWLAnnotationProperty,OWLAxiom>	owlAnnotationPropertyReferences
protected MapPointer<OWLAnonymousIndividual,OWLAxiom>	owlAnonymousIndividualReferences
protected MapPointer<OWLClass,OWLAxiom>	owlClassReferences
protected MapPointer<OWLDataProperty,OWLAxiom>	owlDataPropertyReferences
protected MapPointer<OWLDatatype,OWLAxiom>	owlDatatypeReferences
protected MapPointer<OWLNamedIndividual,OWLAxiom>	owlIndividualReferences
protected MapPointer<OWLObjectProperty,OWLAxiom>	owlObjectPropertyReferences
protected InternalsImpl.SetPointer<OWLSubPropertyChainOfAxiom>	propertyChainSubPropertyAxioms

Fields inherited from class uk.ac.manchester.cs.owl.owlapi.AbstractInternalsImpl

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 Summary

Constructors

Constructor and Description
InternalsImpl()

Method Summary

Modifier and Type	Method and Description
<K,V extends OWLAxiom> boolean	add(Internals.Pointer<K,V> p, K k, V v)
boolean	addAxiom(OWLAxiom axiom)
void	addGeneralClassAxioms(OWLClassAxiom ax)
boolean	addImportsDeclaration(OWLImportsDeclaration importDeclaration)
boolean	addOntologyAnnotation(OWLAnnotation ann)
void	addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
protected <K> InternalsImpl.SetPointer<K>	buildSet()
<K,V extends OWLAxiom> boolean	contains(Internals.Pointer<K,V> p, K k)
<K,V extends OWLAxiom> boolean	contains(Internals.Pointer<K,V> p, K k, V v)
<T extends OWLAxiom,K> Set<T>	filterAxioms(OWLAxiomSearchFilter<T,K> filter, K key)
int	getAxiomCount()
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType)
Set<OWLAxiom>	getAxioms()
MapPointer<AxiomType<?>,OWLAxiom>	getAxiomsByType()
MapPointer<OWLEntity,OWLDeclarationAxiom>	getDeclarationsByEntity()
Set<OWLClassAxiom>	getGeneralClassAxioms()
Set<OWLImportsDeclaration>	getImportsDeclarations()
<K,V extends OWLAxiom> Set<K>	getKeyset(Internals.Pointer<K,V> pointer)
int	getLogicalAxiomCount()
Set<OWLLogicalAxiom>	getLogicalAxioms()
Set<OWLAnnotation>	getOntologyAnnotations()
MapPointer<OWLAnnotationProperty,OWLAxiom>	getOwlAnnotationPropertyReferences()
MapPointer<OWLAnonymousIndividual,OWLAxiom>	getOwlAnonymousIndividualReferences()
MapPointer<OWLClass,OWLAxiom>	getOwlClassReferences()
MapPointer<OWLDataProperty,OWLAxiom>	getOwlDataPropertyReferences()
MapPointer<OWLDatatype,OWLAxiom>	getOwlDatatypeReferences()
MapPointer<OWLNamedIndividual,OWLAxiom>	getOwlIndividualReferences()
MapPointer<OWLObjectProperty,OWLAxiom>	getOwlObjectPropertyReferences()
<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)

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.AbstractInternalsImpl

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

importsDeclarations

protected final InternalsImpl.SetPointer<OWLImportsDeclaration> importsDeclarations

ontologyAnnotations

protected final InternalsImpl.SetPointer<OWLAnnotation> ontologyAnnotations

generalClassAxioms

protected final InternalsImpl.SetPointer<OWLClassAxiom> generalClassAxioms

propertyChainSubPropertyAxioms

protected final InternalsImpl.SetPointer<OWLSubPropertyChainOfAxiom> propertyChainSubPropertyAxioms

axiomsByType

protected final MapPointer<AxiomType<?>,OWLAxiom> axiomsByType

owlClassReferences

protected final MapPointer<OWLClass,OWLAxiom> owlClassReferences

owlObjectPropertyReferences

protected final MapPointer<OWLObjectProperty,OWLAxiom> owlObjectPropertyReferences

owlDataPropertyReferences

protected final MapPointer<OWLDataProperty,OWLAxiom> owlDataPropertyReferences

owlIndividualReferences

protected final MapPointer<OWLNamedIndividual,OWLAxiom> owlIndividualReferences

owlAnonymousIndividualReferences

protected final MapPointer<OWLAnonymousIndividual,OWLAxiom> owlAnonymousIndividualReferences

owlDatatypeReferences

protected final MapPointer<OWLDatatype,OWLAxiom> owlDatatypeReferences

owlAnnotationPropertyReferences

protected final MapPointer<OWLAnnotationProperty,OWLAxiom> owlAnnotationPropertyReferences

declarationsByEntity

protected final MapPointer<OWLEntity,OWLDeclarationAxiom> declarationsByEntity

Constructor Detail

InternalsImpl

public InternalsImpl()

Method Detail

buildSet

protected <K> InternalsImpl.SetPointer<K> buildSet()

getKeyset

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

Type Parameters:

K - key type

V - value type

Parameters:

pointer - pointer to work on

Returns:

keyset

getValues

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

Type Parameters:

K - key type

V - value type

Parameters:

pointer - pointer to work on

key - key

Returns:

values for pointer

hasValues

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

Type Parameters:

K - key type

V - value type

Parameters:

pointer - pointer to work on

key - key

Returns:

true if there are values

remove

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

Type Parameters:

K - key type

V - value type

Parameters:

pointer - pointer to work on

k - key

v - value

Returns:

true if match removed

addAxiom

public boolean addAxiom(OWLAxiom axiom)

Parameters:

axiom - axiom to add

Returns:

true if match added

removeAxiom

public boolean removeAxiom(OWLAxiom axiom)

Parameters:

axiom - axiom to remove

Returns:

true if match removed

isDeclared

public boolean isDeclared(OWLDeclarationAxiom ax)

Parameters:

ax - axiom

Returns:

true if declared

isEmpty

public boolean isEmpty()

Returns:

true if empty

filterAxioms

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

Type Parameters:

T - value type

K - key type

Parameters:

filter - filter for search

key - key

Returns:

set of objects selected

getImportsDeclarations

public Set<OWLImportsDeclaration> getImportsDeclarations()

Returns:

imports declarations

addImportsDeclaration

public boolean addImportsDeclaration(OWLImportsDeclaration importDeclaration)

Parameters:

importDeclaration - declaration to be added

Returns:

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

removeImportsDeclaration

public boolean removeImportsDeclaration(OWLImportsDeclaration importDeclaration)

Parameters:

importDeclaration - declaration to be added

Returns:

true if the import declaration was present, false otherwise

getOntologyAnnotations

public Set<OWLAnnotation> getOntologyAnnotations()

Returns:

ontology annotations

addOntologyAnnotation

public boolean addOntologyAnnotation(OWLAnnotation ann)

Parameters:

ann - annotation to add

Returns:

true if change made

removeOntologyAnnotation

public boolean removeOntologyAnnotation(OWLAnnotation ann)

Parameters:

ann - annotation to remove

Returns:

true if match removed

contains

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

Type Parameters:

K - key type

V - value type

Parameters:

p - pointer to work on

k - key

Returns:

true if k contained

contains

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

Type Parameters:

K - key type

V - value type

Parameters:

p - pointer to work on

k - key

v - value

Returns:

true if k and v contained

getAxiomCount

public int getAxiomCount()

Returns:

axiom count

getAxioms

public Set<OWLAxiom> getAxioms()

Returns:

pointer

getAxiomCount

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

Type Parameters:

T - axiom type

Parameters:

axiomType - axiom type

Returns:

count of axioms

getLogicalAxioms

public Set<OWLLogicalAxiom> getLogicalAxioms()

Returns:

logical axioms

getLogicalAxiomCount

public int getLogicalAxiomCount()

Returns:

number of logical axioms

add

public <K,V extends OWLAxiom> boolean add(Internals.Pointer<K,V> p,
                                          K k,
                                          V v)

Type Parameters:

K - key type

V - value type

Parameters:

p - pointer to work on

k - key

v - value

Returns:

true if added

getGeneralClassAxioms

public Set<OWLClassAxiom> getGeneralClassAxioms()

Returns:

gci

addGeneralClassAxioms

public void addGeneralClassAxioms(OWLClassAxiom ax)

Parameters:

ax - gci to add

removeGeneralClassAxioms

public void removeGeneralClassAxioms(OWLClassAxiom ax)

Parameters:

ax - axiom to remove

addPropertyChainSubPropertyAxioms

public void addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)

Parameters:

ax - axiom to add

removePropertyChainSubPropertyAxioms

public void removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)

Parameters:

ax - chain to remove

getOwlClassReferences

public MapPointer<OWLClass,OWLAxiom> getOwlClassReferences()

Returns:

pointer

getOwlObjectPropertyReferences

public MapPointer<OWLObjectProperty,OWLAxiom> getOwlObjectPropertyReferences()

Returns:

pointer

getOwlDataPropertyReferences

public MapPointer<OWLDataProperty,OWLAxiom> getOwlDataPropertyReferences()

Returns:

pointer

getOwlIndividualReferences

public MapPointer<OWLNamedIndividual,OWLAxiom> getOwlIndividualReferences()

Returns:

pointer

getOwlAnonymousIndividualReferences

public MapPointer<OWLAnonymousIndividual,OWLAxiom> getOwlAnonymousIndividualReferences()

Returns:

pointer

getOwlDatatypeReferences

public MapPointer<OWLDatatype,OWLAxiom> getOwlDatatypeReferences()

Returns:

pointer

getOwlAnnotationPropertyReferences

public MapPointer<OWLAnnotationProperty,OWLAxiom> getOwlAnnotationPropertyReferences()

Returns:

pointer

getDeclarationsByEntity

public MapPointer<OWLEntity,OWLDeclarationAxiom> getDeclarationsByEntity()

Returns:

pointer

getAxiomsByType

public MapPointer<AxiomType<?>,OWLAxiom> getAxiomsByType()

Returns:

axioms by type