uk.ac.manchester.cs.owl.owlapi

Class OWLImmutableOntologyImpl

java.lang.Object

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

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

uk.ac.manchester.cs.owl.owlapi.OWLImmutableOntologyImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasApplyChange, HasApplyChanges, HasApplyDirectChange, HasAxioms, HasAxiomsByType, HasClassesInSignature, HasComponents, HasContainsAxiom, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasDirectAddAxiom, HasDirectAddAxioms, HasDirectImports, HasDirectRemoveAxiom, HasDirectRemoveAxioms, HasGetEntitiesInSignature, HasHashIndex, HasImportsClosure, HasIndex, HasIndividualsInSignature, HasLogicalAxioms, HasObjectPropertiesInSignature, HasOntologyID, HasSignature, IsAnonymous, OWLAxiomCollection, OWLAxiomCollectionBooleanArgs, OWLAxiomIndex, OWLObject, OWLOntology, OWLSignature, OWLSignatureBooleanArgs, HasIncrementalSignatureGenerationSupport, HasTrimToSize

Direct Known Subclasses:

OWLOntologyImpl

public class OWLImmutableOntologyImpl
extends OWLAxiomIndexImpl
implements OWLOntology, Serializable

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLImmutableOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)

Method Summary

Modifier and Type	Method and Description
java.util.stream.Stream<OWLAxiom>	aboxAxioms(Imports imports)
java.util.stream.Stream<OWLAnnotationProperty>	annotationPropertiesInSignature()
java.util.stream.Stream<OWLAnnotation>	annotations()
java.util.stream.Stream<OWLAnonymousIndividual>	anonymousIndividuals()
java.util.stream.Stream<OWLAxiom>	axioms()
<T extends OWLAxiom> java.util.stream.Stream<T>	axioms(AxiomType<T> axiomType)
<A extends OWLAxiom> java.util.stream.Stream<A>	axioms(Class<A> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
<T extends OWLAxiom> java.util.stream.Stream<T>	axioms(OWLAxiomSearchFilter filter, Object key)
<T extends OWLAxiom> java.util.stream.Stream<T>	axioms(OWLAxiomSearchFilter filter, Object key, Imports imports)
java.util.stream.Stream<OWLClassAxiom>	axioms(OWLClass cls)
java.util.stream.Stream<OWLDataPropertyAxiom>	axioms(OWLDataProperty property)
java.util.stream.Stream<OWLDatatypeDefinitionAxiom>	axioms(OWLDatatype datatype)
java.util.stream.Stream<OWLIndividualAxiom>	axioms(OWLIndividual individual)
java.util.stream.Stream<OWLObjectPropertyAxiom>	axioms(OWLObjectPropertyExpression property)
java.util.stream.Stream<OWLAxiom>	axiomsIgnoreAnnotations(OWLAxiom axiom)
java.util.stream.Stream<OWLAxiom>	axiomsIgnoreAnnotations(OWLAxiom axiom, Imports imports)
java.util.stream.Stream<OWLClass>	classesInSignature()
boolean	contains(OWLAxiomSearchFilter filter, Object key)
boolean	contains(OWLAxiomSearchFilter filter, Object key, Imports imports)
boolean	containsAnnotationPropertyInSignature(IRI iri)
boolean	containsAnnotationPropertyInSignature(IRI iri, Imports imports)
boolean	containsAxiom(OWLAxiom axiom)
boolean	containsAxiom(OWLAxiom axiom, Imports imports, AxiomAnnotations ignoreAnnotations)
boolean	containsAxiomIgnoreAnnotations(OWLAxiom axiom)
boolean	containsClassInSignature(IRI iri)
boolean	containsClassInSignature(IRI iri, Imports imports)
boolean	containsDataPropertyInSignature(IRI iri)
boolean	containsDataPropertyInSignature(IRI iri, Imports imports)
boolean	containsDatatypeInSignature(IRI iri)
boolean	containsDatatypeInSignature(IRI iri, Imports imports)
boolean	containsEntityInSignature(OWLEntity owlEntity)
boolean	containsIndividualInSignature(IRI iri)
boolean	containsIndividualInSignature(IRI iri, Imports imports)
boolean	containsObjectPropertyInSignature(IRI iri)
boolean	containsObjectPropertyInSignature(IRI iri, Imports imports)
boolean	containsReference(OWLEntity entity)
boolean	containsReference(OWLEntity entity, Imports includeImportsClosure)
java.util.stream.Stream<OWLDataProperty>	dataPropertiesInSignature()
java.util.stream.Stream<OWLDatatype>	datatypesInSignature()
java.util.stream.Stream<OWLOntology>	directImports()
java.util.stream.Stream<IRI>	directImportsDocuments()
java.util.stream.Stream<OWLEntity>	entitiesInSignature(IRI iri)
java.util.stream.Stream<OWLClassAxiom>	generalClassAxioms()
int	getAxiomCount()
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType)
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType, Imports imports)
int	getAxiomCount(Imports imports)
int	getLogicalAxiomCount()
int	getLogicalAxiomCount(Imports imports)
OWLOntologyID	getOntologyID()
OWLOntologyManager	getOWLOntologyManager()
Set<IRI>	getPunnedIRIs(Imports includeImportsClosure)
java.util.stream.Stream<OWLOntology>	imports()
java.util.stream.Stream<OWLOntology>	importsClosure()
java.util.stream.Stream<OWLImportsDeclaration>	importsDeclarations()
java.util.stream.Stream<OWLNamedIndividual>	individualsInSignature()
boolean	isAnonymous()
boolean	isDeclared(OWLEntity owlEntity)
boolean	isEmpty()
java.util.stream.Stream<OWLLogicalAxiom>	logicalAxioms()
java.util.stream.Stream<OWLObjectProperty>	objectPropertiesInSignature()
java.util.stream.Stream<OWLAxiom>	rboxAxioms(Imports imports)
java.util.stream.Stream<OWLAnonymousIndividual>	referencedAnonymousIndividuals()
java.util.stream.Stream<OWLAxiom>	referencingAxioms(OWLPrimitive owlEntity)
void	setOWLOntologyManager(OWLOntologyManager manager)
java.util.stream.Stream<OWLEntity>	signature()
java.util.stream.Stream<OWLAxiom>	tboxAxioms(Imports imports)
String	toString()

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

