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 |
---|---|
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 |
addAxiom(OWLAxiom owlAxiom)
A convenience method that adds a single axiom to an ontology.
|
ChangeApplied |
addAxioms(Set<? extends OWLAxiom> set)
A convenience method that adds a set of axioms to an ontology.
|
ChangeApplied |
applyChange(OWLOntologyChange owlOntologyChange)
A convenience method that applies just one change to an ontology.
|
ChangeApplied |
applyChanges(List<? extends OWLOntologyChange> list)
Applies a list ontology changes to a collection of ontologies.
|
ChangeDetails |
applyChangesAndGetDetails(List<? extends OWLOntologyChange> list)
Applies a list ontology changes to a collection of ontologies.
|
int |
compareTo(OWLObject o) |
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) |
boolean |
equals(Object obj) |
<T extends OWLAxiom> |
filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter,
Object o,
Imports imports)
Generic filter type for further refining search by axiom type.
|
Set<OWLAxiom> |
getABoxAxioms(Imports imports)
Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the
AxiomType::ABoxAxiomTypes.
|
Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject owlAnnotationSubject)
Gets the axioms that annotate the specified entity.
|
Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature()
A convenience method that obtains the annotation properties that are in
the signature of this object
|
Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature(boolean b)
Deprecated.
|
Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature(Imports imports)
Gets the annotation properties in the signature and optionally the imports closure.
|
Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
Gets the
OWLAnnotationPropertyDomainAxiom s where the specified
property is the property in the domain axiom. |
Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
Gets the
OWLAnnotationPropertyRangeAxiom s where the specified
property is the property in the range axiom. |
Set<OWLAnnotation> |
getAnnotations()
Gets the annotations on this ontology.
|
Set<OWLAnonymousIndividual> |
getAnonymousIndividuals()
Gets the anonymous individuals occurring in this object.
|
Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLAsymmetricObjectPropertyAxiom s contained in this
ontology that make the specified object property asymmetric. |
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()
Gets the
OWLAxiom s contained in this object. |
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
boolean b)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
Imports imports)
Gets all axioms of the specified type.
|
Set<OWLAxiom> |
getAxioms(boolean b)
Deprecated.
|
<T extends OWLAxiom> |
getAxioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation)
Generic search method: resutns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
<T extends OWLAxiom> |
getAxioms(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.
|
Set<OWLAxiom> |
getAxioms(Imports imports) |
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty owlAnnotationProperty)
Deprecated.
|
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty owlAnnotationProperty,
boolean b)
Deprecated.
|
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty owlAnnotationProperty,
Imports imports)
Gets the axioms that form the definition/description of an annotation property.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass owlClass)
Deprecated.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass owlClass,
boolean b)
Deprecated.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass owlClass,
Imports imports)
Gets the axioms that form the definition/description of a class.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty owlDataProperty)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty owlDataProperty,
boolean b)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty owlDataProperty,
Imports imports)
Gets the axioms that form the definition/description of a data property.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype owlDatatype)
Deprecated.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype owlDatatype,
boolean b)
Deprecated.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype owlDatatype,
Imports imports)
Gets the datatype definition axioms for the specified datatype.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual owlIndividual)
Deprecated.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual owlIndividual,
boolean b)
Deprecated.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual owlIndividual,
Imports imports)
Gets the axioms that form the definition/description of an individual.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Deprecated.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
boolean b)
Deprecated.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
Imports imports)
Gets the axioms that form the definition/description of an object property.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(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.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
boolean b)
Deprecated.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(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.
|
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClassExpression owlClassExpression)
Gets the
OWLClassAssertionAxiom s contained in this ontology that
make the specified class expression, ce , a type for some
individual. |
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual owlIndividual)
Gets the
OWLClassAssertionAxiom s contained in this ontology that
make the specified individual an instance of some class
expression. |
Set<OWLClass> |
getClassesInSignature()
Gets the classes in the signature of this object.
|
Set<OWLClass> |
getClassesInSignature(boolean b)
Deprecated.
|
Set<OWLClass> |
getClassesInSignature(Imports imports)
Gets the classes in the signature and optionally the imports closure.
|
Set<OWLDataProperty> |
getDataPropertiesInSignature()
A convenience method that obtains the data properties that are in the
signature of this object
|
Set<OWLDataProperty> |
getDataPropertiesInSignature(boolean b)
Deprecated.
|
Set<OWLDataProperty> |
getDataPropertiesInSignature(Imports imports)
Gets the data properties in the signature and optionally the imports closure.
|
Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
Gets the
OWLDataPropertyAssertionAxiom s contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty owlDataProperty)
Gets the
OWLDataPropertyDomainAxiom s where the property is equal
to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty owlDataProperty)
Gets the
OWLDataPropertyRangeAxiom s where the property is equal
to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty owlDataProperty)
Gets the
OWLSubDataPropertyOfAxiom s where the sub-property is
equal to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression owlDataPropertyExpression)
Gets the
OWLSubDataPropertyOfAxiom s where the super-property is
equal to the specified property. |
Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype owlDatatype)
Gets the
OWLDatatypeDefinitionAxiom s contained in this ontology
that provide a definition for the specified datatype. |
Set<OWLDatatype> |
getDatatypesInSignature()
A convenience method that obtains the datatypes that are in the signature
of this object
|
Set<OWLDatatype> |
getDatatypesInSignature(boolean b)
Deprecated.
|
Set<OWLDatatype> |
getDatatypesInSignature(Imports imports)
Gets the datatypes in the signature and optionally the imports closure.
|
Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity owlEntity)
Gets the declaration axioms for specified entity.
|
Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual owlIndividual)
Gets the
OWLDifferentIndividualsAxiom s contained in this ontology
that make the specified individual different to some other
individual. |
Set<OWLOntology> |
getDirectImports()
Gets the set of loaded ontologies that this ontology is related to via the
directlyImports relation.
|
Set<IRI> |
getDirectImportsDocuments()
Gets the set of document IRIs that are directly imported by this ontology.
|
Set<OWLDisjointClassesAxiom> |
getDisjointClassesAxioms(OWLClass owlClass)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
Set<OWLDisjointDataPropertiesAxiom> |
getDisjointDataPropertiesAxioms(OWLDataProperty owlDataProperty)
Gets the
OWLDisjointDataPropertiesAxiom s that make the specified
property disjoint with some other data property expression(s). |
Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLDisjointObjectPropertiesAxiom s that make the
specified property disjoint with some other object property
expression(s). |
Set<OWLDisjointUnionAxiom> |
getDisjointUnionAxioms(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.
|
Set<OWLEntity> |
getEntitiesInSignature(IRI iri) |
Set<OWLEntity> |
getEntitiesInSignature(IRI iri,
boolean b)
Deprecated.
|
Set<OWLEntity> |
getEntitiesInSignature(IRI iri,
Imports imports)
Gets the entities in the signature that have the specified IRI.
|
Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLClass owlClass)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
Set<OWLEquivalentDataPropertiesAxiom> |
getEquivalentDataPropertiesAxioms(OWLDataProperty owlDataProperty)
Gets the
OWLEquivalentDataPropertiesAxiom s that make the
specified property equivalent to some other data property expression(s). |
Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLEquivalentObjectPropertiesAxiom s that make the
specified property equivalent to some other object property
expression(s). |
Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression owlDataPropertyExpression)
Gets the
OWLFunctionalDataPropertyAxiom s contained in this
ontology that make the specified data property functional. |
Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLFunctionalObjectPropertyAxiom s contained in this
ontology that make the specified object property functional. |
Set<OWLClassAxiom> |
getGeneralClassAxioms()
Gets the set of general axioms in this ontology.
|
Set<OWLHasKeyAxiom> |
getHasKeyAxioms(OWLClass owlClass)
Gets the has key axioms that have the specified class as their subject.
|
Set<OWLOntology> |
getImports()
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. |
Set<OWLOntology> |
getImportsClosure()
Gets the set of loaded ontologies that this ontology is related to via the
reflexive transitive closure of the directlyImports relation as defined in Section
3.4 of the OWL 2 Structural Specification.
|
Set<OWLImportsDeclaration> |
getImportsDeclarations()
Gets the set of imports declarations for this ontology.
|
Set<OWLNamedIndividual> |
getIndividualsInSignature()
A convenience method that obtains the individuals that are in the
signature of this object
|
Set<OWLNamedIndividual> |
getIndividualsInSignature(boolean b)
Deprecated.
|
Set<OWLNamedIndividual> |
getIndividualsInSignature(Imports imports)
Gets the named individuals in the signature and optionally the imports closure.
|
Set<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLInverseFunctionalObjectPropertyAxiom s contained in
this ontology that make the specified object property inverse functional. |
Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLInverseObjectPropertiesAxiom s where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties() . |
Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLIrreflexiveObjectPropertyAxiom s contained in this
ontology that make the specified object property irreflexive. |
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()
Gets the set of
OWLLogicalAxiom s contained within this object. |
Set<OWLLogicalAxiom> |
getLogicalAxioms(boolean b)
Deprecated.
|
Set<OWLLogicalAxiom> |
getLogicalAxioms(Imports imports)
Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or
declaration axioms.
|
Set<OWLNegativeDataPropertyAssertionAxiom> |
getNegativeDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
Gets the
OWLNegativeDataPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom. |
Set<OWLNegativeObjectPropertyAssertionAxiom> |
getNegativeObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom s contained in
this ontology that have the specified individual as the subject
of the axiom. |
Set<OWLClassExpression> |
getNestedClassExpressions()
Gets all of the nested (includes top level) class expressions (anonymous and named) that are
used in this object.
|
Set<OWLObjectProperty> |
getObjectPropertiesInSignature()
A convenience method that obtains the object properties that are in the
signature of this object
|
Set<OWLObjectProperty> |
getObjectPropertiesInSignature(boolean b)
Deprecated.
|
Set<OWLObjectProperty> |
getObjectPropertiesInSignature(Imports imports)
Gets the object properties in the signature and optionally the imports closure.
|
Set<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
Gets the
OWLObjectPropertyAssertionAxiom s contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLObjectPropertyDomainAxiom s where the property is
equal to the specified property. |
Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLObjectPropertyRangeAxiom s where the property is
equal to the specified property. |
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLSubObjectPropertyOfAxiom s where the sub-property is
equal to the specified property. |
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLSubObjectPropertyOfAxiom s where the super-property
is equal to the specified property. |
OWLOntologyID |
getOntologyID()
Gets the identity of this ontology (i.e.
|
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)
Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the
AxiomType::RBoxAxiomTypes.
|
Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals(boolean b)
Deprecated.
|
Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals(Imports imports)
Gets the referenced anonymous individuals in the signature and optionally the imports
closure.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlPrimitive)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlPrimitive,
boolean b)
Deprecated.
|
Set<OWLAxiom> |
getReferencingAxioms(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. |
Set<OWLReflexiveObjectPropertyAxiom> |
getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLReflexiveObjectPropertyAxiom s contained in this
ontology that make the specified object property reflexive. |
Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual owlIndividual)
Gets the
OWLSameIndividualAxiom s contained in this ontology that
make the specified individual the same as some other individual. |
Set<OWLEntity> |
getSignature()
Gets the entities that are in the signature of this ontology.
|
Set<OWLEntity> |
getSignature(Imports imports)
Gets the entities that are in the signature of this ontology.
|
Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty owlAnnotationProperty)
Gets the
SubAnnotationPropertyOfAxiom s where the specified
property is the sub-property. |
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSubClass(OWLClass owlClass)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSuperClass(OWLClass owlClass)
Gets all of the subclass axioms where the right hand side (the
superclass) is equal to the specified class.
|
Set<OWLSymmetricObjectPropertyAxiom> |
getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLSymmetricObjectPropertyAxiom s contained in this
ontology that make the specified object property symmetric. |
Set<OWLAxiom> |
getTBoxAxioms(Imports imports)
Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the
AxiomType::TBoxAxiomTypes.
|
Set<OWLTransitiveObjectPropertyAxiom> |
getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLTransitiveObjectPropertyAxiom s contained in this
ontology that make the specified object property transitive. |
int |
hashCode() |
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).
|
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.
|
String |
toString() |
void |
trimToSize()
Trim the capacity of the axiom indexes.
|
isIndividual, isIRI
isNamed
@Inject public ConcurrentOWLOntologyImpl(@Nonnull OWLOntology delegate, @Nonnull ReadWriteLock readWriteLock)
OWLOntology
.delegate
- The delegate OWLOntology
.readWriteLock
- The ReadWriteLock
that will provide
the locking.NullPointerException
- if any parameters are null
.public void setLock(ReadWriteLock lock)
OWLMutableOntology
setLock
in interface OWLMutableOntology
lock
- overriding lock instance to usepublic void trimToSize()
HasTrimToSize
trimToSize
in interface HasTrimToSize
public void accept(@Nonnull OWLNamedObjectVisitor owlNamedObjectVisitor)
OWLOntology
accept
in interface OWLOntology
owlNamedObjectVisitor
- the visitor@Nonnull public <O> O accept(@Nonnull OWLNamedObjectVisitorEx<O> owlNamedObjectVisitorEx)
OWLOntology
accept
in interface OWLOntology
O
- visitor return typeowlNamedObjectVisitorEx
- The visitor@Nonnull public OWLOntologyManager getOWLOntologyManager()
OWLOntology
getOWLOntologyManager
in interface OWLOntology
public void setOWLOntologyManager(OWLOntologyManager owlOntologyManager)
OWLOntology
setOWLOntologyManager
in interface OWLOntology
owlOntologyManager
- the new manager for this ontology@Nonnull public OWLOntologyID getOntologyID()
OWLOntology
getOntologyID
in interface HasOntologyID
getOntologyID
in interface OWLOntology
public boolean isAnonymous()
isAnonymous
in interface IsAnonymous
true
if this object is anonymous, false
otherwise. For example, class
expressions are anonymous while class entities are not (they have an IRI);
OWLNamedIndividual
instances are named, OWLAnonymousIndividual
instances are anonymous. An ontology is anonymous if it does not have an ontology
IRI. In this case, getOntologyID().getOntologyIRI() will return an empty optional.@Nonnull public Set<OWLAnnotation> getAnnotations()
OWLOntology
getAnnotations
in interface HasAnnotations
getAnnotations
in interface OWLOntology
@Nonnull public Set<IRI> getDirectImportsDocuments()
OWLOntology
directlyImportsDocument
association as discussed in
Section 3.4 of the OWL 2 Structural specification.getDirectImportsDocuments
in interface OWLOntology
@Nonnull public Set<OWLOntology> getDirectImports()
OWLOntology
OWLOntology.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 HasDirectImports
getDirectImports
in interface OWLOntology
@Nonnull public Set<OWLOntology> getImports()
OWLOntology
getImports
in interface OWLOntology
@Nonnull public Set<OWLOntology> getImportsClosure()
OWLOntology
OWLOntology.getImports()
method plus this ontology.)getImportsClosure
in interface HasImportsClosure
getImportsClosure
in interface OWLOntology
@Nonnull public Set<OWLImportsDeclaration> getImportsDeclarations()
OWLOntology
getImportsDeclarations
in interface OWLOntology
public boolean isEmpty()
OWLOntology
HasAxioms.getAxioms()
returns the empty set), and it does not have any annotations (i.e.
OWLOntology.getAnnotations()
returns the empty set).isEmpty
in interface OWLOntology
true
if the ontology is empty, otherwise false
.@Nonnull public Set<OWLAxiom> getTBoxAxioms(@Nonnull Imports imports)
OWLOntology
getTBoxAxioms
in interface OWLOntology
imports
- if INCLUDED, the imports closure is included.@Nonnull public Set<OWLAxiom> getABoxAxioms(@Nonnull Imports imports)
OWLOntology
getABoxAxioms
in interface OWLOntology
imports
- if INCLUDED, the imports closure is included.@Nonnull public Set<OWLAxiom> getRBoxAxioms(@Nonnull Imports imports)
OWLOntology
getRBoxAxioms
in interface OWLOntology
imports
- if INCLUDED, the imports closure is included.@Nonnull public Set<OWLClassAxiom> getGeneralClassAxioms()
OWLOntology
OWLClass
es)OWLClass
es)getGeneralClassAxioms
in interface OWLOntology
@Nonnull public Set<OWLEntity> getSignature()
OWLOntology
getSignature
in interface HasSignature
getSignature
in interface OWLOntology
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()
@Nonnull public Set<OWLEntity> getSignature(@Nonnull Imports imports)
OWLOntology
getSignature
in interface OWLOntology
imports
- 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 boolean isDeclared(@Nonnull OWLEntity owlEntity)
OWLOntology
isDeclared
in interface OWLOntology
owlEntity
- The entity to be tested fortrue
if the ontology contains a declaration for the specified entity,
otherwise false
.public boolean isDeclared(@Nonnull OWLEntity owlEntity, @Nonnull Imports imports)
OWLOntology
isDeclared
in interface OWLOntology
owlEntity
- 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
OWLOntology
saveOntology
in interface OWLOntology
OWLOntologyStorageException
- 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(@Nonnull IRI iri) throws OWLOntologyStorageException
OWLOntology
saveOntology
in interface OWLOntology
iri
- The document IRI where the ontology should be saved toOWLOntologyStorageException
- If the ontology cannot be savedpublic void saveOntology(@Nonnull OutputStream outputStream) throws OWLOntologyStorageException
OWLOntology
saveOntology
in interface OWLOntology
outputStream
- 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(@Nonnull OWLDocumentFormat owlDocumentFormat) throws OWLOntologyStorageException
OWLOntology
saveOntology
in interface OWLOntology
owlDocumentFormat
- The format in which the ontology should be saved.OWLOntologyStorageException
- If the ontology cannot be saved.public void saveOntology(@Nonnull OWLDocumentFormat owlDocumentFormat, @Nonnull IRI iri) throws OWLOntologyStorageException
OWLOntology
saveOntology
in interface OWLOntology
owlDocumentFormat
- 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(@Nonnull OWLDocumentFormat owlDocumentFormat, @Nonnull OutputStream outputStream) throws OWLOntologyStorageException
OWLOntology
saveOntology
in interface OWLOntology
owlDocumentFormat
- 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(@Nonnull OWLOntologyDocumentTarget owlOntologyDocumentTarget) throws OWLOntologyStorageException
OWLOntology
OWLOntologyDocumentTarget
.saveOntology
in interface OWLOntology
owlOntologyDocumentTarget
- The output target where the ontology will be saved to.OWLOntologyStorageException
- If the ontology could not be saved.public void saveOntology(@Nonnull OWLDocumentFormat owlDocumentFormat, @Nonnull OWLOntologyDocumentTarget owlOntologyDocumentTarget) throws OWLOntologyStorageException
OWLOntology
saveOntology
in interface OWLOntology
owlDocumentFormat
- 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.@Nonnull public Set<OWLClassExpression> getNestedClassExpressions()
OWLObject
getNestedClassExpressions
in interface OWLObject
OWLClassExpression
s that represent the
nested class expressions used in this object.public void accept(@Nonnull OWLObjectVisitor owlObjectVisitor)
OWLObject
@Nonnull public <O> O accept(@Nonnull OWLObjectVisitorEx<O> owlObjectVisitorEx)
OWLObject
public boolean isTopEntity()
OWLObject
isTopEntity
in interface OWLObject
true
if this object corresponds to one of the above entities.public boolean isBottomEntity()
OWLObject
isBottomEntity
in interface OWLObject
true
if this object corresponds to one of the above entities.public int compareTo(OWLObject o)
compareTo
in interface Comparable<OWLObject>
public boolean containsEntityInSignature(@Nonnull OWLEntity owlEntity)
HasContainsEntityInSignature
containsEntityInSignature
in interface HasContainsEntityInSignature
owlEntity
- The entitytrue
if the signature of this object contains
owlEntity
, otherwise false
public boolean containsEntitiesOfTypeInSignature(EntityType<?> type)
OWLSignature
containsEntitiesOfTypeInSignature
in interface OWLSignature
type
- type of entity to checkpublic boolean containsEntitiesOfTypeInSignature(EntityType<?> type, Imports includeImportsClosure)
OWLSignature
containsEntitiesOfTypeInSignature
in interface OWLOntology
containsEntitiesOfTypeInSignature
in interface OWLSignature
type
- type of entity to checkincludeImportsClosure
- if INCLUDED, include imports closure.@Nonnull public Set<OWLAnonymousIndividual> getAnonymousIndividuals()
HasAnonymousIndividuals
getAnonymousIndividuals
in interface HasAnonymousIndividuals
@Nonnull public Set<OWLClass> getClassesInSignature()
HasClassesInSignature
getClassesInSignature
in interface HasClassesInSignature
@Nonnull public Set<OWLObjectProperty> getObjectPropertiesInSignature()
HasObjectPropertiesInSignature
getObjectPropertiesInSignature
in interface HasObjectPropertiesInSignature
@Nonnull public Set<OWLDataProperty> getDataPropertiesInSignature()
HasDataPropertiesInSignature
getDataPropertiesInSignature
in interface HasDataPropertiesInSignature
@Nonnull public Set<OWLNamedIndividual> getIndividualsInSignature()
HasIndividualsInSignature
getIndividualsInSignature
in interface HasIndividualsInSignature
@Nonnull public Set<OWLDatatype> getDatatypesInSignature()
HasDatatypesInSignature
getDatatypesInSignature
in interface HasDatatypesInSignature
@Nonnull public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
HasAnnotationPropertiesInSignature
getAnnotationPropertiesInSignature
in interface HasAnnotationPropertiesInSignature
@Nonnull public Set<OWLAxiom> getAxioms(@Nonnull Imports imports)
getAxioms
in interface OWLAxiomCollection
imports
- if INCLUDED, include imports closure.public int getAxiomCount(@Nonnull Imports imports)
getAxiomCount
in interface OWLAxiomCollection
imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLLogicalAxiom> getLogicalAxioms(@Nonnull Imports imports)
OWLAxiomCollection
getLogicalAxioms
in interface OWLAxiomCollection
imports
- 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(@Nonnull Imports imports)
OWLAxiomCollection
getLogicalAxiomCount
in interface OWLAxiomCollection
imports
- if INCLUDED, include imports closure.@Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull AxiomType<T> axiomType, @Nonnull Imports imports)
OWLAxiomCollection
getAxioms
in interface OWLAxiomCollection
T
- axiom typeaxiomType
- The type of axioms to be retrieved.imports
- if INCLUDED, include imports closure.public <T extends OWLAxiom> int getAxiomCount(@Nonnull AxiomType<T> axiomType, @Nonnull Imports imports)
OWLAxiomCollection
getAxiomCount
in interface OWLAxiomCollection
T
- axiom typeaxiomType
- The type of axiom to countimports
- if INCLUDED, include imports closure.public boolean containsAxiom(@Nonnull OWLAxiom owlAxiom, @Nonnull Imports imports, @Nonnull AxiomAnnotations axiomAnnotations)
OWLAxiomCollection
containsAxiom
in interface OWLAxiomCollection
owlAxiom
- 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.@Nonnull public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom, @Nonnull Imports imports)
OWLAxiomCollection
getAxiomsIgnoreAnnotations
in interface OWLAxiomCollection
owlAxiom
- 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.@Nonnull public Set<OWLAxiom> getReferencingAxioms(@Nonnull OWLPrimitive owlPrimitive, @Nonnull Imports imports)
OWLAxiomCollection
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.getReferencingAxioms
in interface OWLAxiomCollection
owlPrimitive
- The entity that should be directly referred to by all axioms in
the results set.imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass owlClass, @Nonnull Imports imports)
OWLAxiomCollection
getAxioms
in interface OWLAxiomCollection
owlClass
- The class whose describing axioms are to be retrieved.imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLObjectPropertyAxiom> getAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression, @Nonnull Imports imports)
OWLAxiomCollection
getAxioms
in interface OWLAxiomCollection
owlObjectPropertyExpression
- The property whose defining axioms are to be retrieved.imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLDataPropertyAxiom> getAxioms(@Nonnull OWLDataProperty owlDataProperty, @Nonnull Imports imports)
OWLAxiomCollection
getAxioms
in interface OWLAxiomCollection
owlDataProperty
- The property whose defining axioms are to be retrieved.imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLIndividualAxiom> getAxioms(@Nonnull OWLIndividual owlIndividual, @Nonnull Imports imports)
OWLAxiomCollection
getAxioms
in interface OWLAxiomCollection
owlIndividual
- The individual whose defining axioms are to be retrieved.imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLAnnotationAxiom> getAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty, @Nonnull Imports imports)
OWLAxiomCollection
getAxioms
in interface OWLAxiomCollection
owlAnnotationProperty
- The property whose definition axioms are to be retrievedimports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLDatatypeDefinitionAxiom> getAxioms(@Nonnull OWLDatatype owlDatatype, @Nonnull Imports imports)
OWLAxiomCollection
getAxioms
in interface OWLAxiomCollection
owlDatatype
- The datatypeimports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLAxiom> getAxioms()
HasAxioms
OWLAxiom
s contained in this object.@Nonnull public Set<OWLLogicalAxiom> getLogicalAxioms()
HasLogicalAxioms
OWLLogicalAxiom
s contained within this object.getLogicalAxioms
in interface HasLogicalAxioms
OWLLogicalAxiom
s that are contained within this
object. Changes are not reflected back.@Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull AxiomType<T> axiomType)
HasAxiomsByType
getAxioms
in interface HasAxiomsByType
T
- axiom typeaxiomType
- The type of axioms to be retrieved.public boolean containsAxiom(@Nonnull OWLAxiom owlAxiom)
HasContainsAxiom
OWLAxiom
.containsAxiom
in interface HasContainsAxiom
owlAxiom
- The OWLAxiom
to test for.true
if this object contains axiom
, otherwise
false
.@Nonnull @Deprecated public Set<OWLAxiom> getAxioms(boolean b)
getAxioms
in interface OWLAxiomCollectionBooleanArgs
b
- true if imports are included.@Deprecated public int getAxiomCount(boolean b)
getAxiomCount
in interface OWLAxiomCollectionBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLLogicalAxiom> getLogicalAxioms(boolean b)
OWLAxiomCollectionBooleanArgs
getLogicalAxioms
in interface OWLAxiomCollectionBooleanArgs
b
- 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)
OWLAxiomCollectionBooleanArgs
getLogicalAxiomCount
in interface OWLAxiomCollectionBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull AxiomType<T> axiomType, boolean b)
OWLAxiomCollectionBooleanArgs
getAxioms
in interface OWLAxiomCollectionBooleanArgs
T
- axiom typeaxiomType
- The type of axioms to be retrieved.b
- if true, include imports closure.@Deprecated public <T extends OWLAxiom> int getAxiomCount(@Nonnull AxiomType<T> axiomType, boolean b)
OWLAxiomCollectionBooleanArgs
getAxiomCount
in interface OWLAxiomCollectionBooleanArgs
T
- axiom typeaxiomType
- The type of axiom to countb
- if INCLUDED, include imports closure.@Deprecated public boolean containsAxiom(@Nonnull OWLAxiom owlAxiom, boolean b)
OWLAxiomCollectionBooleanArgs
containsAxiom
in interface OWLAxiomCollectionBooleanArgs
owlAxiom
- The axiom to search.b
- if INCLUDED, include imports closure.true
if the ontology contains the specified axiom.@Deprecated public boolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom, boolean b)
OWLAxiomCollectionBooleanArgs
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
.containsAxiomIgnoreAnnotations
in interface OWLAxiomCollectionBooleanArgs
owlAxiom
- The axiom to search.b
- if true, include imports closure.true
if the ontology contains the specified axiom.@Deprecated @Nonnull public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom, boolean b)
OWLAxiomCollectionBooleanArgs
getAxiomsIgnoreAnnotations
in interface OWLAxiomCollectionBooleanArgs
owlAxiom
- 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 @Nonnull public Set<OWLAxiom> getReferencingAxioms(@Nonnull OWLPrimitive owlPrimitive, boolean b)
OWLAxiomCollectionBooleanArgs
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.getReferencingAxioms
in interface OWLAxiomCollectionBooleanArgs
owlPrimitive
- The entity that should be directly referred to by all axioms in
the results set.b
- if INCLUDED, include imports closure.@Nonnull @Deprecated public Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass owlClass, boolean b)
OWLAxiomCollectionBooleanArgs
getAxioms
in interface OWLAxiomCollectionBooleanArgs
owlClass
- The class whose describing axioms are to be retrieved.b
- if INCLUDED, include imports closure.@Nonnull @Deprecated public Set<OWLObjectPropertyAxiom> getAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression, boolean b)
OWLAxiomCollectionBooleanArgs
getAxioms
in interface OWLAxiomCollectionBooleanArgs
owlObjectPropertyExpression
- The property whose defining axioms are to be retrieved.b
- if INCLUDED, include imports closure.@Nonnull @Deprecated public Set<OWLDataPropertyAxiom> getAxioms(@Nonnull OWLDataProperty owlDataProperty, boolean b)
OWLAxiomCollectionBooleanArgs
getAxioms
in interface OWLAxiomCollectionBooleanArgs
owlDataProperty
- The property whose defining axioms are to be retrieved.b
- if INCLUDED, include imports closure.@Nonnull @Deprecated public Set<OWLIndividualAxiom> getAxioms(@Nonnull OWLIndividual owlIndividual, boolean b)
OWLAxiomCollectionBooleanArgs
getAxioms
in interface OWLAxiomCollectionBooleanArgs
owlIndividual
- The individual whose defining axioms are to be retrieved.b
- if INCLUDED, include imports closure.@Nonnull @Deprecated public Set<OWLAnnotationAxiom> getAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty, boolean b)
OWLAxiomCollectionBooleanArgs
getAxioms
in interface OWLAxiomCollectionBooleanArgs
owlAnnotationProperty
- The property whose definition axioms are to be retrievedb
- if INCLUDED, include imports closure.@Nonnull @Deprecated public Set<OWLDatatypeDefinitionAxiom> getAxioms(@Nonnull OWLDatatype owlDatatype, boolean b)
OWLAxiomCollectionBooleanArgs
getAxioms
in interface OWLAxiomCollectionBooleanArgs
owlDatatype
- The datatypeb
- if INCLUDED, include imports closure.public int getAxiomCount()
getAxiomCount
in interface OWLAxiomCollectionNoArgs
public int getLogicalAxiomCount()
OWLAxiomCollectionNoArgs
getLogicalAxiomCount
in interface OWLAxiomCollectionNoArgs
public <T extends OWLAxiom> int getAxiomCount(@Nonnull AxiomType<T> axiomType)
OWLAxiomCollectionNoArgs
getAxiomCount
in interface OWLAxiomCollectionNoArgs
T
- axiom type classaxiomType
- The type of axiom to countpublic boolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom)
OWLAxiomCollectionNoArgs
containsAxiomIgnoreAnnotations
in interface OWLAxiomCollectionNoArgs
owlAxiom
- The axiom to search.true
if the ontology contains the specified axiom.@Nonnull public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom)
OWLAxiomCollectionNoArgs
getAxiomsIgnoreAnnotations
in interface OWLAxiomCollectionNoArgs
owlAxiom
- 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.@Nonnull public Set<OWLAxiom> getReferencingAxioms(@Nonnull OWLPrimitive owlPrimitive)
OWLAxiomCollectionNoArgs
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.getReferencingAxioms
in interface OWLAxiomCollectionNoArgs
owlPrimitive
- The entity that should be directly referred to by all axioms in the results
set.@Nonnull @Deprecated public Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass owlClass)
OWLAxiomCollectionNoArgs
getAxioms
in interface OWLAxiomCollectionNoArgs
owlClass
- The class whose describing axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLObjectPropertyAxiom> getAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomCollectionNoArgs
getAxioms
in interface OWLAxiomCollectionNoArgs
owlObjectPropertyExpression
- The property whose defining axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLDataPropertyAxiom> getAxioms(@Nonnull OWLDataProperty owlDataProperty)
OWLAxiomCollectionNoArgs
getAxioms
in interface OWLAxiomCollectionNoArgs
owlDataProperty
- The property whose defining axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLIndividualAxiom> getAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomCollectionNoArgs
getAxioms
in interface OWLAxiomCollectionNoArgs
owlIndividual
- The individual whose defining axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLAnnotationAxiom> getAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomCollectionNoArgs
getAxioms
in interface OWLAxiomCollectionNoArgs
owlAnnotationProperty
- The property whose definition axioms are to be retrieved@Nonnull @Deprecated public Set<OWLDatatypeDefinitionAxiom> getAxioms(@Nonnull OWLDatatype owlDatatype)
OWLAxiomCollectionNoArgs
getAxioms
in interface OWLAxiomCollectionNoArgs
owlDatatype
- The datatype@Nonnull public Set<OWLClass> getClassesInSignature(@Nonnull Imports imports)
OWLSignature
getClassesInSignature
in interface OWLSignature
imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLObjectProperty> getObjectPropertiesInSignature(@Nonnull Imports imports)
OWLSignature
getObjectPropertiesInSignature
in interface OWLSignature
imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLDataProperty> getDataPropertiesInSignature(@Nonnull Imports imports)
OWLSignature
getDataPropertiesInSignature
in interface OWLSignature
imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLNamedIndividual> getIndividualsInSignature(@Nonnull Imports imports)
OWLSignature
getIndividualsInSignature
in interface OWLSignature
imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(@Nonnull Imports imports)
OWLSignature
getReferencedAnonymousIndividuals
in interface OWLSignature
imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLDatatype> getDatatypesInSignature(@Nonnull Imports imports)
OWLSignature
getDatatypesInSignature
in interface OWLSignature
imports
- if INCLUDED, include imports closure.@Nonnull public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(@Nonnull Imports imports)
OWLSignature
getAnnotationPropertiesInSignature
in interface OWLSignature
imports
- if INCLUDED, include imports closure.public boolean containsEntityInSignature(@Nonnull OWLEntity owlEntity, @Nonnull Imports imports)
OWLSignature
containsEntityInSignature
in interface OWLSignature
owlEntity
- 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(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
containsEntityInSignature
in interface OWLSignature
iri
- The IRI to test for.imports
- if INCLUDED, include imports closure.public boolean containsClassInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
containsClassInSignature
in interface OWLSignature
iri
- The IRI of the class to check forimports
- if INCLUDED, include imports closure.public boolean containsObjectPropertyInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
containsObjectPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLObjectProperty to check forimports
- if INCLUDED, include imports closure.public boolean containsDataPropertyInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
containsDataPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLDataProperty to check forimports
- if INCLUDED, include imports closure.public boolean containsAnnotationPropertyInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
containsAnnotationPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLAnnotationProperty to check forimports
- if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
containsDatatypeInSignature
in interface OWLSignature
iri
- The IRI of the OWLDatatype to check forimports
- if INCLUDED, include imports closure.public boolean containsIndividualInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
containsIndividualInSignature
in interface OWLSignature
iri
- The IRI of the OWLNamedIndividual to check forimports
- if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(@Nonnull IRI iri)
OWLSignature
containsDatatypeInSignature
in interface OWLSignature
iri
- The IRI of the OWLDatatype to check forpublic boolean containsEntityInSignature(@Nonnull IRI iri)
OWLSignature
containsEntityInSignature
in interface OWLSignature
iri
- The IRI to test for.public boolean containsClassInSignature(@Nonnull IRI iri)
OWLSignature
containsClassInSignature
in interface OWLSignature
iri
- The IRI of the class to check forpublic boolean containsObjectPropertyInSignature(@Nonnull IRI iri)
OWLSignature
containsObjectPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLObjectProperty to check forpublic boolean containsDataPropertyInSignature(@Nonnull IRI iri)
OWLSignature
containsDataPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLDataProperty to check forpublic boolean containsAnnotationPropertyInSignature(@Nonnull IRI iri)
OWLSignature
containsAnnotationPropertyInSignature
in interface OWLSignature
iri
- The IRI of the OWLAnnotationProperty to check forpublic boolean containsIndividualInSignature(@Nonnull IRI iri)
OWLSignature
containsIndividualInSignature
in interface OWLSignature
iri
- The IRI of the OWLNamedIndividual to check for@Nonnull public Set<OWLEntity> getEntitiesInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignature
getEntitiesInSignature
in interface OWLSignature
iri
- The IRI of the entitied to be retrieved.imports
- if INCLUDED, include imports closure.public Set<IRI> getPunnedIRIs(@Nonnull Imports imports)
OWLSignature
getPunnedIRIs
in interface OWLSignature
imports
- if INCLUDED, include imports closure.public boolean containsReference(@Nonnull OWLEntity owlEntity, @Nonnull Imports imports)
containsReference
in interface OWLSignature
owlEntity
- entity to checkimports
- if INCLUDED, include imports closure.public boolean containsReference(@Nonnull OWLEntity owlEntity)
containsReference
in interface OWLSignature
owlEntity
- entity to check@Nonnull public Set<OWLEntity> getEntitiesInSignature(@Nonnull IRI iri)
getEntitiesInSignature
in interface HasGetEntitiesInSignature
iri
- IRI for all entities to retrieve@Deprecated @Nonnull public Set<OWLClass> getClassesInSignature(boolean b)
OWLSignatureBooleanArgs
getClassesInSignature
in interface OWLSignatureBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean b)
OWLSignatureBooleanArgs
getObjectPropertiesInSignature
in interface OWLSignatureBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLDataProperty> getDataPropertiesInSignature(boolean b)
OWLSignatureBooleanArgs
getDataPropertiesInSignature
in interface OWLSignatureBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLNamedIndividual> getIndividualsInSignature(boolean b)
OWLSignatureBooleanArgs
getIndividualsInSignature
in interface OWLSignatureBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(boolean b)
OWLSignatureBooleanArgs
getReferencedAnonymousIndividuals
in interface OWLSignatureBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLDatatype> getDatatypesInSignature(boolean b)
OWLSignatureBooleanArgs
getDatatypesInSignature
in interface OWLSignatureBooleanArgs
b
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(boolean b)
OWLSignatureBooleanArgs
getAnnotationPropertiesInSignature
in interface OWLSignatureBooleanArgs
b
- if true, include imports closure.@Deprecated public boolean containsEntityInSignature(@Nonnull OWLEntity owlEntity, boolean b)
OWLSignatureBooleanArgs
containsEntityInSignature
in interface OWLSignatureBooleanArgs
owlEntity
- 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(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
containsEntityInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI to test for.b
- if true, include imports closure.@Deprecated public boolean containsClassInSignature(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
containsClassInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI of the class to check forb
- if true, include imports closure.@Deprecated public boolean containsObjectPropertyInSignature(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
containsObjectPropertyInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI of the OWLObjectProperty to check forb
- if true, include imports closure.@Deprecated public boolean containsDataPropertyInSignature(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
containsDataPropertyInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI of the OWLDataProperty to check forb
- if true, include imports closure.@Deprecated public boolean containsAnnotationPropertyInSignature(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
containsAnnotationPropertyInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI of the OWLAnnotationProperty to check forb
- if true, include imports closure.@Deprecated public boolean containsDatatypeInSignature(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
containsDatatypeInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI of the OWLDatatype to check forb
- if true, include imports closure.@Deprecated public boolean containsIndividualInSignature(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
containsIndividualInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI of the OWLNamedIndividual to check forb
- if true, include imports closure.@Deprecated @Nonnull public Set<OWLEntity> getEntitiesInSignature(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgs
getEntitiesInSignature
in interface OWLSignatureBooleanArgs
iri
- The IRI of the entitied to be retrieved.b
- if true, include imports closure.@Deprecated public boolean containsReference(@Nonnull OWLEntity owlEntity, boolean b)
containsReference
in interface OWLSignatureBooleanArgs
owlEntity
- entity to checkb
- if true, include imports closure.@Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull Class<T> aClass, @Nonnull OWLObject owlObject, @Nonnull Imports imports, @Nonnull Navigation navigation)
OWLAxiomIndex
getAxioms
in interface OWLAxiomIndex
T
- 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.@Nonnull public <T extends OWLAxiom> Collection<T> filterAxioms(@Nonnull OWLAxiomSearchFilter owlAxiomSearchFilter, @Nonnull Object o, @Nonnull Imports imports)
OWLAxiomIndex
filterAxioms
in interface OWLAxiomIndex
T
- 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(@Nonnull OWLAxiomSearchFilter owlAxiomSearchFilter, @Nonnull Object o, @Nonnull Imports imports)
OWLAxiomIndex
contains
in interface OWLAxiomIndex
owlAxiomSearchFilter
- the filter to matcho
- the key. Its type is generic and it is used only by the filter.imports
- if INCLUDED, include imports closure.@Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull Class<T> aClass, @Nonnull Class<? extends OWLObject> aClass1, @Nonnull OWLObject owlObject, @Nonnull Imports imports, @Nonnull Navigation navigation)
OWLAxiomIndex
getAxioms
in interface OWLAxiomIndex
T
- 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.@Nonnull public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndex
SubAnnotationPropertyOfAxiom
s where the specified
property is the sub-property.getSubAnnotationPropertyOfAxioms
in interface OWLAxiomIndex
owlAnnotationProperty
- The sub-property of the axioms to be retrieved.@Nonnull public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndex
OWLAnnotationPropertyDomainAxiom
s where the specified
property is the property in the domain axiom.getAnnotationPropertyDomainAxioms
in interface OWLAxiomIndex
owlAnnotationProperty
- The property that the axiom specifies a domain for.@Nonnull public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndex
OWLAnnotationPropertyRangeAxiom
s where the specified
property is the property in the range axiom.getAnnotationPropertyRangeAxioms
in interface OWLAxiomIndex
owlAnnotationProperty
- The property that the axiom specifies a range for.@Nonnull public Set<OWLDeclarationAxiom> getDeclarationAxioms(@Nonnull OWLEntity owlEntity)
OWLAxiomIndex
getDeclarationAxioms
in interface OWLAxiomIndex
owlEntity
- The entity that is the subject of the set of returned axioms.@Nonnull public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(@Nonnull OWLAnnotationSubject owlAnnotationSubject)
OWLAxiomIndex
getAnnotationAssertionAxioms
in interface OWLAxiomIndex
owlAnnotationSubject
- The entity whose annotations are to be retrieved.@Nonnull public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(@Nonnull OWLClass owlClass)
OWLAxiomIndex
getSubClassAxiomsForSubClass
in interface OWLAxiomIndex
owlClass
- The class that is equal to the left hand side of the axiom
(subclass).@Nonnull public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(@Nonnull OWLClass owlClass)
OWLAxiomIndex
getSubClassAxiomsForSuperClass
in interface OWLAxiomIndex
owlClass
- The class@Nonnull public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndex
getEquivalentClassesAxioms
in interface OWLAxiomIndex
owlClass
- The class to search@Nonnull public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndex
getDisjointClassesAxioms
in interface OWLAxiomIndex
owlClass
- The class to search@Nonnull public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndex
getDisjointUnionAxioms
in interface OWLAxiomIndex
owlClass
- The class that indexes the axioms to be retrieved.@Nonnull public Set<OWLHasKeyAxiom> getHasKeyAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndex
getHasKeyAxioms
in interface OWLAxiomIndex
owlClass
- The subject of the has key axioms@Nonnull public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLSubObjectPropertyOfAxiom
s where the sub-property is
equal to the specified property.getObjectSubPropertyAxiomsForSubProperty
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property which is equal to the sub property of the retrieved
axioms.@Nonnull public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLSubObjectPropertyOfAxiom
s where the super-property
is equal to the specified property.getObjectSubPropertyAxiomsForSuperProperty
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property which is equal to the super-property of the retrieved
axioms.@Nonnull public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLObjectPropertyDomainAxiom
s where the property is
equal to the specified property.getObjectPropertyDomainAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property which is equal to the property of the retrieved
axioms.@Nonnull public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLObjectPropertyRangeAxiom
s where the property is
equal to the specified property.getObjectPropertyRangeAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property which is equal to the property of the retrieved
axioms.@Nonnull public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLInverseObjectPropertiesAxiom
s where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties()
.getInverseObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property which is equal to the property of the retrieved
axioms.@Nonnull public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLEquivalentObjectPropertiesAxiom
s that make the
specified property equivalent to some other object property
expression(s).getEquivalentObjectPropertiesAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that the retrieved axioms make equivalent to some
other property expressions.@Nonnull public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLDisjointObjectPropertiesAxiom
s that make the
specified property disjoint with some other object property
expression(s).getDisjointObjectPropertiesAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that the retrieved axioms makes disjoint to some
other property expressions.@Nonnull public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLFunctionalObjectPropertyAxiom
s contained in this
ontology that make the specified object property functional.getFunctionalObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that is made functional by the axioms.@Nonnull public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLInverseFunctionalObjectPropertyAxiom
s contained in
this ontology that make the specified object property inverse functional.getInverseFunctionalObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that is made inverse functional by the axioms.@Nonnull public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLSymmetricObjectPropertyAxiom
s contained in this
ontology that make the specified object property symmetric.getSymmetricObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that is made symmetric by the axioms.@Nonnull public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLAsymmetricObjectPropertyAxiom
s contained in this
ontology that make the specified object property asymmetric.getAsymmetricObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that is made asymmetric by the axioms.@Nonnull public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLReflexiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property reflexive.getReflexiveObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that is made reflexive by the axioms.@Nonnull public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLIrreflexiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property irreflexive.getIrreflexiveObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that is made irreflexive by the axioms.@Nonnull public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomIndex
OWLTransitiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property transitive.getTransitiveObjectPropertyAxioms
in interface OWLAxiomIndex
owlObjectPropertyExpression
- The property that is made transitive by the axioms.@Nonnull public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(@Nonnull OWLDataProperty owlDataProperty)
OWLAxiomIndex
OWLSubDataPropertyOfAxiom
s where the sub-property is
equal to the specified property.getDataSubPropertyAxiomsForSubProperty
in interface OWLAxiomIndex
owlDataProperty
- The property which is equal to the sub property of the retrieved
axioms.@Nonnull public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(@Nonnull OWLDataPropertyExpression owlDataPropertyExpression)
OWLAxiomIndex
OWLSubDataPropertyOfAxiom
s where the super-property is
equal to the specified property.getDataSubPropertyAxiomsForSuperProperty
in interface OWLAxiomIndex
owlDataPropertyExpression
- The property which is equal to the super-property of the retrieved
axioms.@Nonnull public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(@Nonnull OWLDataProperty owlDataProperty)
OWLAxiomIndex
OWLDataPropertyDomainAxiom
s where the property is equal
to the specified property.getDataPropertyDomainAxioms
in interface OWLAxiomIndex
owlDataProperty
- The property which is equal to the property of the retrieved
axioms.@Nonnull public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(@Nonnull OWLDataProperty owlDataProperty)
OWLAxiomIndex
OWLDataPropertyRangeAxiom
s where the property is equal
to the specified property.getDataPropertyRangeAxioms
in interface OWLAxiomIndex
owlDataProperty
- The property which is equal to the property of the retrieved
axioms.@Nonnull public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(@Nonnull OWLDataProperty owlDataProperty)
OWLAxiomIndex
OWLEquivalentDataPropertiesAxiom
s that make the
specified property equivalent to some other data property expression(s).getEquivalentDataPropertiesAxioms
in interface OWLAxiomIndex
owlDataProperty
- The property that the retrieved axioms make equivalent to some
other property expressions.@Nonnull public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(@Nonnull OWLDataProperty owlDataProperty)
OWLAxiomIndex
OWLDisjointDataPropertiesAxiom
s that make the specified
property disjoint with some other data property expression(s).getDisjointDataPropertiesAxioms
in interface OWLAxiomIndex
owlDataProperty
- The property that the retrieved axioms makes disjoint to some
other property expressions.@Nonnull public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(@Nonnull OWLDataPropertyExpression owlDataPropertyExpression)
OWLAxiomIndex
OWLFunctionalDataPropertyAxiom
s contained in this
ontology that make the specified data property functional.getFunctionalDataPropertyAxioms
in interface OWLAxiomIndex
owlDataPropertyExpression
- The property that is made functional by the axioms.@Nonnull public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomIndex
OWLClassAssertionAxiom
s contained in this ontology that
make the specified individual
an instance of some class
expression.getClassAssertionAxioms
in interface OWLAxiomIndex
owlIndividual
- The individual that the returned axioms make an instance of some
class expression.@Nonnull public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(@Nonnull OWLClassExpression owlClassExpression)
OWLAxiomIndex
OWLClassAssertionAxiom
s contained in this ontology that
make the specified class expression, ce
, a type for some
individual.getClassAssertionAxioms
in interface OWLAxiomIndex
owlClassExpression
- The class expression that the returned axioms make a type for some
individual.@Nonnull public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomIndex
OWLDataPropertyAssertionAxiom
s contained in this
ontology that have the specified individual
as the subject of the
axiom.getDataPropertyAssertionAxioms
in interface OWLAxiomIndex
owlIndividual
- The individual that the returned axioms have as a subject.@Nonnull public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomIndex
OWLObjectPropertyAssertionAxiom
s contained in this
ontology that have the specified individual
as the subject of the
axiom.getObjectPropertyAssertionAxioms
in interface OWLAxiomIndex
owlIndividual
- The individual that the returned axioms have as a subject.@Nonnull public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomIndex
OWLNegativeObjectPropertyAssertionAxiom
s contained in
this ontology that have the specified individual
as the subject
of the axiom.getNegativeObjectPropertyAssertionAxioms
in interface OWLAxiomIndex
owlIndividual
- The individual that the returned axioms have as a subject.@Nonnull public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomIndex
OWLNegativeDataPropertyAssertionAxiom
s contained in
this ontology that have the specified individual
as the subject
of the axiom.getNegativeDataPropertyAssertionAxioms
in interface OWLAxiomIndex
owlIndividual
- The individual that the returned axioms have as a subject.@Nonnull public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomIndex
OWLSameIndividualAxiom
s contained in this ontology that
make the specified individual
the same as some other individual.getSameIndividualAxioms
in interface OWLAxiomIndex
owlIndividual
- The individual that the returned axioms make the same as some
other individual.@Nonnull public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomIndex
OWLDifferentIndividualsAxiom
s contained in this ontology
that make the specified individual
different to some other
individual.getDifferentIndividualAxioms
in interface OWLAxiomIndex
owlIndividual
- The individual that the returned axioms make the different as some
other individual.@Nonnull public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(@Nonnull OWLDatatype owlDatatype)
OWLAxiomIndex
OWLDatatypeDefinitionAxiom
s contained in this ontology
that provide a definition for the specified datatype.getDatatypeDefinitions
in interface OWLAxiomIndex
owlDatatype
- The datatype for which the returned axioms provide a definition.@Nonnull public ChangeApplied applyChange(@Nonnull OWLOntologyChange owlOntologyChange)
HasApplyChange
OWLOntologyManager
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 HasApplyChange
owlOntologyChange
- The change to be applied@Nonnull public ChangeApplied applyChanges(@Nonnull List<? extends OWLOntologyChange> list)
HasApplyChanges
OWLOntologyManager
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.applyChanges
in interface HasApplyChanges
list
- The changes to be applied.public ChangeDetails applyChangesAndGetDetails(List<? extends OWLOntologyChange> list)
HasApplyChanges
applyChangesAndGetDetails
in interface HasApplyChanges
list
- The changes to be applied.@Nonnull public ChangeApplied addAxiom(@Nonnull OWLAxiom owlAxiom)
HasDirectAddAxiom
addAxiom
in interface HasDirectAddAxiom
owlAxiom
- The axiom to be addedpublic ChangeApplied addAxioms(@Nonnull Set<? extends OWLAxiom> set)
HasDirectAddAxioms
addAxioms
in interface HasDirectAddAxioms
set
- The axioms to be added. Not null
.Copyright © 2020 The University of Manchester. All rights reserved.