public class ConcurrentOWLOntologyImpl extends Object implements OWLMutableOntology, HasTrimToSize
| Constructor and Description |
|---|
ConcurrentOWLOntologyImpl(OWLOntology delegate,
ReadWriteLock readWriteLock)
Constructs a ConcurrentOWLOntology that provides concurrent access to a delegate
OWLOntology. |
| 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.
|
void |
accept(OWLNamedObjectVisitor owlNamedObjectVisitor)
accept for named object visitor
|
<O> O |
accept(OWLNamedObjectVisitorEx<O> owlNamedObjectVisitorEx)
Accepts a visitor
|
void |
accept(OWLObjectVisitor owlObjectVisitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> owlObjectVisitorEx)
Accepts a visitor
|
ChangeApplied |
add(Collection<? extends OWLAxiom> set)
A convenience method that adds a set of axioms to an ontology.
|
ChangeApplied |
add(OWLAxiom... set)
A convenience method that adds a set of axioms to an ontology.
|
ChangeApplied |
add(OWLAxiom owlAxiom)
A convenience method that adds a single axiom to an ontology.
|
ChangeApplied |
addAxiom(OWLAxiom owlAxiom)
A convenience method that adds a single axiom to an ontology.
|
ChangeApplied |
addAxioms(Collection<? extends OWLAxiom> set)
A convenience method that adds a set of axioms to an ontology.
|
ChangeApplied |
addAxioms(OWLAxiom... set)
A convenience method that adds a set of axioms to an ontology.
|
Stream<OWLAnnotationAssertionAxiom> |
annotationAssertionAxioms(OWLAnnotationSubject entity)
Gets the axioms that annotate the specified entity.
|
Stream<OWLAnnotationAssertionAxiom> |
annotationAssertionAxioms(OWLAnnotationSubject entity,
Imports imports)
Gets the axioms that annotate the specified entity.
|
Stream<OWLAnnotationProperty> |
annotationPropertiesInSignature()
A convenience method that obtains the annotation properties that are in
the signature of this object.
|
Stream<OWLAnnotationProperty> |
annotationPropertiesInSignature(Imports imports)
Gets the annotation properties in the signature and optionally the imports closure.
|
Stream<OWLAnnotationPropertyDomainAxiom> |
annotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
Gets the
OWLAnnotationPropertyDomainAxioms where the specified
property is the property in the domain axiom. |
Stream<OWLAnnotationPropertyRangeAxiom> |
annotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
Gets the
OWLAnnotationPropertyRangeAxioms where the specified
property is the property in the range axiom. |
Stream<OWLAnnotation> |
annotations() |
Stream<OWLAnnotation> |
annotations(OWLAnnotationProperty p) |
Stream<OWLAnnotation> |
annotations(Predicate<OWLAnnotation> p) |
List<OWLAnnotation> |
annotationsAsList() |
Stream<OWLAnonymousIndividual> |
anonymousIndividuals()
Gets the anonymous individuals occurring in this object.
|
ChangeApplied |
applyChange(OWLOntologyChange owlOntologyChange)
A convenience method that applies just one change to an ontology.
|
ChangeDetails |
applyChangesAndGetDetails(List<? extends OWLOntologyChange> list)
Applies a list ontology changes to a collection of ontologies.
|
ChangeApplied |
applyDirectChange(OWLOntologyChange change)
A convenience method that applies just one change to this ontology.
|
Stream<OWLAsymmetricObjectPropertyAxiom> |
asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxioms contained in this
ontology that make the specified object property asymmetric. |
Stream<OWLAxiom> |
axioms() |
<T extends OWLAxiom> |
axioms(AxiomType<T> axiomType)
Filter axioms according to the specified type.
|
<T extends OWLAxiom> |
axioms(AxiomType<T> axiomType,
Imports imports)
Gets all axioms of the specified type.
|
<T extends OWLAxiom> |
axioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation)
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(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: resutns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
<T extends OWLAxiom> |
axioms(Class<T> aClass,
OWLObject owlObject,
Imports imports,
Navigation navigation)
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(Class<T> type,
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.
|
Stream<OWLAxiom> |
axioms(Imports imports) |
Stream<OWLAnnotationAxiom> |
axioms(OWLAnnotationProperty owlAnnotationProperty)
Gets the axioms that form the definition/description of an annotation
property.
|
Stream<OWLAnnotationAxiom> |
axioms(OWLAnnotationProperty property,
Imports imports)
Gets the axioms that form the definition/description of an annotation
property.
|
<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 includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
Stream<OWLClassAxiom> |
axioms(OWLClass owlClass)
Gets the axioms that form the definition/description of a class.
|
Stream<OWLClassAxiom> |
axioms(OWLClass cls,
Imports imports)
Gets the axioms that form the definition/description of a class.
|
Stream<OWLDataPropertyAxiom> |
axioms(OWLDataProperty owlDataProperty)
Gets the axioms that form the definition/description of a data property.
|
Stream<OWLDataPropertyAxiom> |
axioms(OWLDataProperty property,
Imports imports)
Gets the axioms that form the definition/description of a data property.
|
Stream<OWLDatatypeDefinitionAxiom> |
axioms(OWLDatatype owlDatatype)
Gets the datatype definition axioms for the specified datatype.
|
Stream<OWLDatatypeDefinitionAxiom> |
axioms(OWLDatatype datatype,
Imports imports)
Gets the datatype definition axioms for the specified datatype.
|
Stream<OWLIndividualAxiom> |
axioms(OWLIndividual owlIndividual)
Gets the axioms that form the definition/description of an individual.
|
Stream<OWLIndividualAxiom> |
axioms(OWLIndividual individual,
Imports imports)
Gets the axioms that form the definition/description of an individual.
|
Stream<OWLObjectPropertyAxiom> |
axioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the axioms that form the definition/description of an object
property.
|
Stream<OWLObjectPropertyAxiom> |
axioms(OWLObjectPropertyExpression property,
Imports imports)
Gets the axioms that form the definition/description of an object
property.
|
Stream<OWLAxiom> |
axiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Gets the set 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 owlAxiom,
Imports imports)
Gets the set 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
OWLClassAssertionAxioms contained in this ontology that
make the specified class expression, ce, a type for some
individual. |
Stream<OWLClassAssertionAxiom> |
classAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxioms contained in this ontology that
make the specified individual an instance of some class
expression. |
Stream<OWLClass> |
classesInSignature() |
Stream<OWLClass> |
classesInSignature(Imports imports)
Gets the classes in the signature and optionally the imports closure.
|
int |
compareTo(OWLObject o) |
boolean |
contains(OWLAxiomSearchFilter owlAxiomSearchFilter,
Object o)
Generic containment check type for further refining search by axiom type.
|
boolean |
contains(OWLAxiomSearchFilter owlAxiomSearchFilter,
Object o,
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,
boolean b)
Deprecated.
|
boolean |
containsAnnotationPropertyInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
|
boolean |
containsAxiom(OWLAxiom owlAxiom)
Determines whether or not this object contains a particular
OWLAxiom. |
boolean |
containsAxiom(OWLAxiom owlAxiom,
boolean b)
Deprecated.
|
boolean |
containsAxiom(OWLAxiom owlAxiom,
Imports imports,
AxiomAnnotations axiomAnnotations)
Determines if this ontology contains the specified axiom, optionally
including the imports closure.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom)
Determines if this ontology contains the specified axiom.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom,
boolean b)
Deprecated.
|
boolean |
containsClassInSignature(IRI iri)
Determines if the signature contains an OWLClass that has the specified IRI.
|
boolean |
containsClassInSignature(IRI iri,
boolean b)
Deprecated.
|
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,
boolean b)
Deprecated.
|
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,
boolean b)
Deprecated.
|
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 propertyies, or named individuals in its signature.
|
boolean |
containsEntitiesOfTypeInSignature(EntityType<?> type,
Imports includeImportsClosure)
Determine whether the instance has entities of the specified type in its signature or in its
import closure - e.g., whether an ontology has classes, object propertyies, or named
individuals in its signature.
|
boolean |
containsEntityInSignature(IRI iri)
Determines if the signature contains an entity with the specified IRI.
|
boolean |
containsEntityInSignature(IRI iri,
boolean b)
Deprecated.
|
boolean |
containsEntityInSignature(IRI iri,
Imports imports)
Determines if the signature contains an entity with the specified IRI.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity)
Determines if the signature of this object contains the specified entity.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity,
boolean b)
Deprecated.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity,
Imports imports)
Determines if the signature contains the specified entity.
|
boolean |
containsIndividualInSignature(IRI iri)
Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
|
boolean |
containsIndividualInSignature(IRI iri,
boolean b)
Deprecated.
|
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,
boolean b)
Deprecated.
|
boolean |
containsObjectPropertyInSignature(IRI iri,
Imports imports)
Determines if the signature contains an OWLObjectProperty that has the specified IRI.
|
boolean |
containsReference(OWLEntity owlEntity) |
boolean |
containsReference(OWLEntity owlEntity,
boolean b)
Deprecated.
|
boolean |
containsReference(OWLEntity owlEntity,
Imports imports) |
Stream<OWLDataProperty> |
dataPropertiesInSignature() |
Stream<OWLDataProperty> |
dataPropertiesInSignature(Imports imports)
Gets the data properties in the signature and optionally the imports closure.
|
Stream<OWLDataPropertyAssertionAxiom> |
dataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom. |
Stream<OWLDataPropertyDomainAxiom> |
dataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxioms where the property is equal
to the specified property. |
Stream<OWLDataPropertyRangeAxiom> |
dataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxioms where the property is equal
to the specified property. |
Stream<OWLSubDataPropertyOfAxiom> |
dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxioms where the sub-property is
equal to the specified property. |
Stream<OWLSubDataPropertyOfAxiom> |
dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
Gets the
OWLSubDataPropertyOfAxioms where the super-property is
equal to the specified property. |
Stream<OWLDatatypeDefinitionAxiom> |
datatypeDefinitions(OWLDatatype datatype)
Gets the
OWLDatatypeDefinitionAxioms contained in this ontology
that provide a definition for the specified datatype. |
Stream<OWLDatatype> |
datatypesInSignature() |
Stream<OWLDatatype> |
datatypesInSignature(Imports imports)
Gets the datatypes in the signature and optionally the imports closure.
|
Stream<OWLDeclarationAxiom> |
declarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
Stream<OWLDifferentIndividualsAxiom> |
differentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxioms contained in this ontology
that make the specified individual different to some other
individual. |
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<OWLDisjointClassesAxiom> |
disjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
Stream<OWLDisjointDataPropertiesAxiom> |
disjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxioms that make the specified
property disjoint with some other data property expression(s). |
Stream<OWLDisjointObjectPropertiesAxiom> |
disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxioms that make the
specified property disjoint with some other object property
expression(s). |
Stream<OWLDisjointUnionAxiom> |
disjointUnionAxioms(OWLClass owlClass)
Gets the set of disjoint union axioms that have the specified class as
the named class that is equivalent to the disjoint union of operands.
|
Stream<OWLEntity> |
entitiesInSignature(IRI iri) |
Stream<OWLEntity> |
entitiesInSignature(IRI iri,
Imports imports)
Gets the entities in the signature that have the specified IRI.
|
boolean |
equals(Object obj) |
Stream<OWLEquivalentClassesAxiom> |
equivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
Stream<OWLEquivalentDataPropertiesAxiom> |
equivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxioms that make the
specified property equivalent to some other data property expression(s). |
Stream<OWLEquivalentObjectPropertiesAxiom> |
equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxioms that make the
specified property equivalent to some other object property
expression(s). |
<T extends OWLAxiom> |
filterAxioms(OWLAxiomSearchFilter filter,
Object key)
Deprecated.
|
<T extends OWLAxiom> |
filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter,
Object o,
Imports imports)
Deprecated.
|
Stream<OWLFunctionalDataPropertyAxiom> |
functionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the
OWLFunctionalDataPropertyAxioms contained in this
ontology that make the specified data property functional. |
Stream<OWLFunctionalObjectPropertyAxiom> |
functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxioms contained in this
ontology that make the specified object property functional. |
Stream<OWLClassAxiom> |
generalClassAxioms()
Gets the set of general axioms in this ontology.
|
Set<OWLAxiom> |
getABoxAxioms(Imports imports)
Deprecated.
|
Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject owlAnnotationSubject)
Deprecated.
|
Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject entity,
Imports imports)
Deprecated.
|
Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature()
Deprecated.
|
Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature(boolean b)
Deprecated.
|
Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature(Imports imports)
Deprecated.
|
Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
Deprecated.
|
Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
Deprecated.
|
Set<OWLAnnotation> |
getAnnotations()
Deprecated.
|
Set<OWLAnnotation> |
getAnnotations(OWLAnnotationProperty annotationProperty)
Deprecated.
|
Set<OWLAnonymousIndividual> |
getAnonymousIndividuals()
Deprecated.
|
Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
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,
boolean b)
Deprecated.
|
<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(boolean b)
Deprecated.
|
int |
getAxiomCount(Imports imports) |
Set<OWLAxiom> |
getAxioms()
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
boolean b)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
Imports imports)
Deprecated.
|
Set<OWLAxiom> |
getAxioms(boolean b)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(Class<T> aClass,
OWLObject owlObject,
Imports imports,
Navigation navigation)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition)
Deprecated.
|
Set<OWLAxiom> |
getAxioms(Imports imports)
Deprecated.
|
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty owlAnnotationProperty)
Deprecated.
|
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty owlAnnotationProperty,
boolean b)
Deprecated.
|
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty owlAnnotationProperty,
Imports imports)
Deprecated.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass owlClass)
Deprecated.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass owlClass,
boolean b)
Deprecated.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass owlClass,
Imports imports)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty owlDataProperty)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty owlDataProperty,
boolean b)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty owlDataProperty,
Imports imports)
Deprecated.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype owlDatatype)
Deprecated.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype owlDatatype,
boolean b)
Deprecated.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype owlDatatype,
Imports imports)
Deprecated.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual owlIndividual,
boolean b)
Gets the axioms that form the definition/description of an individual.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual owlIndividual,
Imports imports)
Deprecated.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
boolean b)
Deprecated.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
Imports imports)
Deprecated.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Deprecated.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
boolean b)
Deprecated.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
Imports imports)
Deprecated.
|
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClassExpression owlClassExpression)
Deprecated.
|
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLClass> |
getClassesInSignature()
Deprecated.
|
Set<OWLClass> |
getClassesInSignature(boolean b)
Deprecated.
|
Set<OWLClass> |
getClassesInSignature(Imports imports)
Deprecated.
|
Set<OWLDataProperty> |
getDataPropertiesInSignature()
Deprecated.
|
Set<OWLDataProperty> |
getDataPropertiesInSignature(boolean b)
Deprecated.
|
Set<OWLDataProperty> |
getDataPropertiesInSignature(Imports imports)
Deprecated.
|
Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty owlDataProperty)
Deprecated.
|
Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty owlDataProperty)
Deprecated.
|
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty owlDataProperty)
Deprecated.
|
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression owlDataPropertyExpression)
Deprecated.
|
Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype owlDatatype)
Deprecated.
|
Set<OWLDatatype> |
getDatatypesInSignature()
Deprecated.
|
Set<OWLDatatype> |
getDatatypesInSignature(boolean b)
Deprecated.
|
Set<OWLDatatype> |
getDatatypesInSignature(Imports imports)
Deprecated.
|
Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity owlEntity)
Deprecated.
|
Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLOntology> |
getDirectImports()
Deprecated.
|
Set<IRI> |
getDirectImportsDocuments()
Deprecated.
|
Set<OWLDisjointClassesAxiom> |
getDisjointClassesAxioms(OWLClass owlClass)
Deprecated.
|
Set<OWLDisjointDataPropertiesAxiom> |
getDisjointDataPropertiesAxioms(OWLDataProperty owlDataProperty)
Deprecated.
|
Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLDisjointUnionAxiom> |
getDisjointUnionAxioms(OWLClass owlClass)
Deprecated.
|
Set<OWLEntity> |
getEntitiesInSignature(IRI iri)
Deprecated.
|
Set<OWLEntity> |
getEntitiesInSignature(IRI iri,
boolean b)
Deprecated.
|
Set<OWLEntity> |
getEntitiesInSignature(IRI iri,
Imports imports)
Deprecated.
|
Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLClass owlClass)
Deprecated.
|
Set<OWLEquivalentDataPropertiesAxiom> |
getEquivalentDataPropertiesAxioms(OWLDataProperty owlDataProperty)
Deprecated.
|
Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
OWLDocumentFormat |
getFormat() |
Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression owlDataPropertyExpression)
Deprecated.
|
Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLClassAxiom> |
getGeneralClassAxioms()
Deprecated.
|
Set<OWLHasKeyAxiom> |
getHasKeyAxioms(OWLClass owlClass)
Deprecated.
|
Set<OWLOntology> |
getImports()
Deprecated.
|
Set<OWLOntology> |
getImportsClosure()
Deprecated.
|
Set<OWLImportsDeclaration> |
getImportsDeclarations()
Deprecated.
|
Set<OWLNamedIndividual> |
getIndividualsInSignature()
Deprecated.
|
Set<OWLNamedIndividual> |
getIndividualsInSignature(boolean b)
Deprecated.
|
Set<OWLNamedIndividual> |
getIndividualsInSignature(Imports imports)
Deprecated.
|
Set<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
int |
getLogicalAxiomCount()
Gets the number of logical axioms in this collection.
|
int |
getLogicalAxiomCount(boolean b)
Deprecated.
|
int |
getLogicalAxiomCount(Imports imports)
Gets the number of logical axioms in this collection, optionally
including the imports closure.
|
Set<OWLLogicalAxiom> |
getLogicalAxioms()
Deprecated.
|
Set<OWLLogicalAxiom> |
getLogicalAxioms(boolean b)
Deprecated.
|
Set<OWLLogicalAxiom> |
getLogicalAxioms(Imports imports)
Deprecated.
|
Set<OWLNegativeDataPropertyAssertionAxiom> |
getNegativeDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLNegativeObjectPropertyAssertionAxiom> |
getNegativeObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLClassExpression> |
getNestedClassExpressions()
Deprecated.
|
Set<OWLObjectProperty> |
getObjectPropertiesInSignature()
Deprecated.
|
Set<OWLObjectProperty> |
getObjectPropertiesInSignature(boolean b)
Deprecated.
|
Set<OWLObjectProperty> |
getObjectPropertiesInSignature(Imports imports)
Deprecated.
|
Set<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
OWLOntologyID |
getOntologyID()
Gets the
OWLOntologyID belonging to this object. |
OWLOntologyManager |
getOWLOntologyManager()
Gets the manager that manages this ontology.
|
Set<IRI> |
getPunnedIRIs(Imports imports)
Calculates the set of IRIs that are used for more than one entity type.
|
Set<OWLAxiom> |
getRBoxAxioms(Imports imports)
Deprecated.
|
Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals()
Deprecated.
|
Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals(boolean b)
Deprecated.
|
Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals(Imports imports)
Deprecated.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlPrimitive)
Deprecated.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlPrimitive,
boolean b)
Deprecated.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlPrimitive,
Imports imports)
Deprecated.
|
Set<OWLReflexiveObjectPropertyAxiom> |
getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLEntity> |
getSignature()
Deprecated.
|
Set<OWLEntity> |
getSignature(Imports imports)
Deprecated.
|
Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty owlAnnotationProperty)
Deprecated.
|
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSubClass(OWLClass owlClass)
Deprecated.
|
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSuperClass(OWLClass owlClass)
Deprecated.
|
Set<OWLSymmetricObjectPropertyAxiom> |
getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLAxiom> |
getTBoxAxioms(Imports imports)
Deprecated.
|
Set<OWLTransitiveObjectPropertyAxiom> |
getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
int |
hashCode() |
Stream<OWLHasKeyAxiom> |
hasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
Stream<OWLOntology> |
imports()
Gets the set 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 set of imports declarations for this ontology.
|
Stream<OWLNamedIndividual> |
individualsInSignature() |
Stream<OWLNamedIndividual> |
individualsInSignature(Imports imports)
Gets the named individuals in the signature and optionally the imports closure.
|
Stream<OWLInverseFunctionalObjectPropertyAxiom> |
inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxioms contained in
this ontology that make the specified object property inverse functional. |
Stream<OWLInverseObjectPropertiesAxiom> |
inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxioms where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.properties() . |
Stream<OWLIrreflexiveObjectPropertyAxiom> |
irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxioms contained in this
ontology that make the specified object property irreflexive. |
boolean |
isAnonymous() |
boolean |
isBottomEntity()
Determines if this object is either, owl:Nothing (the bottom class), owl:bottomObjectProperty
(the bottom object property) , owl:bottomDataProperty (the bottom data property).
|
boolean |
isDeclared(OWLEntity owlEntity)
Determines if this ontology declares an entity i.e.
|
boolean |
isDeclared(OWLEntity owlEntity,
Imports imports)
Determines if this ontology or its imports closure 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.
|
boolean |
isTopEntity()
Determines if this object is either, owl:Thing (the top class), owl:topObjectProperty (the
top object property) , owl:topDataProperty (the top data property) or rdfs:Literal (the top
datatype).
|
Stream<OWLLogicalAxiom> |
logicalAxioms() |
Stream<OWLLogicalAxiom> |
logicalAxioms(Imports imports)
Gets all axioms semantically relevant, i.e., all axioms that are not
annotation axioms or declaration axioms.
|
Stream<OWLNegativeDataPropertyAssertionAxiom> |
negativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom. |
Stream<OWLNegativeObjectPropertyAssertionAxiom> |
negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom. |
Stream<OWLClassExpression> |
nestedClassExpressions()
Gets all of the nested (includes top level) class expressions that are used in this object.
|
Stream<OWLObjectProperty> |
objectPropertiesInSignature() |
Stream<OWLObjectProperty> |
objectPropertiesInSignature(Imports imports)
Gets the object properties in the signature and optionally the imports closure.
|
Stream<OWLObjectPropertyAssertionAxiom> |
objectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom. |
Stream<OWLObjectPropertyDomainAxiom> |
objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxioms where the property is
equal to the specified property. |
Stream<OWLObjectPropertyRangeAxiom> |
objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom s where the property is
equal to the specified property. |
Stream<OWLSubObjectPropertyOfAxiom> |
objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Gets the
OWLSubObjectPropertyOfAxiom s where the sub-property is
equal to the specified property. |
Stream<OWLSubObjectPropertyOfAxiom> |
objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Gets the
OWLSubObjectPropertyOfAxiom s where the super-property
is equal to the specified property. |
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<OWLAnonymousIndividual> |
referencedAnonymousIndividuals(Imports imports)
Gets the referenced anonymous individuals in the signature and optionally the imports
closure.
|
Stream<OWLAxiom> |
referencingAxioms(OWLPrimitive owlPrimitive)
Gets the axioms where the specified
OWLPrimitive appears in the
signature of the axiom.Note that currently signatures contain OWLEntity only. |
Stream<OWLAxiom> |
referencingAxioms(OWLPrimitive owlPrimitive,
Imports imports)
Gets the axioms where the specified
OWLPrimitive appears in the
signature of the axiom.Note that currently signatures contain OWLEntity only. |
Stream<OWLReflexiveObjectPropertyAxiom> |
reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxioms contained in this
ontology that make the specified object property reflexive. |
ChangeApplied |
remove(Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
ChangeApplied |
remove(OWLAxiom... axioms)
A convenience method that removes a set of axioms from this object.
|
ChangeApplied |
remove(OWLAxiom axiom)
A convenience method that removes a single axiom from this object.
|
ChangeApplied |
removeAxiom(OWLAxiom axiom)
A convenience method that removes a single axiom from this object.
|
ChangeApplied |
removeAxioms(Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
ChangeApplied |
removeAxioms(OWLAxiom... axioms)
A convenience method that removes a set of axioms from this object.
|
Stream<OWLSameIndividualAxiom> |
sameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxioms contained in this ontology that
make the specified individual the same as some other individual. |
void |
saveOntology()
Saves the ontology.
|
void |
saveOntology(IRI iri)
Saves the ontology, using the specified document IRI to determine where/how the ontology
should be saved.
|
void |
saveOntology(OutputStream outputStream)
Saves the ontology, to the specified output stream
|
void |
saveOntology(OWLDocumentFormat owlDocumentFormat)
Saves the ontology in the specified ontology format to its document URI.
|
void |
saveOntology(OWLDocumentFormat owlDocumentFormat,
IRI iri)
Saves the ontology to the specified document IRI in the specified ontology format.
|
void |
saveOntology(OWLDocumentFormat owlDocumentFormat,
OutputStream outputStream)
Saves the ontology to the specified output stream in the specified ontology format.
|
void |
saveOntology(OWLDocumentFormat owlDocumentFormat,
OWLOntologyDocumentTarget owlOntologyDocumentTarget)
Saves the ontology to the specified output target in the specified ontology format.
|
void |
saveOntology(OWLOntologyDocumentTarget owlOntologyDocumentTarget)
Saves the ontology to the specified
OWLOntologyDocumentTarget. |
void |
setLock(ReadWriteLock lock)
Override the lock in the ontology; this is a workaround for #806
|
void |
setOWLOntologyManager(OWLOntologyManager owlOntologyManager)
Sets the manager for this ontology.
|
Stream<OWLEntity> |
signature() |
Stream<OWLEntity> |
signature(Imports imports)
Gets the entities that are in the signature of this ontology.
|
Stream<OWLSubAnnotationPropertyOfAxiom> |
subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the
SubAnnotationPropertyOfAxioms where the specified
property is the sub-property. |
Stream<OWLSubClassOfAxiom> |
subClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
Stream<OWLSubClassOfAxiom> |
subClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the
superclass) is equal to the specified class.
|
Stream<OWLSymmetricObjectPropertyAxiom> |
symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxioms contained in this
ontology that make the specified object property symmetric. |
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<OWLTransitiveObjectPropertyAxiom> |
transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxioms contained in this
ontology that make the specified object property transitive. |
void |
trimToSize()
Trim the capacity of the axiom indexes.
|
int |
typeIndex() |
addAxioms, components, getNonnullFormat, hashIndex, initHashCode, isAxiom, isIndividual, isOntology, removeAxiomshashIteration, hasSharedStructure, isAnonymousExpression, isIRIunsortedSignaturecomponentsAnnotationsFirst, componentsWithoutAnnotationsisNamedequalAxiomsapplyChanges, applyChanges, applyChangesAndGetDetailsremove@Inject public ConcurrentOWLOntologyImpl(OWLOntology delegate, ReadWriteLock readWriteLock)
OWLOntology.delegate - The delegate OWLOntology.readWriteLock - The ReadWriteLock that will provide
the locking.NullPointerException - if any parameters are null.public int typeIndex()
typeIndex in interface HasIndextypeIndex in interface OWLOntologypublic void setLock(ReadWriteLock lock)
OWLMutableOntologysetLock in interface OWLMutableOntologylock - overriding lock instance to usepublic void trimToSize()
HasTrimToSizetrimToSize in interface HasTrimToSizepublic void accept(OWLNamedObjectVisitor owlNamedObjectVisitor)
OWLOntologyaccept in interface OWLOntologyowlNamedObjectVisitor - the visitorpublic <O> O accept(OWLNamedObjectVisitorEx<O> owlNamedObjectVisitorEx)
OWLOntologyaccept in interface OWLOntologyO - visitor return typeowlNamedObjectVisitorEx - The visitorpublic OWLOntologyManager getOWLOntologyManager()
OWLOntologygetOWLOntologyManager in interface OWLOntologypublic void setOWLOntologyManager(@Nullable OWLOntologyManager owlOntologyManager)
OWLOntologysetOWLOntologyManager in interface OWLOntologyowlOntologyManager - the new manager for this ontologypublic OWLOntologyID getOntologyID()
HasOntologyIDOWLOntologyID belonging to this object.getOntologyID in interface HasOntologyIDOWLOntologyIDpublic boolean isAnonymous()
isAnonymous in interface IsAnonymoustrue 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.@Deprecated public Set<OWLAnnotation> getAnnotations()
HasAnnotationsgetAnnotations in interface HasAnnotations@Deprecated public Set<IRI> getDirectImportsDocuments()
HasDirectImportsgetDirectImportsDocuments in interface HasDirectImportspublic Stream<IRI> directImportsDocuments()
HasDirectImportsdirectImportsDocuments in interface HasDirectImports@Deprecated public Set<OWLOntology> getDirectImports()
HasDirectImportsHasDirectImports.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.getDirectImports in interface HasDirectImportspublic Stream<OWLOntology> directImports()
HasDirectImportsHasDirectImports.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@Deprecated public Set<OWLOntology> getImports()
OWLOntologygetImports in interface OWLOntologypublic Stream<OWLOntology> imports()
OWLOntologyimports in interface OWLOntology@Deprecated public Set<OWLOntology> getImportsClosure()
HasImportsClosuregetImportsClosure in interface HasImportsClosurepublic Stream<OWLOntology> importsClosure()
HasImportsClosureimportsClosure in interface HasImportsClosure@Deprecated public Set<OWLImportsDeclaration> getImportsDeclarations()
OWLOntologygetImportsDeclarations in interface OWLOntologypublic boolean isEmpty()
OWLOntologyHasAxioms.axioms() is empty), and it does not have any annotations (i.e.
HasAnnotations.annotations() is empty).isEmpty in interface OWLOntologytrue if the ontology is empty, otherwise false.@Deprecated public Set<OWLAxiom> getTBoxAxioms(Imports imports)
OWLOntologygetTBoxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.@Deprecated public Set<OWLAxiom> getABoxAxioms(Imports imports)
OWLOntologygetABoxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.@Deprecated public Set<OWLAxiom> getRBoxAxioms(Imports imports)
OWLOntologygetRBoxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.public Stream<OWLAxiom> tboxAxioms(Imports imports)
OWLOntologytboxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.public Stream<OWLAxiom> aboxAxioms(Imports imports)
OWLOntologyaboxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.public Stream<OWLAxiom> rboxAxioms(Imports imports)
OWLOntologyrboxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.@Deprecated public Set<OWLClassAxiom> getGeneralClassAxioms()
OWLOntologyOWLClasses)OWLClasses)getGeneralClassAxioms in interface OWLOntology@Deprecated public Set<OWLEntity> getSignature()
HasSignatureFor ontologies, the signature of an ontology is the set of entities that are used to build axioms and annotations in the ontology. (See The OWL 2 Structural Specification)
For ontology changes, this is the signature of the axiom being added/removed or the annotation being added/removed, or empty.
getSignature in interface HasSignature@Deprecated public Set<OWLEntity> getSignature(Imports imports)
OWLOntologygetSignature in interface OWLOntologyimports - if INCLUDED, the imports closure is included.OWLEntity objects. The set that is returned is a copy - it will not
be updated if the ontology changes. It is therefore safe to apply changes to this
ontology while iterating over this set.HasClassesInSignature.getClassesInSignature(),
HasObjectPropertiesInSignature.getObjectPropertiesInSignature(),
HasDataPropertiesInSignature.getDataPropertiesInSignature(),
HasIndividualsInSignature.getIndividualsInSignature()public Stream<OWLClassAxiom> generalClassAxioms()
OWLOntologyOWLClasses)OWLClasses)generalClassAxioms in interface OWLOntologypublic Stream<OWLEntity> signature()
signature in interface HasSignaturepublic Stream<OWLEntity> signature(Imports imports)
OWLOntologysignature in interface OWLOntologyimports - if INCLUDED, the imports closure is included.OWLEntity objects. The set that is returned is a copy - it will not
be updated if the ontology changes. It is therefore safe to apply changes to this
ontology while iterating over this set.HasClassesInSignature.classesInSignature(),
HasObjectPropertiesInSignature.objectPropertiesInSignature(),
HasDataPropertiesInSignature.dataPropertiesInSignature(),
HasIndividualsInSignature.individualsInSignature()public boolean isDeclared(OWLEntity owlEntity)
OWLOntologyisDeclared in interface OWLOntologyowlEntity - The entity to be tested fortrue if the ontology contains a declaration for the specified entity,
otherwise false.public boolean isDeclared(OWLEntity owlEntity, Imports imports)
OWLOntologyisDeclared in interface OWLOntologyowlEntity - The entity to be tested forimports - if INCLUDED, the imports closure is included.true if the ontology or its imports closure contains a declaration for the
specified entity, otherwise false.public void saveOntology()
throws OWLOntologyStorageException
OWLOntologysaveOntology in interface OWLOntologyOWLOntologyStorageException - An exception will be thrown if there is a problem with
saving the ontology, or the ontology can't be saved in the format it was loaded from.public void saveOntology(IRI iri) throws OWLOntologyStorageException
OWLOntologysaveOntology in interface OWLOntologyiri - The document IRI where the ontology should be saved toOWLOntologyStorageException - If the ontology cannot be savedpublic void saveOntology(OutputStream outputStream) throws OWLOntologyStorageException
OWLOntologysaveOntology in interface OWLOntologyoutputStream - The output stream where the ontology will be saved toOWLOntologyStorageException - If there was a problem saving this ontology to the
specified output streampublic void saveOntology(OWLDocumentFormat owlDocumentFormat) throws OWLOntologyStorageException
OWLOntologysaveOntology in interface OWLOntologyowlDocumentFormat - The format in which the ontology should be saved.OWLOntologyStorageException - If the ontology cannot be saved.public void saveOntology(OWLDocumentFormat owlDocumentFormat, IRI iri) throws OWLOntologyStorageException
OWLOntologysaveOntology in interface OWLOntologyowlDocumentFormat - The format in which to save the ontologyiri - The document IRI where the ontology should be saved toOWLOntologyStorageException - If the ontology could not be saved.public void saveOntology(OWLDocumentFormat owlDocumentFormat, OutputStream outputStream) throws OWLOntologyStorageException
OWLOntologysaveOntology in interface OWLOntologyowlDocumentFormat - The format in which to save the ontologyoutputStream - The output stream where the ontology will be saved to.OWLOntologyStorageException - If the ontology could not be saved.public void saveOntology(OWLOntologyDocumentTarget owlOntologyDocumentTarget) throws OWLOntologyStorageException
OWLOntologyOWLOntologyDocumentTarget.saveOntology in interface OWLOntologyowlOntologyDocumentTarget - The output target where the ontology will be saved to.OWLOntologyStorageException - If the ontology could not be saved.public void saveOntology(OWLDocumentFormat owlDocumentFormat, OWLOntologyDocumentTarget owlOntologyDocumentTarget) throws OWLOntologyStorageException
OWLOntologysaveOntology in interface OWLOntologyowlDocumentFormat - The output format in which to save the ontologyowlOntologyDocumentTarget - The output target where the ontology will be saved toOWLOntologyStorageException - If the ontology could not be saved.@Deprecated public Set<OWLClassExpression> getNestedClassExpressions()
OWLObjectgetNestedClassExpressions in interface OWLObjectOWLClassExpressions that represent the
nested class expressions used in this object.public void accept(OWLObjectVisitor owlObjectVisitor)
OWLObjectaccept in interface OWLObjectaccept in interface OWLOntologyowlObjectVisitor - The visitorpublic <O> O accept(OWLObjectVisitorEx<O> owlObjectVisitorEx)
OWLObjectaccept in interface OWLObjectaccept in interface OWLOntologyO - visitor return typeowlObjectVisitorEx - The visitorpublic boolean isTopEntity()
OWLObjectisTopEntity in interface OWLObjecttrue if this object corresponds to one of the above entities.public boolean isBottomEntity()
OWLObjectisBottomEntity in interface OWLObjecttrue if this object corresponds to one of the above entities.public int compareTo(@Nullable OWLObject o)
compareTo in interface Comparable<OWLObject>public boolean containsEntityInSignature(OWLEntity owlEntity)
HasContainsEntityInSignaturecontainsEntityInSignature in interface HasContainsEntityInSignatureowlEntity - The entitytrue if the signature of this object contains owlEntity, otherwise
falsepublic boolean containsEntitiesOfTypeInSignature(EntityType<?> type)
OWLSignaturecontainsEntitiesOfTypeInSignature in interface OWLSignaturetype - type of entity to checkpublic boolean containsEntitiesOfTypeInSignature(EntityType<?> type, Imports includeImportsClosure)
OWLSignaturecontainsEntitiesOfTypeInSignature in interface OWLSignaturetype - type of entity to checkincludeImportsClosure - if INCLUDED, include imports closure.@Deprecated public Set<OWLAnonymousIndividual> getAnonymousIndividuals()
HasAnonymousIndividualsgetAnonymousIndividuals in interface HasAnonymousIndividuals@Deprecated public Set<OWLClass> getClassesInSignature()
HasClassesInSignaturegetClassesInSignature in interface HasClassesInSignature@Deprecated public Set<OWLObjectProperty> getObjectPropertiesInSignature()
HasObjectPropertiesInSignaturegetObjectPropertiesInSignature in interface HasObjectPropertiesInSignature@Deprecated public Set<OWLDataProperty> getDataPropertiesInSignature()
HasDataPropertiesInSignaturegetDataPropertiesInSignature in interface HasDataPropertiesInSignature@Deprecated public Set<OWLNamedIndividual> getIndividualsInSignature()
HasIndividualsInSignaturegetIndividualsInSignature in interface HasIndividualsInSignature@Deprecated public Set<OWLDatatype> getDatatypesInSignature()
HasDatatypesInSignaturegetDatatypesInSignature in interface HasDatatypesInSignature@Deprecated public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
HasAnnotationPropertiesInSignaturegetAnnotationPropertiesInSignature in interface HasAnnotationPropertiesInSignature@Deprecated public Set<OWLAxiom> getAxioms(Imports imports)
getAxioms in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.public int getAxiomCount(Imports imports)
getAxiomCount in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(Imports imports)
OWLAxiomCollectiongetLogicalAxioms in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.OWLLogicalAxiom, optionally including the
imports closure. The set that is returned is a copy of the data.public int getLogicalAxiomCount(Imports imports)
OWLAxiomCollectiongetLogicalAxiomCount in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.@Deprecated public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType, Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionT - axiom typeaxiomType - The type of axioms to be retrived.imports - if INCLUDED, include imports closure.public <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType, Imports imports)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionT - axiom typeaxiomType - The type of axioms to be retrived.imports - if INCLUDED, include imports closure.public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, Imports imports)
OWLAxiomCollectiongetAxiomCount in interface OWLAxiomCollectionT - axiom typeaxiomType - The type of axiom to countimports - if INCLUDED, include imports closure.public boolean containsAxiom(OWLAxiom owlAxiom, Imports imports, AxiomAnnotations axiomAnnotations)
OWLAxiomCollectioncontainsAxiom in interface OWLAxiomCollectionowlAxiom - The axiom to search.imports - if INCLUDED, include imports closure.axiomAnnotations - 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.@Deprecated public Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
OWLAxiomCollectiongetAxiomsIgnoreAnnotations in interface OWLAxiomCollectionowlAxiom - The axiom that the returned axioms must equal, ignoring annotations.imports - if INCLUDED, include imports closure.axiomA and axiomB in
the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
OWLAxiomCollectionaxiomsIgnoreAnnotations in interface OWLAxiomCollectionowlAxiom - The axiom that the returned axioms must equal, ignoring annotations.imports - if INCLUDED, include imports closure.axiomA and axiomB in
the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.@Deprecated public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
OWLAxiomCollectionOWLPrimitive 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.getReferencingAxioms in interface OWLAxiomCollectionowlPrimitive - The entity that should be directly referred to by all axioms in the results
set.imports - if INCLUDED, include imports closure.public Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
OWLAxiomCollectionOWLPrimitive 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 OWLAxiomCollectionowlPrimitive - The entity that should be directly referred to by all axioms in the results
set.imports - if INCLUDED, include imports closure.@Deprecated public Set<OWLClassAxiom> getAxioms(OWLClass owlClass, Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlClass - The class whose describing axioms are to be retrieved.imports - if INCLUDED, include imports closure.@Deprecated public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression, Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlObjectPropertyExpression - The property whose defining axioms are to be retrieved.imports - if INCLUDED, include imports closure.@Deprecated public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty, Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlDataProperty - The property whose defining axioms are to be retrieved.imports - if INCLUDED, include imports closure.@Deprecated public Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual, Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlIndividual - The individual whose defining axioms are to be retrieved.imports - if INCLUDED, include imports closure.@Deprecated public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty, Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlAnnotationProperty - The property whose definition axioms are to be retrievedimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype, Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlDatatype - The datatypeimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLAxiom> getAxioms()
HasAxiomsOWLAxioms contained in this object.@Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms()
HasLogicalAxiomsOWLLogicalAxioms contained within this object.getLogicalAxioms in interface HasLogicalAxiomsOWLLogicalAxioms that are contained within this object. Changes are
not reflected back.public Stream<OWLLogicalAxiom> logicalAxioms()
logicalAxioms in interface HasLogicalAxiomsOWLLogicalAxioms that are contained within this object.@Deprecated public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)
HasAxiomsByTypegetAxioms in interface HasAxiomsByTypeT - axiom typeaxiomType - The type of axioms to be retrieved.public <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType)
HasAxiomsByTypeaxioms in interface HasAxiomsByTypeT - axiom typeaxiomType - The type of axioms to be retrieved.public boolean containsAxiom(OWLAxiom owlAxiom)
HasContainsAxiomOWLAxiom.containsAxiom in interface HasContainsAxiomowlAxiom - The OWLAxiom to test for.true if this object contains axiom, otherwise false.@Deprecated public Set<OWLAxiom> getAxioms(boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgsb - true if imports are included.@Deprecated public int getAxiomCount(boolean b)
getAxiomCount in interface OWLAxiomCollectionBooleanArgsb - if true, include imports closure.@Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(boolean b)
OWLAxiomCollectionBooleanArgsgetLogicalAxioms in interface OWLAxiomCollectionBooleanArgsb - if true, include imports closure.OWLLogicalAxiom, optionally including the
imports closure. The set that is returned is a copy of the data.@Deprecated public int getLogicalAxiomCount(boolean b)
OWLAxiomCollectionBooleanArgsgetLogicalAxiomCount in interface OWLAxiomCollectionBooleanArgsb - if true, include imports closure.@Deprecated public <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsT - axiom typeaxiomType - The type of axioms to be retrived.b - if true, include imports closure.@Deprecated public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, boolean b)
OWLAxiomCollectionBooleanArgsgetAxiomCount in interface OWLAxiomCollectionBooleanArgsT - axiom typeaxiomType - The type of axiom to countb - if INCLUDED, include imports closure.@Deprecated public boolean containsAxiom(OWLAxiom owlAxiom, boolean b)
OWLAxiomCollectionBooleanArgscontainsAxiom in interface OWLAxiomCollectionBooleanArgsowlAxiom - The axiom to search.b - if INCLUDED, include imports closure.true if the ontology contains the specified axiom.@Deprecated public boolean containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)
OWLAxiomCollectionBooleanArgsSubClassOf(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.containsAxiomIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgsowlAxiom - The axiom to search.b - if true, include imports closure.true if the ontology contains the specified axiom.@Deprecated public Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)
OWLAxiomCollectionBooleanArgsgetAxiomsIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgsowlAxiom - The axiom that the returned axioms must equal, ignoring annotations.b - if true, include imports closure.axiomA and axiomB in
the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.@Deprecated public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive, boolean b)
OWLAxiomCollectionBooleanArgsOWLPrimitive 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.getReferencingAxioms in interface OWLAxiomCollectionBooleanArgsowlPrimitive - The entity that should be directly referred to by all axioms in the results
set.b - if INCLUDED, include imports closure.@Deprecated public Set<OWLClassAxiom> getAxioms(OWLClass owlClass, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlClass - The class whose describing axioms are to be retrieved.b - if INCLUDED, include imports closure.@Deprecated public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlObjectPropertyExpression - The property whose defining axioms are to be retrieved.b - if INCLUDED, include imports closure.@Deprecated public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlDataProperty - The property whose defining axioms are to be retrieved.b - if INCLUDED, include imports closure.public Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlIndividual - The individual whose defining axioms are to be retrieved.b - if INCLUDED, include imports closure.@Deprecated public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlAnnotationProperty - The property whose definition axioms are to be retrievedb - if INCLUDED, include imports closure.@Deprecated public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlDatatype - The datatypeb - if INCLUDED, include imports closure.public int getAxiomCount()
getAxiomCount in interface OWLAxiomCollectionpublic int getLogicalAxiomCount()
OWLAxiomCollectiongetLogicalAxiomCount in interface OWLAxiomCollectionpublic <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
OWLAxiomCollectiongetAxiomCount in interface OWLAxiomCollectionT - axiom type classaxiomType - The type of axiom to countpublic boolean containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom)
OWLAxiomCollectioncontainsAxiomIgnoreAnnotations in interface OWLAxiomCollectionowlAxiom - The axiom to search.true if the ontology contains the specified axiom.@Deprecated public Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
OWLAxiomCollectiongetAxiomsIgnoreAnnotations in interface OWLAxiomCollectionowlAxiom - The axiom that the returned axioms must equal, ignoring annotations.axiomA and axiomB in
the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.public Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom)
OWLAxiomCollectionaxiomsIgnoreAnnotations in interface OWLAxiomCollectionowlAxiom - The axiom that the returned axioms must equal, ignoring annotations.axiomA and axiomB in
the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.@Deprecated public Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive)
OWLAxiomCollectionOWLPrimitive 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.getReferencingAxioms in interface OWLAxiomCollectionowlPrimitive - The entity that should be directly referred to by all axioms in the results
set.public Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlPrimitive)
OWLAxiomCollectionOWLPrimitive 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 OWLAxiomCollectionowlPrimitive - The entity that should be directly referred to by all axioms in the results
set.@Deprecated public Set<OWLClassAxiom> getAxioms(OWLClass owlClass)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlClass - The class whose describing axioms are to be retrieved.@Deprecated public Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlObjectPropertyExpression - The property whose defining axioms are to be retrieved.@Deprecated public Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlDataProperty - The property whose defining axioms are to be retrieved.@Deprecated public Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlIndividual - The individual whose defining axioms are to be retrieved.@Deprecated public Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlAnnotationProperty - The property whose definition axioms are to be retrieved@Deprecated public Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlDatatype - The datatypepublic Stream<OWLClassAxiom> axioms(OWLClass owlClass)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionowlClass - The class whose describing axioms are to be retrieved.public Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionowlObjectPropertyExpression - The property whose defining axioms are to be retrieved.public Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty owlDataProperty)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionowlDataProperty - The property whose defining axioms are to be retrieved.public Stream<OWLIndividualAxiom> axioms(OWLIndividual owlIndividual)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionowlIndividual - The individual whose defining axioms are to be retrieved.public Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionowlAnnotationProperty - The property whose definition axioms are to be retrievedpublic Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype owlDatatype)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionowlDatatype - The datatype@Deprecated public Set<OWLClass> getClassesInSignature(Imports imports)
OWLSignaturegetClassesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLObjectProperty> getObjectPropertiesInSignature(Imports imports)
OWLSignaturegetObjectPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLDataProperty> getDataPropertiesInSignature(Imports imports)
OWLSignaturegetDataPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLNamedIndividual> getIndividualsInSignature(Imports imports)
OWLSignaturegetIndividualsInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(Imports imports)
OWLSignaturegetReferencedAnonymousIndividuals in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals(Imports imports)
OWLSignaturereferencedAnonymousIndividuals in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals()
OWLSignaturereferencedAnonymousIndividuals in interface OWLSignature@Deprecated public Set<OWLDatatype> getDatatypesInSignature(Imports imports)
OWLSignaturegetDatatypesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Deprecated public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(Imports imports)
OWLSignaturegetAnnotationPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public boolean containsEntityInSignature(OWLEntity owlEntity, Imports imports)
OWLSignaturecontainsEntityInSignature in interface OWLSignatureowlEntity - The entityimports - if INCLUDED, include imports closure.true if the signature or the import closure contains a reference to the
specified entity.public boolean containsEntityInSignature(IRI iri, Imports imports)
OWLSignaturecontainsEntityInSignature in interface OWLSignatureiri - The IRI to test for.imports - if INCLUDED, include imports closure.public boolean containsClassInSignature(IRI iri, Imports imports)
OWLSignaturecontainsClassInSignature in interface OWLSignatureiri - The IRI of the class to check forimports - if INCLUDED, include imports closure.public boolean containsObjectPropertyInSignature(IRI iri, Imports imports)
OWLSignaturecontainsObjectPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLObjectProperty to check forimports - if INCLUDED, include imports closure.public boolean containsDataPropertyInSignature(IRI iri, Imports imports)
OWLSignaturecontainsDataPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLDataProperty to check forimports - if INCLUDED, include imports closure.public boolean containsAnnotationPropertyInSignature(IRI iri, Imports imports)
OWLSignaturecontainsAnnotationPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLAnnotationProperty to check forimports - if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(IRI iri, Imports imports)
OWLSignaturecontainsDatatypeInSignature in interface OWLSignatureiri - The IRI of the OWLDatatype to check forimports - if INCLUDED, include imports closure.public boolean containsIndividualInSignature(IRI iri, Imports imports)
OWLSignaturecontainsIndividualInSignature in interface OWLSignatureiri - The IRI of the OWLNamedIndividual to check forimports - if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(IRI iri)
OWLSignaturecontainsDatatypeInSignature in interface OWLSignatureiri - The IRI of the OWLDatatype to check forpublic boolean containsEntityInSignature(IRI iri)
OWLSignaturecontainsEntityInSignature in interface OWLSignatureiri - The IRI to test for.public boolean containsClassInSignature(IRI iri)
OWLSignaturecontainsClassInSignature in interface OWLSignatureiri - The IRI of the class to check forpublic boolean containsObjectPropertyInSignature(IRI iri)
OWLSignaturecontainsObjectPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLObjectProperty to check forpublic boolean containsDataPropertyInSignature(IRI iri)
OWLSignaturecontainsDataPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLDataProperty to check forpublic boolean containsAnnotationPropertyInSignature(IRI iri)
OWLSignaturecontainsAnnotationPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLAnnotationProperty to check forpublic boolean containsIndividualInSignature(IRI iri)
OWLSignaturecontainsIndividualInSignature in interface OWLSignatureiri - The IRI of the OWLNamedIndividual to check for@Deprecated public Set<OWLEntity> getEntitiesInSignature(IRI iri, Imports imports)
OWLSignaturegetEntitiesInSignature in interface OWLSignatureiri - The IRI of the entitied to be retrieved.imports - if INCLUDED, include imports closure.public Set<IRI> getPunnedIRIs(Imports imports)
OWLSignaturegetPunnedIRIs in interface OWLSignatureimports - if INCLUDED, include imports closure.public boolean containsReference(OWLEntity owlEntity, Imports imports)
containsReference in interface OWLSignatureowlEntity - entyty to checkimports - if INCLUDED, include imports closure.public boolean containsReference(OWLEntity owlEntity)
containsReference in interface OWLSignatureowlEntity - entyty to check@Deprecated public Set<OWLEntity> getEntitiesInSignature(IRI iri)
getEntitiesInSignature in interface HasGetEntitiesInSignatureiri - IRI for all entities to retrievepublic Stream<OWLEntity> entitiesInSignature(IRI iri)
entitiesInSignature in interface HasGetEntitiesInSignatureiri - IRI for all entities to retrieve@Deprecated public Set<OWLClass> getClassesInSignature(boolean b)
OWLSignatureBooleanArgsgetClassesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean b)
OWLSignatureBooleanArgsgetObjectPropertiesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public Set<OWLDataProperty> getDataPropertiesInSignature(boolean b)
OWLSignatureBooleanArgsgetDataPropertiesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public Set<OWLNamedIndividual> getIndividualsInSignature(boolean b)
OWLSignatureBooleanArgsgetIndividualsInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(boolean b)
OWLSignatureBooleanArgsgetReferencedAnonymousIndividuals in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public Set<OWLDatatype> getDatatypesInSignature(boolean b)
OWLSignatureBooleanArgsgetDatatypesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(boolean b)
OWLSignatureBooleanArgsgetAnnotationPropertiesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public boolean containsEntityInSignature(OWLEntity owlEntity, boolean b)
OWLSignatureBooleanArgscontainsEntityInSignature in interface OWLSignatureBooleanArgsowlEntity - The entityb - if true, include imports closure.true if the signature or the import closure contains a reference to the
specified entity.@Deprecated public boolean containsEntityInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgscontainsEntityInSignature in interface OWLSignatureBooleanArgsiri - The IRI to test for.b - if true, include imports closure.@Deprecated public boolean containsClassInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgscontainsClassInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the class to check forb - if true, include imports closure.@Deprecated public boolean containsObjectPropertyInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgscontainsObjectPropertyInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the OWLObjectProperty to check forb - if true, include imports closure.@Deprecated public boolean containsDataPropertyInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgscontainsDataPropertyInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the OWLDataProperty to check forb - if true, include imports closure.@Deprecated public boolean containsAnnotationPropertyInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgscontainsAnnotationPropertyInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the OWLAnnotationProperty to check forb - if true, include imports closure.@Deprecated public boolean containsDatatypeInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgscontainsDatatypeInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the OWLDatatype to check forb - if true, include imports closure.@Deprecated public boolean containsIndividualInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgscontainsIndividualInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the OWLNamedIndividual to check forb - if true, include imports closure.@Deprecated public Set<OWLEntity> getEntitiesInSignature(IRI iri, boolean b)
OWLSignatureBooleanArgsgetEntitiesInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the entitied to be retrieved.b - if true, include imports closure.@Deprecated public boolean containsReference(OWLEntity owlEntity, boolean b)
containsReference in interface OWLSignatureBooleanArgsowlEntity - entyty to checkb - if true, include imports closure.@Deprecated public <T extends OWLAxiom> Set<T> getAxioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)
OWLAxiomIndexgetAxioms in interface OWLAxiomIndexT - type of returned axiomsaClass - type of axiomsowlObject - referred entity (OWLPrimitive or property/class expression)imports - if INCLUDED, include imports closure.navigation - 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 entites, this parameter is ignored.public <T extends OWLAxiom> Stream<T> axioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)
OWLAxiomIndexaxioms in interface OWLAxiomIndexT - type of returned axiomsaClass - type of axiomsowlObject - referred entity (OWLPrimitive or property/class expression)imports - if INCLUDED, include imports closure.navigation - 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 entites, this parameter is ignored.@Deprecated public <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o, Imports imports)
OWLAxiomIndexfilterAxioms in interface OWLAxiomIndexT - type of returned axiomsowlAxiomSearchFilter - the filter to matcho - the key. Its type is generic and it is used only by the filter.imports - if INCLUDED, include imports closure.public boolean contains(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o, Imports imports)
OWLAxiomIndexcontains in interface OWLAxiomIndexowlAxiomSearchFilter - the filter to matcho - the key. Its type is generic and it is used only by the filter.imports - if INCLUDED, include imports closure.public boolean contains(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o)
OWLAxiomIndexcontains in interface OWLAxiomIndexowlAxiomSearchFilter - the filter to matcho - the key. Its type is generic and it is used only by the filter.@Deprecated public <T extends OWLAxiom> Set<T> getAxioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)
OWLAxiomIndexgetAxioms in interface OWLAxiomIndexT - type of returned axiomsaClass - type of axiomsaClass1 - for overlapping indexes in the ontology internals, an explicit class
rathet than the entity class might be necessaryowlObject - referred entity (OWLPrimitive or property/class expression)imports - if INCLUDED, include imports closure.navigation - 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 entites, this parameter is ignored.public <T extends OWLAxiom> Stream<T> axioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)
OWLAxiomIndexaxioms in interface OWLAxiomIndexT - type of returned axiomsaClass - type of axiomsaClass1 - for overlapping indexes in the ontology internals, an explicit class
rathet than the entity class might be necessaryowlObject - referred entity (OWLPrimitive or property/class expression)imports - if INCLUDED, include imports closure.navigation - 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 entites, this parameter is ignored.@Deprecated public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndexSubAnnotationPropertyOfAxioms where the specified
property is the sub-property.getSubAnnotationPropertyOfAxioms in interface OWLAxiomIndexowlAnnotationProperty - The sub-property of the axioms to be retrieved.@Deprecated public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndexOWLAnnotationPropertyDomainAxioms where the specified
property is the property in the domain axiom.getAnnotationPropertyDomainAxioms in interface OWLAxiomIndexowlAnnotationProperty - The property that the axiom specifies a domain for.@Deprecated public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndexOWLAnnotationPropertyRangeAxioms where the specified
property is the property in the range axiom.getAnnotationPropertyRangeAxioms in interface OWLAxiomIndexowlAnnotationProperty - The property that the axiom specifies a range for.public Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndexOWLAnnotationPropertyDomainAxioms where the specified
property is the property in the domain axiom.annotationPropertyDomainAxioms in interface OWLAxiomIndexowlAnnotationProperty - The property that the axiom specifies a domain for.public Stream<OWLAnnotationPropertyRangeAxiom> annotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndexOWLAnnotationPropertyRangeAxioms where the specified
property is the property in the range axiom.annotationPropertyRangeAxioms in interface OWLAxiomIndexowlAnnotationProperty - The property that the axiom specifies a range for.@Deprecated public Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity owlEntity)
OWLAxiomIndexgetDeclarationAxioms in interface OWLAxiomIndexowlEntity - The entity that is the subject of the set of returned axioms.@Deprecated public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject owlAnnotationSubject)
OWLAxiomIndexgetAnnotationAssertionAxioms in interface OWLAxiomIndexowlAnnotationSubject - The entity whose annotations are to be retrieved.@Deprecated public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass owlClass)
OWLAxiomIndexgetSubClassAxiomsForSubClass in interface OWLAxiomIndexowlClass - The class that is equal to the left hand side of the axiom (subclass).@Deprecated public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass owlClass)
OWLAxiomIndexgetSubClassAxiomsForSuperClass in interface OWLAxiomIndexowlClass - The class@Deprecated public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass owlClass)
OWLAxiomIndexgetEquivalentClassesAxioms in interface OWLAxiomIndexowlClass - The class to search@Deprecated public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass owlClass)
OWLAxiomIndexgetDisjointClassesAxioms in interface OWLAxiomIndexowlClass - The class to search@Deprecated public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
OWLAxiomIndexgetDisjointUnionAxioms in interface OWLAxiomIndexowlClass - The class that indexes the axioms to be retrieved.@Deprecated public Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass owlClass)
OWLAxiomIndexgetHasKeyAxioms in interface OWLAxiomIndexowlClass - The subject of the has key axioms@Deprecated public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLSubObjectPropertyOfAxiom s where the sub-property is
equal to the specified property.getObjectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexowlObjectPropertyExpression - The property which is equal to the sub property of the retrieved axioms.@Deprecated public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLSubObjectPropertyOfAxiom s where the super-property
is equal to the specified property.getObjectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexowlObjectPropertyExpression - The property which is equal to the super-property of the retrieved
axioms.@Deprecated public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLObjectPropertyDomainAxioms where the property is
equal to the specified property.getObjectPropertyDomainAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property which is equal to the property of the retrieved axioms.@Deprecated public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLObjectPropertyRangeAxiom s where the property is
equal to the specified property.getObjectPropertyRangeAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property which is equal to the property of the retrieved axioms.@Deprecated public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLInverseObjectPropertiesAxioms where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties() .getInverseObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property which is equal to the property of the retrieved axioms.@Deprecated public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLEquivalentObjectPropertiesAxioms that make the
specified property equivalent to some other object property
expression(s).getEquivalentObjectPropertiesAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that the retrieved axioms make equivalent to some other property
expressions.@Deprecated public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLDisjointObjectPropertiesAxioms that make the
specified property disjoint with some other object property
expression(s).getDisjointObjectPropertiesAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that the retrieved axioms makes disjoint to some other property
expressions.@Deprecated public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLFunctionalObjectPropertyAxioms contained in this
ontology that make the specified object property functional.getFunctionalObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that is made functional by the axioms.@Deprecated public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLInverseFunctionalObjectPropertyAxioms contained in
this ontology that make the specified object property inverse functional.getInverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that is made inverse functional by the axioms.@Deprecated public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLSymmetricObjectPropertyAxioms contained in this
ontology that make the specified object property symmetric.getSymmetricObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that is made symmetric by the axioms.@Deprecated public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLAsymmetricObjectPropertyAxioms contained in this
ontology that make the specified object property asymmetric.getAsymmetricObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that is made asymmetric by the axioms.@Deprecated public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLReflexiveObjectPropertyAxioms contained in this
ontology that make the specified object property reflexive.getReflexiveObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that is made reflexive by the axioms.@Deprecated public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLIrreflexiveObjectPropertyAxioms contained in this
ontology that make the specified object property irreflexive.getIrreflexiveObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that is made irreflexive by the axioms.@Deprecated public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndexOWLTransitiveObjectPropertyAxioms contained in this
ontology that make the specified object property transitive.getTransitiveObjectPropertyAxioms in interface OWLAxiomIndexowlObjectPropertyExpression - The property that is made transitive by the axioms.@Deprecated public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty owlDataProperty)
OWLAxiomIndexOWLSubDataPropertyOfAxioms where the sub-property is
equal to the specified property.getDataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexowlDataProperty - The property which is equal to the sub property of the retrieved axioms.@Deprecated public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression owlDataPropertyExpression)
OWLAxiomIndexOWLSubDataPropertyOfAxioms where the super-property is
equal to the specified property.getDataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexowlDataPropertyExpression - The property which is equal to the super-property of the retrieved
axioms.@Deprecated public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty owlDataProperty)
OWLAxiomIndexOWLDataPropertyDomainAxioms where the property is equal
to the specified property.getDataPropertyDomainAxioms in interface OWLAxiomIndexowlDataProperty - The property which is equal to the property of the retrieved axioms.@Deprecated public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty owlDataProperty)
OWLAxiomIndexOWLDataPropertyRangeAxioms where the property is equal
to the specified property.getDataPropertyRangeAxioms in interface OWLAxiomIndexowlDataProperty - The property which is equal to the property of the retrieved axioms.@Deprecated public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty owlDataProperty)
OWLAxiomIndexOWLEquivalentDataPropertiesAxioms that make the
specified property equivalent to some other data property expression(s).getEquivalentDataPropertiesAxioms in interface OWLAxiomIndexowlDataProperty - The property that the retrieved axioms make equivalent to some other property
expressions.@Deprecated public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty owlDataProperty)
OWLAxiomIndexOWLDisjointDataPropertiesAxioms that make the specified
property disjoint with some other data property expression(s).getDisjointDataPropertiesAxioms in interface OWLAxiomIndexowlDataProperty - The property that the retrieved axioms makes disjoint to some other property
expressions.@Deprecated public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression owlDataPropertyExpression)
OWLAxiomIndexOWLFunctionalDataPropertyAxioms contained in this
ontology that make the specified data property functional.getFunctionalDataPropertyAxioms in interface OWLAxiomIndexowlDataPropertyExpression - The property that is made functional by the axioms.@Deprecated public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual owlIndividual)
OWLAxiomIndexOWLClassAssertionAxioms contained in this ontology that
make the specified individual an instance of some class
expression.getClassAssertionAxioms in interface OWLAxiomIndexowlIndividual - The individual that the returned axioms make an instance of some class
expression.@Deprecated public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression owlClassExpression)
OWLAxiomIndexOWLClassAssertionAxioms contained in this ontology that
make the specified class expression, ce, a type for some
individual.getClassAssertionAxioms in interface OWLAxiomIndexowlClassExpression - The class expression that the returned axioms make a type for some individual.@Deprecated public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
OWLAxiomIndexOWLDataPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom.getDataPropertyAssertionAxioms in interface OWLAxiomIndexowlIndividual - The individual that the returned axioms have as a subject.@Deprecated public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
OWLAxiomIndexOWLObjectPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom.getObjectPropertyAssertionAxioms in interface OWLAxiomIndexowlIndividual - The individual that the returned axioms have as a subject.@Deprecated public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
OWLAxiomIndexOWLNegativeObjectPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom.getNegativeObjectPropertyAssertionAxioms in interface OWLAxiomIndexowlIndividual - The individual that the returned axioms have as a subject.@Deprecated public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
OWLAxiomIndexOWLNegativeDataPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom.getNegativeDataPropertyAssertionAxioms in interface OWLAxiomIndexowlIndividual - The individual that the returned axioms have as a subject.@Deprecated public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual owlIndividual)
OWLAxiomIndexOWLSameIndividualAxioms contained in this ontology that
make the specified individual the same as some other individual.getSameIndividualAxioms in interface OWLAxiomIndexowlIndividual - The individual that the returned axioms make the same as some other
individual.@Deprecated public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual owlIndividual)
OWLAxiomIndexOWLDifferentIndividualsAxioms contained in this ontology
that make the specified individual different to some other
individual.getDifferentIndividualAxioms in interface OWLAxiomIndexowlIndividual - The individual that the returned axioms make the different as some other
individual.@Deprecated public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype owlDatatype)
OWLAxiomIndexOWLDatatypeDefinitionAxioms contained in this ontology
that provide a definition for the specified datatype.getDatatypeDefinitions in interface OWLAxiomIndexowlDatatype - The datatype for which the returned axioms provide a definition.public ChangeApplied applyChange(OWLOntologyChange owlOntologyChange)
HasApplyChangeOWLOntologyManager implementation, the instance used should be the one
that the ontology returns through the getOWLOntologyManager() call. The reason is
that some changes, e.g., change of ontology id and change of imports directives, affect data
that only that manager instance knows about, such as the imports closure; changes of ontology
id through the wrong manager will make the ontology unreachable through its new id in the
manager associated with the ontology. Configuration for loading and saving parameters is also
held by the manager, if not explicitly specified for the ontology. While the change might be
successful, other bugs might be made apparent later.applyChange in interface HasApplyChangeapplyChange in interface OWLOntologyowlOntologyChange - The change to be appliedpublic ChangeDetails applyChangesAndGetDetails(List<? extends OWLOntologyChange> list)
HasApplyChangesOWLOntologyManager implementation, the instance used should be the one
that the ontology returns through the getOWLOntologyManager() call. The reason is
that some changes, e.g., change of ontology id and change of imports directives, affect data
that only that manager instance knows about, such as the imports closure; changes of ontology
id through the wrong manager will make the ontology unreachable through its new id in the
manager associated with the ontology. Configuration for loading and saving parameters is also
held by the manager, if not explicitly specified for the ontology. While the change might be
successful, other bugs might be made apparent later.applyChangesAndGetDetails in interface HasApplyChangesapplyChangesAndGetDetails in interface OWLOntologylist - The changes to be applied.public ChangeApplied addAxiom(OWLAxiom owlAxiom)
HasDirectAddAxiomaddAxiom in interface HasDirectAddAxiomaddAxiom in interface OWLOntologyowlAxiom - The axiom to be addedpublic ChangeApplied addAxioms(Collection<? extends OWLAxiom> set)
HasDirectAddAxiomsaddAxioms in interface HasDirectAddAxiomsaddAxioms in interface OWLOntologyset - The axioms to be added. Not null.public ChangeApplied addAxioms(OWLAxiom... set)
HasDirectAddAxiomsaddAxioms in interface HasDirectAddAxiomsaddAxioms in interface OWLOntologyset - The axioms to be added. Not null.public ChangeApplied add(OWLAxiom owlAxiom)
HasDirectAddAxiomadd in interface HasDirectAddAxiomowlAxiom - The axiom to be addedpublic ChangeApplied add(Collection<? extends OWLAxiom> set)
HasDirectAddAxiomsadd in interface HasDirectAddAxiomsset - The axioms to be added. Not null.public ChangeApplied add(OWLAxiom... set)
HasDirectAddAxiomsadd in interface HasDirectAddAxiomsset - The axioms to be added. Not null.public Stream<OWLImportsDeclaration> importsDeclarations()
OWLOntologyimportsDeclarations in interface OWLOntologypublic <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)
OWLAxiomIndexaxioms in interface OWLAxiomIndexT - type of returned axiomsfilter - the filter to matchkey - the key. Its type is generic and it is used only by the filter.includeImportsClosure - if INCLUDED, include imports closure.public <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key)
OWLAxiomIndexaxioms in interface OWLAxiomIndexT - type of returned axiomsfilter - the filter to matchkey - the key. Its type is generic and it is used only by the filter.public <T extends OWLAxiom> Stream<T> axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
OWLAxiomIndexaxioms in interface OWLAxiomIndexT - type of returned axiomstype - type of axiomsexplicitClass - for overlapping indexes in the ontology internals, an explicit class
rathet 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 entites, this parameter is ignored.public Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
OWLAxiomIndexSubAnnotationPropertyOfAxioms where the specified
property is the sub-property.subAnnotationPropertyOfAxioms in interface OWLAxiomIndexsubProperty - The sub-property of the axioms to be retrieved.public Stream<OWLDatatypeDefinitionAxiom> datatypeDefinitions(OWLDatatype datatype)
OWLAxiomIndexOWLDatatypeDefinitionAxioms contained in this ontology
that provide a definition for the specified datatype.datatypeDefinitions in interface OWLAxiomIndexdatatype - The datatype for which the returned axioms provide a definition.public ChangeApplied removeAxiom(OWLAxiom axiom)
HasDirectRemoveAxiomremoveAxiom in interface HasDirectRemoveAxiomremoveAxiom in interface OWLOntologyaxiom - The axiom to be removedpublic ChangeApplied removeAxioms(Collection<? extends OWLAxiom> axioms)
HasDirectRemoveAxiomsremoveAxioms in interface HasDirectRemoveAxiomsremoveAxioms in interface OWLOntologyaxioms - The axioms to be removed.public ChangeApplied removeAxioms(OWLAxiom... axioms)
HasDirectRemoveAxiomsremoveAxioms in interface HasDirectRemoveAxiomsremoveAxioms in interface OWLOntologyaxioms - The axioms to be removed.public ChangeApplied remove(OWLAxiom axiom)
HasDirectRemoveAxiomremove in interface HasDirectRemoveAxiomaxiom - The axiom to be removedpublic ChangeApplied remove(Collection<? extends OWLAxiom> axioms)
HasDirectRemoveAxiomsremove in interface HasDirectRemoveAxiomsaxioms - The axioms to be removed.public ChangeApplied remove(OWLAxiom... axioms)
HasDirectRemoveAxiomsremove in interface HasDirectRemoveAxiomsaxioms - The axioms to be removed.public ChangeApplied applyDirectChange(OWLOntologyChange change)
HasApplyDirectChangeapplyDirectChange in interface HasApplyDirectChangeapplyDirectChange in interface OWLOntologychange - The change to be appliedpublic Stream<OWLDisjointObjectPropertiesAxiom> disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLDisjointObjectPropertiesAxioms that make the
specified property disjoint with some other object property
expression(s).disjointObjectPropertiesAxioms in interface OWLAxiomIndexproperty - The property that the retrieved axioms makes disjoint to some other property
expressions.public Stream<OWLObjectProperty> objectPropertiesInSignature()
objectPropertiesInSignature in interface HasObjectPropertiesInSignaturepublic Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity)
OWLAxiomIndexannotationAssertionAxioms in interface OWLAxiomIndexentity - The entity whose annotations are to be retrieved.public Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)
OWLAxiomIndexannotationAssertionAxioms in interface OWLAxiomIndexentity - The entity whose annotations are to be retrieved.imports - imports included or excludedpublic Stream<OWLAnnotationProperty> annotationPropertiesInSignature()
HasAnnotationPropertiesInSignatureannotationPropertiesInSignature in interface HasAnnotationPropertiesInSignaturepublic Stream<OWLAnnotationProperty> annotationPropertiesInSignature(Imports imports)
OWLSignatureannotationPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLAnnotation> annotations()
annotations in interface HasAnnotationspublic List<OWLAnnotation> annotationsAsList()
annotationsAsList in interface HasAnnotationspublic Stream<OWLAnnotation> annotations(OWLAnnotationProperty p)
annotations in interface HasAnnotationsp - annotation property to filter onpublic Stream<OWLAnnotation> annotations(Predicate<OWLAnnotation> p)
annotations in interface HasAnnotationsp - filter predicate for annotations. Can be used to match the annotation property or
the annotation valuepublic Stream<OWLAnonymousIndividual> anonymousIndividuals()
HasAnonymousIndividualsanonymousIndividuals in interface HasAnonymousIndividualspublic Stream<OWLAsymmetricObjectPropertyAxiom> asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLAsymmetricObjectPropertyAxioms contained in this
ontology that make the specified object property asymmetric.asymmetricObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made asymmetric by the axioms.public <T extends OWLAxiom> Stream<T> axioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
OWLAxiomIndexaxioms in interface OWLAxiomIndexT - type of returned axiomstype - type of axiomsentity - 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 entites, this parameter is ignored.public Stream<OWLAxiom> axioms(Imports imports)
axioms in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.public Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property, Imports imports)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionproperty - The property whose definition axioms are to be retrievedimports - if INCLUDED, include imports closure.public Stream<OWLClassAxiom> axioms(OWLClass cls, Imports imports)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectioncls - The class whose describing axioms are to be retrieved.imports - if INCLUDED, include imports closure.public Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property, Imports imports)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionproperty - The property whose defining axioms are to be retrieved.imports - if INCLUDED, include imports closure.public Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype, Imports imports)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectiondatatype - The datatypeimports - if INCLUDED, include imports closure.public Stream<OWLIndividualAxiom> axioms(OWLIndividual individual, Imports imports)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionindividual - The individual whose defining axioms are to be retrieved.imports - if INCLUDED, include imports closure.public Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property, Imports imports)
OWLAxiomCollectionaxioms in interface OWLAxiomCollectionproperty - The property whose defining axioms are to be retrieved.imports - if INCLUDED, include imports closure.public Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)
OWLAxiomIndexOWLClassAssertionAxioms contained in this ontology that
make the specified class expression, ce, a type for some
individual.classAssertionAxioms in interface OWLAxiomIndexce - The class expression that the returned axioms make a type for some individual.public Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLIndividual individual)
OWLAxiomIndexOWLClassAssertionAxioms contained in this ontology that
make the specified individual an instance of some class
expression.classAssertionAxioms in interface OWLAxiomIndexindividual - The individual that the returned axioms make an instance of some class
expression.public Stream<OWLClass> classesInSignature()
classesInSignature in interface HasClassesInSignaturepublic Stream<OWLClass> classesInSignature(Imports imports)
OWLSignatureclassesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLDataProperty> dataPropertiesInSignature()
dataPropertiesInSignature in interface HasDataPropertiesInSignaturepublic Stream<OWLDataProperty> dataPropertiesInSignature(Imports imports)
OWLSignaturedataPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLDataPropertyAssertionAxiom> dataPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndexOWLDataPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom.dataPropertyAssertionAxioms in interface OWLAxiomIndexindividual - The individual that the returned axioms have as a subject.public Stream<OWLDataPropertyDomainAxiom> dataPropertyDomainAxioms(OWLDataProperty property)
OWLAxiomIndexOWLDataPropertyDomainAxioms where the property is equal
to the specified property.dataPropertyDomainAxioms in interface OWLAxiomIndexproperty - The property which is equal to the property of the retrieved axioms.public Stream<OWLDataPropertyRangeAxiom> dataPropertyRangeAxioms(OWLDataProperty property)
OWLAxiomIndexOWLDataPropertyRangeAxioms where the property is equal
to the specified property.dataPropertyRangeAxioms in interface OWLAxiomIndexproperty - The property which is equal to the property of the retrieved axioms.public Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
OWLAxiomIndexOWLSubDataPropertyOfAxioms where the sub-property is
equal to the specified property.dataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexsubProperty - The property which is equal to the sub property of the retrieved axioms.public Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
OWLAxiomIndexOWLSubDataPropertyOfAxioms where the super-property is
equal to the specified property.dataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexsuperProperty - The property which is equal to the super-property of the retrieved
axioms.public Stream<OWLDatatype> datatypesInSignature()
datatypesInSignature in interface HasDatatypesInSignaturepublic Stream<OWLDatatype> datatypesInSignature(Imports imports)
OWLSignaturedatatypesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLDeclarationAxiom> declarationAxioms(OWLEntity subject)
OWLAxiomIndexdeclarationAxioms in interface OWLAxiomIndexsubject - The entity that is the subject of the set of returned axioms.public Stream<OWLDifferentIndividualsAxiom> differentIndividualAxioms(OWLIndividual individual)
OWLAxiomIndexOWLDifferentIndividualsAxioms contained in this ontology
that make the specified individual different to some other
individual.differentIndividualAxioms in interface OWLAxiomIndexindividual - The individual that the returned axioms make the different as some other
individual.public Stream<OWLDisjointClassesAxiom> disjointClassesAxioms(OWLClass cls)
OWLAxiomIndexdisjointClassesAxioms in interface OWLAxiomIndexcls - The class to searchpublic Stream<OWLDisjointDataPropertiesAxiom> disjointDataPropertiesAxioms(OWLDataProperty property)
OWLAxiomIndexOWLDisjointDataPropertiesAxioms that make the specified
property disjoint with some other data property expression(s).disjointDataPropertiesAxioms in interface OWLAxiomIndexproperty - The property that the retrieved axioms makes disjoint to some other property
expressions.public Stream<OWLDisjointUnionAxiom> disjointUnionAxioms(OWLClass owlClass)
OWLAxiomIndexdisjointUnionAxioms in interface OWLAxiomIndexowlClass - The class that indexes the axioms to be retrieved.public Stream<OWLEntity> entitiesInSignature(IRI iri, Imports imports)
OWLSignatureentitiesInSignature in interface OWLSignatureiri - The IRI of the entitied to be retrieved.imports - if INCLUDED, include imports closure.public Stream<OWLEquivalentClassesAxiom> equivalentClassesAxioms(OWLClass cls)
OWLAxiomIndexequivalentClassesAxioms in interface OWLAxiomIndexcls - The class to searchpublic Stream<OWLEquivalentDataPropertiesAxiom> equivalentDataPropertiesAxioms(OWLDataProperty property)
OWLAxiomIndexOWLEquivalentDataPropertiesAxioms that make the
specified property equivalent to some other data property expression(s).equivalentDataPropertiesAxioms in interface OWLAxiomIndexproperty - The property that the retrieved axioms make equivalent to some other property
expressions.public Stream<OWLEquivalentObjectPropertiesAxiom> equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLEquivalentObjectPropertiesAxioms that make the
specified property equivalent to some other object property
expression(s).equivalentObjectPropertiesAxioms in interface OWLAxiomIndexproperty - The property that the retrieved axioms make equivalent to some other property
expressions.@Deprecated public <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter, Object key)
OWLAxiomIndexfilterAxioms in interface OWLAxiomIndexT - type of returned axiomsfilter - the filter to matchkey - the key. Its type is generic and it is used only by the filter.public Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms(OWLDataPropertyExpression property)
OWLAxiomIndexOWLFunctionalDataPropertyAxioms contained in this
ontology that make the specified data property functional.functionalDataPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made functional by the axioms.public Stream<OWLFunctionalObjectPropertyAxiom> functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLFunctionalObjectPropertyAxioms contained in this
ontology that make the specified object property functional.functionalObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made functional by the axioms.@Deprecated public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)
OWLAxiomIndexgetAnnotationAssertionAxioms in interface OWLAxiomIndexentity - The entity whose annotations are to be retrieved.imports - imports included or excluded@Deprecated public Set<OWLAnnotation> getAnnotations(OWLAnnotationProperty annotationProperty)
HasAnnotationsannotationProperty.getAnnotations in interface HasAnnotationsannotationProperty - The annotation property that will be equal to the annotation
property of each returned annotation.annotationProperty.@Deprecated public <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
OWLAxiomIndexgetAxioms in interface OWLAxiomIndexT - type of returned axiomstype - type of axiomsexplicitClass - for overlapping indexes in the ontology internals, an explicit class
rathet 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 entites, this parameter is ignored.@Deprecated public <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
OWLAxiomIndexgetAxioms in interface OWLAxiomIndexT - type of returned axiomstype - type of axiomsentity - 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 entites, this parameter is ignored.@Nullable public OWLDocumentFormat getFormat()
getFormat in interface OWLOntology@Deprecated public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
OWLSignaturegetReferencedAnonymousIndividuals in interface OWLSignaturepublic Stream<OWLHasKeyAxiom> hasKeyAxioms(OWLClass cls)
OWLAxiomIndexhasKeyAxioms in interface OWLAxiomIndexcls - The subject of the has key axiomspublic Stream<OWLNamedIndividual> individualsInSignature()
individualsInSignature in interface HasIndividualsInSignaturepublic Stream<OWLNamedIndividual> individualsInSignature(Imports imports)
OWLSignatureindividualsInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLInverseFunctionalObjectPropertyAxiom> inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLInverseFunctionalObjectPropertyAxioms contained in
this ontology that make the specified object property inverse functional.inverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made inverse functional by the axioms.public Stream<OWLInverseObjectPropertiesAxiom> inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLInverseObjectPropertiesAxioms where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.properties() .inverseObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property which is equal to the property of the retrieved axioms.public Stream<OWLIrreflexiveObjectPropertyAxiom> irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLIrreflexiveObjectPropertyAxioms contained in this
ontology that make the specified object property irreflexive.irreflexiveObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made irreflexive by the axioms.public Stream<OWLLogicalAxiom> logicalAxioms(Imports imports)
OWLAxiomCollectionlogicalAxioms in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.OWLLogicalAxiom, optionally including
the imports closure.public Stream<OWLNegativeDataPropertyAssertionAxiom> negativeDataPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndexOWLNegativeDataPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom.negativeDataPropertyAssertionAxioms in interface OWLAxiomIndexindividual - The individual that the returned axioms have as a subject.public Stream<OWLNegativeObjectPropertyAssertionAxiom> negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndexOWLNegativeObjectPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom.negativeObjectPropertyAssertionAxioms in interface OWLAxiomIndexindividual - The individual that the returned axioms have as a subject.public Stream<OWLClassExpression> nestedClassExpressions()
OWLObjectnestedClassExpressions in interface OWLObjectOWLClassExpressions that represent the
nested class expressions used in this object.public Stream<OWLObjectProperty> objectPropertiesInSignature(Imports imports)
OWLSignatureobjectPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public Stream<OWLObjectPropertyAssertionAxiom> objectPropertyAssertionAxioms(OWLIndividual individual)
OWLAxiomIndexOWLObjectPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom.objectPropertyAssertionAxioms in interface OWLAxiomIndexindividual - The individual that the returned axioms have as a subject.public Stream<OWLObjectPropertyDomainAxiom> objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLObjectPropertyDomainAxioms where the property is
equal to the specified property.objectPropertyDomainAxioms in interface OWLAxiomIndexproperty - The property which is equal to the property of the retrieved axioms.public Stream<OWLObjectPropertyRangeAxiom> objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLObjectPropertyRangeAxiom s where the property is
equal to the specified property.objectPropertyRangeAxioms in interface OWLAxiomIndexproperty - The property which is equal to the property of the retrieved axioms.public Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
OWLAxiomIndexOWLSubObjectPropertyOfAxiom s where the sub-property is
equal to the specified property.objectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexsubProperty - The property which is equal to the sub property of the retrieved axioms.public Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
OWLAxiomIndexOWLSubObjectPropertyOfAxiom s where the super-property
is equal to the specified property.objectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexsuperProperty - The property which is equal to the super-property of the retrieved
axioms.public Stream<OWLReflexiveObjectPropertyAxiom> reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLReflexiveObjectPropertyAxioms contained in this
ontology that make the specified object property reflexive.reflexiveObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made reflexive by the axioms.public Stream<OWLSameIndividualAxiom> sameIndividualAxioms(OWLIndividual individual)
OWLAxiomIndexOWLSameIndividualAxioms contained in this ontology that
make the specified individual the same as some other individual.sameIndividualAxioms in interface OWLAxiomIndexindividual - The individual that the returned axioms make the same as some other
individual.public Stream<OWLSubClassOfAxiom> subClassAxiomsForSubClass(OWLClass cls)
OWLAxiomIndexsubClassAxiomsForSubClass in interface OWLAxiomIndexcls - The class that is equal to the left hand side of the axiom (subclass).public Stream<OWLSubClassOfAxiom> subClassAxiomsForSuperClass(OWLClass cls)
OWLAxiomIndexsubClassAxiomsForSuperClass in interface OWLAxiomIndexcls - The classpublic Stream<OWLSymmetricObjectPropertyAxiom> symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLSymmetricObjectPropertyAxioms contained in this
ontology that make the specified object property symmetric.symmetricObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made symmetric by the axioms.public Stream<OWLTransitiveObjectPropertyAxiom> transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAxiomIndexOWLTransitiveObjectPropertyAxioms contained in this
ontology that make the specified object property transitive.transitiveObjectPropertyAxioms in interface OWLAxiomIndexproperty - The property that is made transitive by the axioms.Copyright © 2019 The University of Manchester. All rights reserved.