uk.ac.manchester.cs.owl.owlapi

Class Internals

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.Internals

All Implemented Interfaces:

Serializable

public class Internals
extends Object
implements Serializable

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Internals()

Method Summary

Modifier and Type	Method and Description
boolean	addAxiom(OWLAxiom axiom)
boolean	addGeneralClassAxioms(OWLClassAxiom ax)
boolean	addImportsDeclaration(OWLImportsDeclaration importDeclaration)
boolean	addOntologyAnnotation(OWLAnnotation ann)
boolean	addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
static <K,V extends OWLAxiom> boolean	contains(MapPointer<K,V> p, K k, V v)
<K> boolean	contains(OWLAxiomSearchFilter filter, K key)
boolean	containsAnnotationPropertyInSignature(IRI i)
boolean	containsAnnotationPropertyInSignature(OWLAnnotationProperty i)
boolean	containsClassInSignature(IRI i)
boolean	containsClassInSignature(OWLClass i)
boolean	containsDataPropertyInSignature(IRI i)
boolean	containsDataPropertyInSignature(OWLDataProperty i)
boolean	containsDatatypeInSignature(IRI i)
boolean	containsDatatypeInSignature(OWLDatatype i)
boolean	containsIndividualInSignature(IRI i)
boolean	containsIndividualInSignature(OWLNamedIndividual i)
boolean	containsObjectPropertyInSignature(IRI i)
boolean	containsObjectPropertyInSignature(OWLObjectProperty i)
boolean	containsReference(OWLEntity entity)
<K> Collection<? extends OWLAxiom>	filterAxioms(OWLAxiomSearchFilter filter, K key)
int	getAxiomCount()
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType)
Iterable<OWLAxiom>	getAxioms() Gets the axioms by type.
MapPointer<AxiomType<?>,OWLAxiom>	getAxiomsByType()
Set<OWLClassAxiom>	getGeneralClassAxioms()
Iterable<OWLImportsDeclaration>	getImportsDeclarations(boolean copy)
int	getLogicalAxiomCount()
Set<OWLLogicalAxiom>	getLogicalAxioms()
Iterable<OWLAxiom>	getReferencingAxioms(OWLEntity owlEntity)
boolean	isDeclared(OWLEntity e)
boolean	isEmpty()
boolean	removeAxiom(OWLAxiom axiom)
boolean	removeGeneralClassAxioms(OWLClassAxiom ax)
boolean	removeImportsDeclaration(OWLImportsDeclaration importDeclaration)
boolean	removeOntologyAnnotation(OWLAnnotation ann)
boolean	removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
String	toString()
void	trimToSize() Trims the capacity of the axiom indexes .

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Internals

public Internals()

Method Detail

trimToSize

public void trimToSize()

Trims the capacity of the axiom indexes . An application can use this operation to minimize the storage of the internals instance.

containsClassInSignature

public boolean containsClassInSignature(IRI i)

Parameters:

i - iri

Returns:

true if a class with this iri exists

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI i)

Parameters:

i - iri

Returns:

true if an object property with this iri exists

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI i)

Parameters:

i - iri

Returns:

true if a data property with this iri exists

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI i)

Parameters:

i - iri

Returns:

true if an annotation property with this iri exists

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI i)

Parameters:

i - iri

Returns:

true if a individual with this iri exists

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI i)

Parameters:

i - iri

Returns:

true if a datatype with this iri exists

containsClassInSignature

public boolean containsClassInSignature(OWLClass i)

Parameters:

i - iri

Returns:

true if a class with this iri exists

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(OWLObjectProperty i)

Parameters:

i - iri

Returns:

true if an object property with this iri exists

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(OWLDataProperty i)

Parameters:

i - iri

Returns:

true if a data property with this iri exists

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(OWLAnnotationProperty i)

Parameters:

i - iri

Returns:

true if an annotation property with this iri exists

containsIndividualInSignature

public boolean containsIndividualInSignature(OWLNamedIndividual i)

Parameters:

i - iri

Returns:

true if a individual with this iri exists

containsDatatypeInSignature

public boolean containsDatatypeInSignature(OWLDatatype i)

Parameters:

i - iri

Returns:

true if a datatype with this iri exists

addAxiom

public boolean addAxiom(@Nonnull
                        OWLAxiom axiom)