annotationPropertyDomainAxioms, annotationPropertyRangeAxioms, datatypeDefinitions, subAnnotationPropertyOfAxioms, trimToSize

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

compareTo, equals, hashCode, nestedClassExpressions

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, accept, accept, addAxiom, addAxioms, addAxioms, addAxioms, applyChange, applyChanges, applyDirectChange, components, getABoxAxioms, getFormat, getGeneralClassAxioms, getImports, getImportsDeclarations, getNonnullFormat, getRBoxAxioms, getSignature, getTBoxAxioms, hashIndex, isAxiom, isDeclared, isIndividual, isOntology, removeAxiom, removeAxioms, removeAxioms, removeAxioms, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, signature, typeIndex

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

getNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isTopEntity, nestedClassExpressions

Methods inherited from interface java.lang.Comparable

compareTo

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.HasAnnotationPropertiesInSignature

getAnnotationPropertiesInSignature

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

componentsAnnotationsFirst, componentsWithoutAnnotations

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

annotations, annotations, getAnnotations, getAnnotations

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

getDirectImports, getDirectImportsDocuments

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

containsAxiom, containsAxiomIgnoreAnnotations, getAxiomCount, getAxiomCount, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getLogicalAxiomCount, getLogicalAxioms, getReferencingAxioms

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

axioms, axioms, axioms, axioms, axioms, axioms, axioms, axioms, axioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getAxiomsIgnoreAnnotations, getLogicalAxioms, getReferencingAxioms, getReferencingAxioms, logicalAxioms, referencingAxioms

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

getAxioms

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

getLogicalAxioms

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

equalAxioms, getAxioms

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

