public class OWLImmutableOntologyImpl extends OWLAxiomIndexImpl implements OWLOntology, Serializable
Constructor and Description |
---|
OWLImmutableOntologyImpl(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
aboxAxioms(Imports imports)
Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the
AxiomType::ABoxAxiomTypes.
|
Stream<OWLAnnotationProperty> |
annotationPropertiesInSignature() |
Stream<OWLAnnotation> |
annotations() |
List<OWLAnnotation> |
annotationsAsList() |
Stream<OWLAnonymousIndividual> |
anonymousIndividuals() |
Stream<OWLAxiom> |
axioms() |
<T extends OWLAxiom> |
axioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<A extends OWLAxiom> |
axioms(Class<A> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
axioms(OWLAxiomSearchFilter filter,
Object key)
Generic filter type for further refining search by axiom type.
|
<T extends OWLAxiom> |
axioms(OWLAxiomSearchFilter filter,
Object key,
Imports imports)
Generic filter type for further refining search by axiom type.
|
Stream<OWLClassAxiom> |
axioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
Stream<OWLDataPropertyAxiom> |
axioms(OWLDataProperty property)
Gets the axioms that form the definition/description of a data property.
|
Stream<OWLDatatypeDefinitionAxiom> |
axioms(OWLDatatype datatype)
Gets the datatype definition axioms for the specified datatype.
|
Stream<OWLIndividualAxiom> |
axioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
Stream<OWLObjectPropertyAxiom> |
axioms(OWLObjectPropertyExpression property)
Gets the axioms that form the definition/description of an object property.
|
Stream<OWLAxiom> |
axiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
Stream<OWLAxiom> |
axiomsIgnoreAnnotations(OWLAxiom axiom,
Imports imports)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
Stream<OWLClassAssertionAxiom> |
classAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified class expression, ce , a type for some individual. |
Stream<OWLClass> |
classesInSignature() |
boolean |
contains(OWLAxiomSearchFilter filter,
Object key)
Generic containment check type for further refining search by axiom type.
|
boolean |
contains(OWLAxiomSearchFilter filter,
Object key,
Imports imports)
Generic containment check type for further refining search by axiom type.
|
boolean |
containsAnnotationPropertyInSignature(IRI iri)
Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
|
boolean |
containsAnnotationPropertyInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
|
boolean |
containsAxiom(OWLAxiom axiom)
Determines whether or not this object contains a particular
OWLAxiom . |
boolean |
containsAxiom(OWLAxiom axiom,
Imports imports,
AxiomAnnotations ignoreAnnotations)
Determines if this ontology contains the specified axiom, optionally including the imports
closure.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.
|
boolean |
containsClassInSignature(IRI iri)
Determines if the signature contains an OWLClass that has the specified IRI.
|
boolean |
containsClassInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLClass that has the specified IRI.
|
boolean |
containsDataPropertyInSignature(IRI iri)
Determines if the signature contains an OWLDataProperty that has the specified IRI.
|
boolean |
containsDataPropertyInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLDataProperty that has the specified IRI.
|
boolean |
containsDatatypeInSignature(IRI iri)
Determines if the signature contains an OWLDatatype that has the specified IRI.
|
boolean |
containsDatatypeInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLDatatype that has the specified IRI.
|
boolean |
containsEntitiesOfTypeInSignature(EntityType<?> type)
Determine whether the instance has entities of the specified type in its signature - e.g.,
whether an ontology has classes, object properties, or named individuals in its signature.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity)
Determines if the signature of this object contains the specified entity.
|
boolean |
containsIndividualInSignature(IRI iri)
Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
|
boolean |
containsIndividualInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
|
boolean |
containsObjectPropertyInSignature(IRI iri)
Determines if the signature contains an OWLObjectProperty that has the specified IRI.
|
boolean |
containsObjectPropertyInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLObjectProperty that has the specified IRI.
|
boolean |
containsReference(OWLEntity entity) |
boolean |
containsReference(OWLEntity entity,
Imports includeImportsClosure) |
Stream<OWLDataProperty> |
dataPropertiesInSignature() |
Stream<OWLDatatype> |
datatypesInSignature() |
Stream<OWLOntology> |
directImports()
Stream of loaded ontologies that this ontology is related to via the directlyImports
relation.
|
Stream<IRI> |
directImportsDocuments()
The stream of document IRIs that are directly imported by this ontology.
|
Stream<OWLEntity> |
entitiesInSignature(IRI iri) |
boolean |
equalAxioms(HasAxiomsByType o)
Compare the axioms inside this object with the axioms inside the other object, shortcutting
by type; it will not merge all axioms in a large lump for comparisons only
|
Stream<OWLClassAxiom> |
generalClassAxioms()
Gets the stream of general axioms in this ontology.
|
int |
getAxiomCount() |
<T extends OWLAxiom> |
getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
<T extends OWLAxiom> |
getAxiomCount(AxiomType<T> axiomType,
Imports imports)
Gets the axiom count of a specific type of axiom, optionally including the imports closure.
|
int |
getAxiomCount(Imports imports) |
int |
getLogicalAxiomCount()
Gets the number of logical axioms in this collection.
|
int |
getLogicalAxiomCount(Imports imports)
Gets the number of logical axioms in this collection, optionally including the imports
closure.
|
OWLOntologyID |
getOntologyID()
Gets the
OWLOntologyID belonging to this object. |
OWLOntologyManager |
getOWLOntologyManager()
Gets the manager that manages this ontology.
|
Set<IRI> |
getPunnedIRIs(Imports includeImportsClosure)
Calculates the set of IRIs that are used for more than one entity type.
|
Stream<OWLOntology> |
imports()
Gets the stream of loaded ontologies that this ontology is related to via the
transitive closure of the
directlyImports relation.
For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C. |
Stream<OWLOntology> |
importsClosure()
Gets the imports closure, including the root object.
|
Stream<OWLImportsDeclaration> |
importsDeclarations()
Gets the stream of imports declarations for this ontology.
|
Stream<OWLNamedIndividual> |
individualsInSignature() |
boolean |
isAnonymous() |
boolean |
isDeclared(OWLEntity owlEntity)
Determines if this ontology declares an entity i.e.
|
boolean |
isEmpty()
Determines if this ontology is empty - an ontology is empty if it does not contain any axioms
(i.e.
|
Stream<OWLLogicalAxiom> |
logicalAxioms() |
Stream<OWLObjectProperty> |
objectPropertiesInSignature() |
Stream<OWLAxiom> |
rboxAxioms(Imports imports)
Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the
AxiomType::RBoxAxiomTypes.
|
Stream<OWLAnonymousIndividual> |
referencedAnonymousIndividuals()
Gets the referenced anonymous individuals.
|
Stream<OWLAxiom> |
referencingAxioms(OWLPrimitive owlEntity)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
void |
setOWLOntologyManager(OWLOntologyManager manager)
Sets the manager for this ontology.
|
Stream<OWLEntity> |
signature() |
Stream<OWLAxiom> |
tboxAxioms(Imports imports)
Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the
AxiomType::TBoxAxiomTypes.
|
String |
toString() |
Stream<OWLEntity> |
unsortedSignature() |
annotationPropertyDomainAxioms, annotationPropertyRangeAxioms, datatypeDefinitions, subAnnotationPropertyOfAxioms, trimToSize
compareTo, equals, hashCode, nestedClassExpressions
accept, accept, accept, accept, addAxiom, addAxioms, addAxioms, addAxioms, applyChange, applyChangesAndGetDetails, applyDirectChange, components, getABoxAxioms, getFormat, getGeneralClassAxioms, getImports, getImportsDeclarations, getNonnullFormat, getRBoxAxioms, getSignature, getTBoxAxioms, hashIndex, initHashCode, isAxiom, isDeclared, isIndividual, isOntology, removeAxiom, removeAxioms, removeAxioms, removeAxioms, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, saveOntology, signature, typeIndex
getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isTopEntity, nestedClassExpressions
compareTo
getSignature
getAnonymousIndividuals
componentsAnnotationsFirst, componentsWithoutAnnotations
isNamed
annotations, annotations, getAnnotations, getAnnotations
getDirectImports, getDirectImportsDocuments
containsAxiom, containsAxiomIgnoreAnnotations, getAxiomCount, getAxiomCount, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxioms, getAxiomsIgnoreAnnotations, getLogicalAxiomCount, getLogicalAxioms, getReferencingAxioms
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
getLogicalAxioms
getAxioms
containsAnnotationPropertyInSignature, containsClassInSignature, containsDataPropertyInSignature, containsDatatypeInSignature, containsEntityInSignature, containsEntityInSignature, containsIndividualInSignature, containsObjectPropertyInSignature, containsReference, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getReferencedAnonymousIndividuals
annotationPropertiesInSignature, classesInSignature, containsEntitiesOfTypeInSignature, containsEntityInSignature, containsEntityInSignature, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, entitiesInSignature, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getEntitiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getReferencedAnonymousIndividuals, getReferencedAnonymousIndividuals, individualsInSignature, objectPropertiesInSignature, referencedAnonymousIndividuals
getEntitiesInSignature
getClassesInSignature
getAnnotationPropertiesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
annotationAssertionAxioms, annotationAssertionAxioms, annotationPropertyDomainAxioms, annotationPropertyRangeAxioms, asymmetricObjectPropertyAxioms, axioms, axioms, axioms, 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
applyChanges, applyChanges, applyChangesAndGetDetails
add
add, add
remove
remove, remove, remove
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLImmutableOntologyImpl(OWLOntologyManager manager, OWLOntologyID ontologyID)
manager
- ontology managerontologyID
- ontology idpublic String toString()
toString
in class OWLObjectImpl
public OWLOntologyManager getOWLOntologyManager()
OWLOntology
getOWLOntologyManager
in interface OWLOntology
public void setOWLOntologyManager(@Nullable OWLOntologyManager manager)
OWLOntology
setOWLOntologyManager
in interface OWLOntology
manager
- the new manager for this ontologypublic OWLOntologyID getOntologyID()
HasOntologyID
OWLOntologyID
belonging to this object.getOntologyID
in interface HasOntologyID
OWLOntologyID
public boolean isAnonymous()
isAnonymous
in interface IsAnonymous
true
if this object is anonymous, false
otherwise. For example, class
expressions are anonymous while class entities are not (they have an IRI);
OWLNamedIndividual
instances are named, OWLAnonymousIndividual
instances are anonymous. An ontology is anonymous if it does not have an ontology
IRI. In this case, getOntologyID().getOntologyIRI() will return an empty optional.public boolean isEmpty()
OWLOntology
HasAxioms.axioms()
is empty), and it does not have any annotations (i.e.
HasAnnotations.annotations()
is empty).isEmpty
in interface OWLOntology
true
if the ontology is empty, otherwise false
.public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
OWLAxiomCollection
getAxiomCount
in interface OWLAxiomCollection
T
- axiom type classaxiomType
- The type of axiom to countpublic int getAxiomCount()
getAxiomCount
in interface OWLAxiomCollection
public boolean containsAxiom(OWLAxiom axiom)
HasContainsAxiom
OWLAxiom
.containsAxiom
in interface HasContainsAxiom
axiom
- The OWLAxiom
to test for.true
if this object contains axiom
, otherwise false
.public boolean equalAxioms(HasAxiomsByType o)
HasAxiomsByType
equalAxioms
in interface HasAxiomsByType
o
- other object to comparepublic <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType)
HasAxiomsByType
axioms
in interface HasAxiomsByType
T
- axiom typeaxiomType
- The type of axioms to be retrieved.public Stream<OWLLogicalAxiom> logicalAxioms()
logicalAxioms
in interface HasLogicalAxioms
OWLLogicalAxiom
s that are contained within this object.public int getLogicalAxiomCount()
OWLAxiomCollection
getLogicalAxiomCount
in interface OWLAxiomCollection
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, Imports imports)
OWLAxiomCollection
getAxiomCount
in interface OWLAxiomCollection
T
- axiom typeaxiomType
- The type of axiom to countimports
- if INCLUDED, include imports closure.public int getAxiomCount(Imports imports)
getAxiomCount
in interface OWLAxiomCollection
imports
- if INCLUDED, include imports closure.public Stream<OWLAxiom> tboxAxioms(Imports imports)
OWLOntology
tboxAxioms
in interface OWLOntology
imports
- if INCLUDED, the imports closure is included.public Stream<OWLAxiom> aboxAxioms(Imports imports)
OWLOntology
aboxAxioms
in interface OWLOntology
imports
- if INCLUDED, the imports closure is included.public Stream<OWLAxiom> rboxAxioms(Imports imports)
OWLOntology
rboxAxioms
in interface OWLOntology
imports
- if INCLUDED, the imports closure is included.public int getLogicalAxiomCount(Imports imports)
OWLAxiomCollection
getLogicalAxiomCount
in interface OWLAxiomCollection
imports
- if INCLUDED, include imports closure.public Stream<OWLAnnotation> annotations()
annotations
in interface HasAnnotations
public List<OWLAnnotation> annotationsAsList()
annotationsAsList
in interface HasAnnotations
public Stream<OWLClassAxiom> generalClassAxioms()
OWLOntology
OWLClass
es)OWLClass
es)generalClassAxioms
in interface OWLOntology
public boolean containsAxiom(OWLAxiom axiom, Imports imports, AxiomAnnotations ignoreAnnotations)
OWLAxiomCollection
containsAxiom
in interface OWLAxiomCollection
axiom
- The axiom to search.imports
- if INCLUDED, include imports closure.ignoreAnnotations
- if IGNORE_ANNOTATIONS, annotations are ignored when searching for
the axiom. For example, if the collection contains
SubClassOf(Annotation(p V) A B)
then this method will return true
if
the ontology contains SubClassOf(A B)
or
SubClassOf(Annotation(q S) A B)
for any annotation property q
and any
annotation value S
.true
if the ontology contains the specified axiom.public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom)
OWLAxiomCollection
axiomsIgnoreAnnotations
in interface OWLAxiomCollection
axiom
- The axiom that the returned axioms must equal, ignoring annotations.axiomA
and axiomB
,
axiomA.getAxiomWithoutAnnotations()
is equal to axiomB.getAxiomWithoutAnnotations()
. The specified axiom will be contained in the stream.public boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)
OWLAxiomCollection
containsAxiomIgnoreAnnotations
in interface OWLAxiomCollection
axiom
- The axiom to search.true
if the ontology contains the specified axiom.public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom, Imports imports)
OWLAxiomCollection
axiomsIgnoreAnnotations
in interface OWLAxiomCollection
axiom
- The axiom that the returned axioms must equal, ignoring annotations.imports
- if INCLUDED, include imports closure.axiomA
and axiomB
,
axiomA.getAxiomWithoutAnnotations()
is equal to axiomB.getAxiomWithoutAnnotations()
. The specified axiom will be contained in the stream.public boolean containsClassInSignature(IRI iri, Imports imports)
OWLSignature
containsClassInSignature
in interface OWLSignature
iri
- The IRI of the class to check forimports
- if INCLUDED, include imports closure.public boolean containsObjectPropertyInSignature(IRI iri, Imports imports)
OWLSignature
containsObjectPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLObjectProperty to check forimports
- if INCLUDED, include imports closure.public boolean containsDataPropertyInSignature(IRI iri, Imports imports)
OWLSignature
containsDataPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLDataProperty to check forimports
- if INCLUDED, include imports closure.public boolean containsAnnotationPropertyInSignature(IRI iri, Imports imports)
OWLSignature
containsAnnotationPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLAnnotationProperty to check forimports
- if INCLUDED, include imports closure.public boolean containsIndividualInSignature(IRI iri, Imports imports)
OWLSignature
containsIndividualInSignature
in interface OWLSignature
iri
- The IRI of the OWLNamedIndividual to check forimports
- if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(IRI iri, Imports imports)
OWLSignature
containsDatatypeInSignature
in interface OWLSignature
iri
- The IRI of the OWLDatatype to check forimports
- if INCLUDED, include imports closure.public boolean containsEntitiesOfTypeInSignature(EntityType<?> type)
OWLSignature
containsEntitiesOfTypeInSignature
in interface OWLSignature
type
- type of entity to checkpublic Stream<OWLEntity> entitiesInSignature(IRI iri)
entitiesInSignature
in interface HasGetEntitiesInSignature
iri
- IRI for all entities to retrievepublic Stream<OWLEntity> unsortedSignature()
unsortedSignature
in interface HasSignature
public Set<IRI> getPunnedIRIs(Imports includeImportsClosure)
OWLSignature
getPunnedIRIs
in interface OWLSignature
includeImportsClosure
- if INCLUDED, include imports closure.public boolean containsReference(OWLEntity entity, Imports includeImportsClosure)
containsReference
in interface OWLSignature
entity
- entity to checkincludeImportsClosure
- if INCLUDED, include imports closure.public boolean isDeclared(OWLEntity owlEntity)
OWLOntology
isDeclared
in interface OWLOntology
owlEntity
- The entity to be tested fortrue
if the ontology contains a declaration for the specified entity,
otherwise false
.public boolean containsEntityInSignature(OWLEntity owlEntity)
HasContainsEntityInSignature
containsEntityInSignature
in interface HasContainsEntityInSignature
containsEntityInSignature
in class OWLObjectImpl
owlEntity
- The entitytrue
if the signature of this object contains owlEntity
, otherwise
false
public Stream<OWLEntity> signature()
signature
in interface HasSignature
signature
in class OWLObjectImpl
public Stream<OWLAnonymousIndividual> anonymousIndividuals()
anonymousIndividuals
in interface HasAnonymousIndividuals
anonymousIndividuals
in class OWLObjectImpl
public Stream<OWLClass> classesInSignature()
classesInSignature
in interface HasClassesInSignature
classesInSignature
in class OWLObjectImpl
public Stream<OWLDataProperty> dataPropertiesInSignature()
dataPropertiesInSignature
in interface HasDataPropertiesInSignature
dataPropertiesInSignature
in class OWLObjectImpl
public Stream<OWLObjectProperty> objectPropertiesInSignature()
objectPropertiesInSignature
in interface HasObjectPropertiesInSignature
objectPropertiesInSignature
in class OWLObjectImpl
public Stream<OWLNamedIndividual> individualsInSignature()
individualsInSignature
in interface HasIndividualsInSignature
individualsInSignature
in class OWLObjectImpl
public Stream<OWLDatatype> datatypesInSignature()
datatypesInSignature
in interface HasDatatypesInSignature
datatypesInSignature
in class OWLObjectImpl
public Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals()
OWLSignature
referencedAnonymousIndividuals
in interface OWLSignature
public Stream<OWLAnnotationProperty> annotationPropertiesInSignature()
annotationPropertiesInSignature
in interface HasAnnotationPropertiesInSignature
annotationPropertiesInSignature
in class OWLObjectImpl
public Stream<OWLImportsDeclaration> importsDeclarations()
OWLOntology
importsDeclarations
in interface OWLOntology
public Stream<IRI> directImportsDocuments()
HasDirectImports
directImportsDocuments
in interface HasDirectImports
public Stream<OWLOntology> imports()
OWLOntology
imports
in interface OWLOntology
public Stream<OWLOntology> directImports()
HasDirectImports
HasDirectImports.getDirectImportsDocuments()
method. This will be the
case if some of the ontologies that are directly imported by this ontology are not loaded for
what ever reason.directImports
in interface HasDirectImports
public Stream<OWLOntology> importsClosure()
HasImportsClosure
importsClosure
in interface HasImportsClosure
public Stream<OWLClassAxiom> axioms(OWLClass cls)
OWLAxiomCollection
axioms
in interface OWLAxiomCollection
cls
- The class whose describing axioms are to be retrieved.public Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property)
OWLAxiomCollection
axioms
in interface OWLAxiomCollection
property
- The property whose defining axioms are to be retrieved.public Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property)
OWLAxiomCollection
axioms
in interface OWLAxiomCollection
property
- The property whose defining axioms are to be retrieved.public Stream<OWLIndividualAxiom> axioms(OWLIndividual individual)
OWLAxiomCollection
axioms
in interface OWLAxiomCollection
individual
- The individual whose defining axioms are to be retrieved.public Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype)
OWLAxiomCollection
axioms
in interface OWLAxiomCollection
datatype
- The datatypepublic Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlEntity)
OWLAxiomCollection
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.referencingAxioms
in interface OWLAxiomCollection
owlEntity
- The entity that should be directly referred to by all axioms in the results
set.public Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)
OWLAxiomIndex
OWLClassAssertionAxiom
objects contained in this ontology that make the
specified class expression, ce
, a type for some individual.classAssertionAxioms
in interface OWLAxiomIndex
ce
- The class expression that the returned axioms make a type for some individual.public <A extends OWLAxiom> Stream<A> axioms(Class<A> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
OWLAxiomIndex
axioms
in interface OWLAxiomIndex
A
- type of returned axiomstype
- type of axiomsexplicitClass
- for overlapping indexes in the ontology internals, an explicit class
rather than the entity class might be necessaryentity
- referred entity (OWLPrimitive or property/class expression)forSubPosition
- for sub axioms (subclass, subproperty), the value specifies whether
entity should appear as sub or super entity in the axioms returned. For axiom types
that have no sub/super entities, this parameter is ignored.public <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key, Imports imports)
OWLAxiomIndex
axioms
in interface OWLAxiomIndex
T
- type of returned axiomsfilter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.imports
- if INCLUDED, include imports closure.public <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key)
OWLAxiomIndex
axioms
in interface OWLAxiomIndex
T
- type of returned axiomsfilter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.public boolean contains(OWLAxiomSearchFilter filter, Object key)
OWLAxiomIndex
contains
in interface OWLAxiomIndex
filter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.public boolean contains(OWLAxiomSearchFilter filter, Object key, Imports imports)
OWLAxiomIndex
contains
in interface OWLAxiomIndex
filter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.imports
- if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(IRI iri)
OWLSignature
containsDatatypeInSignature
in interface OWLSignature
iri
- The IRI of the OWLDatatype to check forpublic boolean containsClassInSignature(IRI iri)
OWLSignature
containsClassInSignature
in interface OWLSignature
iri
- The IRI of the class to check forpublic boolean containsObjectPropertyInSignature(IRI iri)
OWLSignature
containsObjectPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLObjectProperty to check forpublic boolean containsDataPropertyInSignature(IRI iri)
OWLSignature
containsDataPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLDataProperty to check forpublic boolean containsAnnotationPropertyInSignature(IRI iri)
OWLSignature
containsAnnotationPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLAnnotationProperty to check forpublic boolean containsIndividualInSignature(IRI iri)
OWLSignature
containsIndividualInSignature
in interface OWLSignature
iri
- The IRI of the OWLNamedIndividual to check forpublic boolean containsReference(OWLEntity entity)
containsReference
in interface OWLSignature
entity
- entity to checkCopyright © 2020 The University of Manchester. All rights reserved.