uk.ac.manchester.cs.owl.owlapi

Class OWLAxiomIndexImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLAxiomIndexImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasImportsClosure, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLAxiomIndex, OWLObject, HasIncrementalSignatureGenerationSupport, HasTrimToSize

Direct Known Subclasses:

OWLImmutableOntologyImpl

public abstract class OWLAxiomIndexImpl
extends OWLObjectImpl
implements OWLAxiomIndex, HasTrimToSize

Since:

4.0.0

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLAxiomIndexImpl()

Method Summary

Modifier and Type	Method and Description
Stream<OWLAnnotationPropertyDomainAxiom>	annotationPropertyDomainAxioms(OWLAnnotationProperty property) Gets the OWLAnnotationPropertyDomainAxiom objects where the specified property is the property in the domain axiom.
Stream<OWLAnnotationPropertyRangeAxiom>	annotationPropertyRangeAxioms(OWLAnnotationProperty property) Gets the OWLAnnotationPropertyRangeAxiom objects where the specified property is the property in the range axiom.
Stream<OWLDatatypeDefinitionAxiom>	datatypeDefinitions(OWLDatatype datatype) Gets the OWLDatatypeDefinitionAxiom objects contained in this ontology that provide a definition for the specified datatype.
Stream<OWLSubAnnotationPropertyOfAxiom>	subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty) Gets the OWLSubAnnotationPropertyOfAxiom objects where the specified property is the sub-property.
void	trimToSize() Trim the capacity of the axiom indexes.

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

annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomIndex

annotationAssertionAxioms, annotationAssertionAxioms, asymmetricObjectPropertyAxioms, axioms, axioms, axioms, axioms, axioms, axioms, classAssertionAxioms, classAssertionAxioms, contains, contains, dataPropertyAssertionAxioms, dataPropertyDomainAxioms, dataPropertyRangeAxioms, dataSubPropertyAxiomsForSubProperty, dataSubPropertyAxiomsForSuperProperty, declarationAxioms, differentIndividualAxioms, disjointClassesAxioms, disjointDataPropertiesAxioms, disjointObjectPropertiesAxioms, disjointUnionAxioms, equivalentClassesAxioms, equivalentDataPropertiesAxioms, equivalentObjectPropertiesAxioms, filterAxioms, filterAxioms, functionalDataPropertyAxioms, functionalObjectPropertyAxioms, getAnnotationAssertionAxioms, getAnnotationAssertionAxioms, getAnnotationPropertyDomainAxioms, getAnnotationPropertyRangeAxioms, getAsymmetricObjectPropertyAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getClassAssertionAxioms, getClassAssertionAxioms, getDataPropertyAssertionAxioms, getDataPropertyDomainAxioms, getDataPropertyRangeAxioms, getDataSubPropertyAxiomsForSubProperty, getDataSubPropertyAxiomsForSuperProperty, getDatatypeDefinitions, getDeclarationAxioms, getDifferentIndividualAxioms, getDisjointClassesAxioms, getDisjointDataPropertiesAxioms, getDisjointObjectPropertiesAxioms, getDisjointUnionAxioms, getEquivalentClassesAxioms, getEquivalentDataPropertiesAxioms, getEquivalentObjectPropertiesAxioms, getFunctionalDataPropertyAxioms, getFunctionalObjectPropertyAxioms, getHasKeyAxioms, getInverseFunctionalObjectPropertyAxioms, getInverseObjectPropertyAxioms, getIrreflexiveObjectPropertyAxioms, getNegativeDataPropertyAssertionAxioms, getNegativeObjectPropertyAssertionAxioms, getObjectPropertyAssertionAxioms, getObjectPropertyDomainAxioms, getObjectPropertyRangeAxioms, getObjectSubPropertyAxiomsForSubProperty, getObjectSubPropertyAxiomsForSuperProperty, getReflexiveObjectPropertyAxioms, getSameIndividualAxioms, getSubAnnotationPropertyOfAxioms, getSubClassAxiomsForSubClass, getSubClassAxiomsForSuperClass, getSymmetricObjectPropertyAxioms, getTransitiveObjectPropertyAxioms, hasKeyAxioms, inverseFunctionalObjectPropertyAxioms, inverseObjectPropertyAxioms, irreflexiveObjectPropertyAxioms, negativeDataPropertyAssertionAxioms, negativeObjectPropertyAssertionAxioms, objectPropertyAssertionAxioms, objectPropertyDomainAxioms, objectPropertyRangeAxioms, objectSubPropertyAxiomsForSubProperty, objectSubPropertyAxiomsForSuperProperty, reflexiveObjectPropertyAxioms, sameIndividualAxioms, subClassAxiomsForSubClass, subClassAxiomsForSuperClass, symmetricObjectPropertyAxioms, transitiveObjectPropertyAxioms

Methods inherited from interface org.semanticweb.owlapi.model.HasImportsClosure

getImportsClosure, importsClosure

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, initHashCode, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

getSignature, unsortedSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndex

typeIndex

Methods inherited from interface org.semanticweb.owlapi.model.HasHashIndex

hashIndex

Methods inherited from interface org.semanticweb.owlapi.model.HasComponents

components, componentsAnnotationsFirst, componentsWithoutAnnotations

Methods inherited from interface org.semanticweb.owlapi.model.IsAnonymous

isAnonymous, isNamed

Constructor Detail

OWLAxiomIndexImpl

public OWLAxiomIndexImpl()

Method Detail

trimToSize

public void trimToSize()

Description copied from interface: HasTrimToSize

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

Specified by:

trimToSize in interface HasTrimToSize

datatypeDefinitions

public Stream<OWLDatatypeDefinitionAxiom> datatypeDefinitions(OWLDatatype datatype)

Description copied from interface: OWLAxiomIndex

Gets the OWLDatatypeDefinitionAxiom objects contained in this ontology that provide a definition for the specified datatype.

Specified by:

datatypeDefinitions in interface OWLAxiomIndex

Parameters:

datatype - The datatype for which the returned axioms provide a definition.

Returns:

the axioms matching the search.

subAnnotationPropertyOfAxioms

public Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)

Description copied from interface: OWLAxiomIndex

Gets the OWLSubAnnotationPropertyOfAxiom objects where the specified property is the sub-property.

Specified by:

subAnnotationPropertyOfAxioms in interface OWLAxiomIndex

Parameters:

subProperty - The sub-property of the axioms to be retrieved.

Returns:

the axioms matching the search.

annotationPropertyDomainAxioms

public Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLAnnotationPropertyDomainAxiom objects where the specified property is the property in the domain axiom.

Specified by:

annotationPropertyDomainAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the axiom specifies a domain for.

Returns:

the axioms matching the search.

annotationPropertyRangeAxioms

public Stream<OWLAnnotationPropertyRangeAxiom> annotationPropertyRangeAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLAnnotationPropertyRangeAxiom objects where the specified property is the property in the range axiom.

Specified by:

annotationPropertyRangeAxioms in interface OWLAxiomIndex

Parameters:

property - The property that the axiom specifies a range for.

Returns:

the axioms matching the search.