containsAnnotationPropertyInSignature, containsClassInSignature, containsDataPropertyInSignature, containsDatatypeInSignature, containsEntityInSignature, containsEntityInSignature, containsIndividualInSignature, containsObjectPropertyInSignature, containsReference, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getReferencedAnonymousIndividuals

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

annotationPropertiesInSignature, classesInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, entitiesInSignature, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getReferencedAnonymousIndividuals, getReferencedAnonymousIndividuals, individualsInSignature, objectPropertiesInSignature, referencedAnonymousIndividuals

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

getEntitiesInSignature

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.HasDatatypesInSignature

getDatatypesInSignature

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

getIndividualsInSignature

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

annotationAssertionAxioms, annotationAssertionAxioms, annotationPropertyDomainAxioms, annotationPropertyRangeAxioms, asymmetricObjectPropertyAxioms, axioms, axioms, axioms, classAssertionAxioms, classAssertionAxioms, dataPropertyAssertionAxioms, dataPropertyDomainAxioms, dataPropertyRangeAxioms, dataSubPropertyAxiomsForSubProperty, dataSubPropertyAxiomsForSuperProperty, datatypeDefinitions, 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, subAnnotationPropertyOfAxioms, subClassAxiomsForSubClass, subClassAxiomsForSuperClass, symmetricObjectPropertyAxioms, transitiveObjectPropertyAxioms

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

applyChanges

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

add

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

add, add

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

remove

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

remove, remove, remove

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

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLImmutableOntologyImpl

public OWLImmutableOntologyImpl(OWLOntologyManager manager,
                                OWLOntologyID ontologyID)

Parameters:

manager - ontology manager

ontologyID - ontology id

Method Detail

toString

public String toString()

Overrides:

toString in class OWLObjectImpl

getOWLOntologyManager

public OWLOntologyManager getOWLOntologyManager()

Specified by:

getOWLOntologyManager in interface OWLOntology

setOWLOntologyManager

public void setOWLOntologyManager(@Nullable
                                  OWLOntologyManager manager)

Specified by:

setOWLOntologyManager in interface OWLOntology

getOntologyID

public OWLOntologyID getOntologyID()

Specified by:

getOntologyID in interface HasOntologyID

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in interface IsAnonymous

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface OWLOntology

getAxiomCount

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

Specified by:

getAxiomCount in interface OWLAxiomCollection

getAxiomCount

public int getAxiomCount()

Specified by:

getAxiomCount in interface OWLAxiomCollection

containsAxiom

public boolean containsAxiom(OWLAxiom axiom)

Specified by:

containsAxiom in interface HasContainsAxiom

axioms

public java.util.stream.Stream<OWLAxiom> axioms()

Specified by:

axioms in interface HasAxioms

axioms

public <T extends OWLAxiom> java.util.stream.Stream<T> axioms(AxiomType<T> axiomType)

Specified by:

axioms in interface HasAxiomsByType

logicalAxioms

public java.util.stream.Stream<OWLLogicalAxiom> logicalAxioms()

Specified by:

logicalAxioms in interface HasLogicalAxioms

getLogicalAxiomCount

public int getLogicalAxiomCount()

Specified by:

getLogicalAxiomCount in interface OWLAxiomCollection

getAxiomCount

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

Specified by:

getAxiomCount in interface OWLAxiomCollection

getAxiomCount

public int getAxiomCount(Imports imports)

Specified by:

getAxiomCount in interface OWLAxiomCollection

tboxAxioms

public java.util.stream.Stream<OWLAxiom> tboxAxioms(Imports imports)

Specified by:

tboxAxioms in interface OWLOntology

aboxAxioms

public java.util.stream.Stream<OWLAxiom> aboxAxioms(Imports imports)

Specified by:

aboxAxioms in interface OWLOntology

rboxAxioms

public java.util.stream.Stream<OWLAxiom> rboxAxioms(Imports imports)

Specified by:

rboxAxioms in interface OWLOntology

getLogicalAxiomCount

public int getLogicalAxiomCount(Imports imports)

Specified by:

getLogicalAxiomCount in interface OWLAxiomCollection

annotations

public java.util.stream.Stream<OWLAnnotation> annotations()