Parameters:

axiom - axiom to add

Returns:

true if the axiom was not already included

removeAxiom

public boolean removeAxiom(@Nonnull
                           OWLAxiom axiom)

Parameters:

axiom - axiom to remove

Returns:

true if removed

isDeclared

public boolean isDeclared(OWLEntity e)

Parameters:

e - entity to check

Returns:

true if the entity is declared in the ontology

isEmpty

public boolean isEmpty()

Returns:

true if empty

filterAxioms

@Nonnull
public <K> Collection<? extends OWLAxiom> filterAxioms(@Nonnull
                                                                OWLAxiomSearchFilter filter,
                                                                @Nonnull
                                                                K key)

Type Parameters:

K - key type

Parameters:

filter - filter to satisfy

key - key

Returns:

set of values

contains

public <K> boolean contains(@Nonnull
                            OWLAxiomSearchFilter filter,
                            @Nonnull
                            K key)

Type Parameters:

K - key type

Parameters:

filter - filter to satisfy

key - key to match

Returns:

true if the filter is matched at least once

getImportsDeclarations

@Nonnull
public Iterable<OWLImportsDeclaration> getImportsDeclarations(boolean copy)

Parameters:

copy - true if a copy of the set should be returned, false for a non defensive copy (to be used only by OWLImmutableOntologyImpl for iteration)

Returns:

iterable of imports declaration

addImportsDeclaration

public boolean addImportsDeclaration(OWLImportsDeclaration importDeclaration)

Parameters:

importDeclaration - import declaration to remove

Returns:

true if added

removeImportsDeclaration

public boolean removeImportsDeclaration(OWLImportsDeclaration importDeclaration)

Parameters:

importDeclaration - import declaration to remove

Returns:

true if removed

addOntologyAnnotation

public boolean addOntologyAnnotation(OWLAnnotation ann)

Parameters:

ann - annotation to add

Returns:

true if annotation added

removeOntologyAnnotation

public boolean removeOntologyAnnotation(OWLAnnotation ann)

Parameters:

ann - annotation to remove

Returns:

true if annotation removed

contains

public static <K,V extends OWLAxiom> boolean contains(@Nonnull
                                                      MapPointer<K,V> p,
                                                      K k,
                                                      V v)

Type Parameters:

K - key type

V - value type

Parameters:

p - pointer

k - key

v - value

Returns:

true if the pair (key, value) is contained

getAxiomCount

public int getAxiomCount()

Returns:

count of all axioms

getAxioms

@Nonnull
public Iterable<OWLAxiom> getAxioms()

Gets the axioms by type.

Returns:

the axioms by type

getAxiomCount

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

Type Parameters:

T - axiom type

Parameters:

axiomType - axiom type to count

Returns:

axiom count

getLogicalAxioms

@Nonnull
public Set<OWLLogicalAxiom> getLogicalAxioms()

Returns:

logical axioms

getLogicalAxiomCount

public int getLogicalAxiomCount()

Returns:

logical axioms count

getGeneralClassAxioms

@Nonnull
public Set<OWLClassAxiom> getGeneralClassAxioms()

Returns:

copy of GCI axioms

addGeneralClassAxioms

public boolean addGeneralClassAxioms(OWLClassAxiom ax)

Parameters:

ax - GCI axiom to add

Returns:

true if axiom added

removeGeneralClassAxioms

public boolean removeGeneralClassAxioms(OWLClassAxiom ax)

Parameters:

ax - axiom to remove

Returns:

true if removed

addPropertyChainSubPropertyAxioms

public boolean addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)

Parameters:

ax - axiom to add

Returns:

true if added

removePropertyChainSubPropertyAxioms

public boolean removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)

Parameters:

ax - axiom to remove

Returns:

true if removed

getAxiomsByType

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

Returns:

map of axioms by type

toString

@Nonnull
public String toString()

Overrides:

toString in class Object

containsReference

public boolean containsReference(@Nonnull
                                 OWLEntity entity)

Parameters:

entity - entity to check

Returns:

true if reference is contained

getReferencingAxioms

@Nonnull
public Iterable<OWLAxiom> getReferencingAxioms(@Nonnull
                                                        OWLEntity owlEntity)

Parameters:

owlEntity - entity to describe

Returns:

referencing axioms