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
java.util.stream.Stream<OWLAnnotationPropertyDomainAxiom>	annotationPropertyDomainAxioms(OWLAnnotationProperty property) Gets the OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.
java.util.stream.Stream<OWLAnnotationPropertyRangeAxiom>	annotationPropertyRangeAxioms(OWLAnnotationProperty property) Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.
java.util.stream.Stream<OWLDatatypeDefinitionAxiom>	datatypeDefinitions(OWLDatatype datatype) Gets the OWLDatatypeDefinitionAxioms contained in this ontology that provide a definition for the specified datatype.
java.util.stream.Stream<OWLSubAnnotationPropertyOfAxiom>	subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty) Gets the SubAnnotationPropertyOfAxioms 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, hasSharedStructure, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity

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

getSignature

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

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 java.util.stream.Stream<OWLDatatypeDefinitionAxiom> datatypeDefinitions(OWLDatatype datatype)

Description copied from interface: OWLAxiomIndex

Gets the OWLDatatypeDefinitionAxioms 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. The set is a copy of the data.

subAnnotationPropertyOfAxioms

public java.util.stream.Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)

Description copied from interface: OWLAxiomIndex

Gets the SubAnnotationPropertyOfAxioms 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. The set is a copy of the data.

annotationPropertyDomainAxioms

public java.util.stream.Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLAnnotationPropertyDomainAxioms 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. The set is a copy of the data.

annotationPropertyRangeAxioms

public java.util.stream.Stream<OWLAnnotationPropertyRangeAxiom> annotationPropertyRangeAxioms(OWLAnnotationProperty property)

Description copied from interface: OWLAxiomIndex

Gets the OWLAnnotationPropertyRangeAxioms 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. The set is a copy of the data.