Specified by:

annotations in interface HasAnnotations

generalClassAxioms

public java.util.stream.Stream<OWLClassAxiom> generalClassAxioms()

Specified by:

generalClassAxioms in interface OWLOntology

containsAxiom

public boolean containsAxiom(OWLAxiom axiom,
                             Imports imports,
                             AxiomAnnotations ignoreAnnotations)

Specified by:

containsAxiom in interface OWLAxiomCollection

axiomsIgnoreAnnotations

public java.util.stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom)

Specified by:

axiomsIgnoreAnnotations in interface OWLAxiomCollection

containsAxiomIgnoreAnnotations

public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)

Specified by:

containsAxiomIgnoreAnnotations in interface OWLAxiomCollection

axiomsIgnoreAnnotations

public java.util.stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom,
                                                                 Imports imports)

Specified by:

axiomsIgnoreAnnotations in interface OWLAxiomCollection

containsClassInSignature

public boolean containsClassInSignature(IRI iri,
                                        Imports imports)

Specified by:

containsClassInSignature in interface OWLSignature

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI iri,
                                                 Imports imports)

Specified by:

containsObjectPropertyInSignature in interface OWLSignature

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI iri,
                                               Imports imports)

Specified by:

containsDataPropertyInSignature in interface OWLSignature

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI iri,
                                                     Imports imports)

Specified by:

containsAnnotationPropertyInSignature in interface OWLSignature

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI iri,
                                             Imports imports)

Specified by:

containsIndividualInSignature in interface OWLSignature

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI iri,
                                           Imports imports)

Specified by:

containsDatatypeInSignature in interface OWLSignature

entitiesInSignature

public java.util.stream.Stream<OWLEntity> entitiesInSignature(IRI iri)

Specified by:

entitiesInSignature in interface HasGetEntitiesInSignature

getPunnedIRIs

public Set<IRI> getPunnedIRIs(Imports includeImportsClosure)

Specified by:

getPunnedIRIs in interface OWLSignature

containsReference

public boolean containsReference(OWLEntity entity,
                                 Imports includeImportsClosure)

Specified by:

containsReference in interface OWLSignature

isDeclared

public boolean isDeclared(OWLEntity owlEntity)

Specified by:

isDeclared in interface OWLOntology

containsEntityInSignature

public boolean containsEntityInSignature(OWLEntity owlEntity)

Specified by:

containsEntityInSignature in interface HasContainsEntityInSignature

Overrides:

containsEntityInSignature in class OWLObjectImpl

signature

public java.util.stream.Stream<OWLEntity> signature()

Specified by:

signature in interface HasSignature

Overrides:

signature in class OWLObjectImpl

anonymousIndividuals

public java.util.stream.Stream<OWLAnonymousIndividual> anonymousIndividuals()

Specified by:

anonymousIndividuals in interface HasAnonymousIndividuals

Overrides:

anonymousIndividuals in class OWLObjectImpl

classesInSignature

public java.util.stream.Stream<OWLClass> classesInSignature()

Specified by:

classesInSignature in interface HasClassesInSignature

Overrides:

classesInSignature in class OWLObjectImpl

dataPropertiesInSignature

public java.util.stream.Stream<OWLDataProperty> dataPropertiesInSignature()

Specified by:

dataPropertiesInSignature in interface HasDataPropertiesInSignature

Overrides:

dataPropertiesInSignature in class OWLObjectImpl

objectPropertiesInSignature

public java.util.stream.Stream<OWLObjectProperty> objectPropertiesInSignature()

Specified by:

objectPropertiesInSignature in interface HasObjectPropertiesInSignature

Overrides:

objectPropertiesInSignature in class OWLObjectImpl

individualsInSignature

public java.util.stream.Stream<OWLNamedIndividual> individualsInSignature()

Specified by:

individualsInSignature in interface HasIndividualsInSignature

Overrides:

individualsInSignature in class OWLObjectImpl

datatypesInSignature

public java.util.stream.Stream<OWLDatatype> datatypesInSignature()

Specified by:

datatypesInSignature in interface HasDatatypesInSignature

Overrides:

datatypesInSignature in class OWLObjectImpl

referencedAnonymousIndividuals

public java.util.stream.Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals()

Specified by:

referencedAnonymousIndividuals in interface OWLSignature

annotationPropertiesInSignature

public java.util.stream.Stream<OWLAnnotationProperty> annotationPropertiesInSignature()

Specified by:

annotationPropertiesInSignature in interface HasAnnotationPropertiesInSignature

Overrides:

annotationPropertiesInSignature in class OWLObjectImpl

importsDeclarations

public java.util.stream.Stream<OWLImportsDeclaration> importsDeclarations()

Specified by:

importsDeclarations in interface OWLOntology

directImportsDocuments

public java.util.stream.Stream<IRI> directImportsDocuments()

Specified by:

directImportsDocuments in interface HasDirectImports

imports

public java.util.stream.Stream<OWLOntology> imports()

Specified by:

imports in interface OWLOntology

directImports

public java.util.stream.Stream<OWLOntology> directImports()

Specified by:

directImports in interface HasDirectImports

importsClosure

public java.util.stream.Stream<OWLOntology> importsClosure()

Specified by:

importsClosure in interface HasImportsClosure

axioms

public java.util.stream.Stream<OWLClassAxiom> axioms(OWLClass cls)

Specified by:

axioms in interface OWLAxiomCollection

axioms

public java.util.stream.Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property)

Specified by:

axioms in interface OWLAxiomCollection

axioms

public java.util.stream.Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property)

Specified by:

axioms in interface OWLAxiomCollection

axioms

public java.util.stream.Stream<OWLIndividualAxiom> axioms(OWLIndividual individual)

Specified by:

axioms in interface OWLAxiomCollection

axioms

public java.util.stream.Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype)

Specified by:

axioms in interface OWLAxiomCollection

referencingAxioms

public java.util.stream.Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlEntity)

Specified by:

referencingAxioms in interface OWLAxiomCollection

axioms

public <A extends OWLAxiom> java.util.stream.Stream<A> axioms(Class<A> type,
                                                              Class<? extends OWLObject> explicitClass,
                                                              OWLObject entity,
                                                              Navigation forSubPosition)

Specified by:

axioms in interface OWLAxiomIndex

axioms

public <T extends OWLAxiom> java.util.stream.Stream<T> axioms(OWLAxiomSearchFilter filter,
                                                              Object key,
                                                              Imports imports)

Specified by:

axioms in interface OWLAxiomIndex

axioms

public <T extends OWLAxiom> java.util.stream.Stream<T> axioms(OWLAxiomSearchFilter filter,
                                                              Object key)

Specified by:

axioms in interface OWLAxiomIndex

contains

public boolean contains(OWLAxiomSearchFilter filter,
                        Object key)

Specified by:

contains in interface OWLAxiomIndex

contains

public boolean contains(OWLAxiomSearchFilter filter,
                        Object key,
                        Imports imports)

Specified by:

contains in interface OWLAxiomIndex

containsDatatypeInSignature

public boolean containsDatatypeInSignature(IRI iri)

Specified by:

containsDatatypeInSignature in interface OWLSignature

containsClassInSignature

public boolean containsClassInSignature(IRI iri)

Specified by:

containsClassInSignature in interface OWLSignature

containsObjectPropertyInSignature

public boolean containsObjectPropertyInSignature(IRI iri)

Specified by:

containsObjectPropertyInSignature in interface OWLSignature

containsDataPropertyInSignature

public boolean containsDataPropertyInSignature(IRI iri)

Specified by:

containsDataPropertyInSignature in interface OWLSignature

containsAnnotationPropertyInSignature

public boolean containsAnnotationPropertyInSignature(IRI iri)

Specified by:

containsAnnotationPropertyInSignature in interface OWLSignature

containsIndividualInSignature

public boolean containsIndividualInSignature(IRI iri)

Specified by:

containsIndividualInSignature in interface OWLSignature

containsReference

public boolean containsReference(OWLEntity entity)

Specified by:

containsReference in interface OWLSignature