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 that is
managed by this manager.
|
ChangeApplied |
applyChanges(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 |
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
OWLAnnotationPropertyDomainAxioms where the specified
property is the property in the domain axiom. |
Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
Gets the
OWLAnnotationPropertyRangeAxioms 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
OWLAsymmetricObjectPropertyAxioms 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
OWLAxioms 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
OWLClassAssertionAxioms contained in this ontology that
make the specified class expression, ce, a type for some
individual. |
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual owlIndividual)
Gets the
OWLClassAssertionAxioms 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
OWLDataPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty owlDataProperty)
Gets the
OWLDataPropertyDomainAxioms where the property is equal
to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty owlDataProperty)
Gets the
OWLDataPropertyRangeAxioms where the property is equal
to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty owlDataProperty)
Gets the
OWLSubDataPropertyOfAxioms where the sub-property is
equal to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression owlDataPropertyExpression)
Gets the
OWLSubDataPropertyOfAxioms where the super-property is
equal to the specified property. |
Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype owlDatatype)
Gets the
OWLDatatypeDefinitionAxioms 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
OWLDifferentIndividualsAxioms 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
OWLDisjointDataPropertiesAxioms that make the specified
property disjoint with some other data property expression(s). |
Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLDisjointObjectPropertiesAxioms 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
OWLEquivalentDataPropertiesAxioms that make the
specified property equivalent to some other data property expression(s). |
Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLEquivalentObjectPropertiesAxioms that make the
specified property equivalent to some other object property
expression(s). |
Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression owlDataPropertyExpression)
Gets the
OWLFunctionalDataPropertyAxioms contained in this
ontology that make the specified data property functional. |
Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLFunctionalObjectPropertyAxioms 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
OWLInverseFunctionalObjectPropertyAxioms contained in
this ontology that make the specified object property inverse functional. |
Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLInverseObjectPropertiesAxioms where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties() . |
Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLIrreflexiveObjectPropertyAxioms 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
OWLLogicalAxioms 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 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
OWLObjectPropertyAssertionAxioms contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Gets the
OWLObjectPropertyDomainAxioms 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
OWLReflexiveObjectPropertyAxioms contained in this
ontology that make the specified object property reflexive. |
Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual owlIndividual)
Gets the
OWLSameIndividualAxioms 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
SubAnnotationPropertyOfAxioms 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
OWLSymmetricObjectPropertyAxioms 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
OWLTransitiveObjectPropertyAxioms contained in this
ontology that make the specified object property transitive. |
int |
hashCode() |
boolean |
isAnonymous()
Determines whether or not this ontology is anonymous.
|
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 |
setOWLOntologyManager(OWLOntologyManager owlOntologyManager)
Sets the manager for this ontology.
|
String |
toString() |
void |
trimToSize()
Trim the capacity of the axiom indexes.
|
@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 trimToSize()
HasTrimToSizetrimToSize in interface HasTrimToSizepublic void accept(@Nonnull OWLNamedObjectVisitor owlNamedObjectVisitor)
OWLOntologyaccept in interface OWLOntologyowlNamedObjectVisitor - the visitor@Nonnull public <O> O accept(@Nonnull OWLNamedObjectVisitorEx<O> owlNamedObjectVisitorEx)
OWLOntologyaccept in interface OWLOntologyO - visitor return typeowlNamedObjectVisitorEx - The visitor@Nonnull public OWLOntologyManager getOWLOntologyManager()
OWLOntologygetOWLOntologyManager in interface OWLOntologypublic void setOWLOntologyManager(OWLOntologyManager owlOntologyManager)
OWLOntologysetOWLOntologyManager in interface OWLOntologyowlOntologyManager - the new manager for this ontology@Nonnull public OWLOntologyID getOntologyID()
OWLOntologygetOntologyID in interface HasOntologyIDgetOntologyID in interface OWLOntologypublic boolean isAnonymous()
OWLOntologyisAnonymous in interface OWLOntologytrue if this ontology is anonymous, otherwise
false@Nonnull public Set<OWLAnnotation> getAnnotations()
OWLOntologygetAnnotations in interface HasAnnotationsgetAnnotations in interface OWLOntology@Nonnull public Set<IRI> getDirectImportsDocuments()
OWLOntologygetDirectImportsDocuments in interface OWLOntology@Nonnull public Set<OWLOntology> getDirectImports()
OWLOntologyOWLOntology.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 HasDirectImportsgetDirectImports in interface OWLOntology@Nonnull public Set<OWLOntology> getImports()
OWLOntologygetImports in interface OWLOntology@Nonnull public Set<OWLOntology> getImportsClosure()
OWLOntologyOWLOntology.getImports() method plus this ontology.)getImportsClosure in interface HasImportsClosuregetImportsClosure in interface OWLOntology@Nonnull public Set<OWLImportsDeclaration> getImportsDeclarations()
OWLOntologygetImportsDeclarations in interface OWLOntologypublic boolean isEmpty()
OWLOntologyHasAxioms.getAxioms() returns the empty set),
and it does not have any annotations (i.e. OWLOntology.getAnnotations()
returns the empty set).isEmpty in interface OWLOntologytrue if the ontology is empty, otherwise false.@Nonnull public Set<OWLAxiom> getTBoxAxioms(@Nonnull Imports imports)
OWLOntologygetTBoxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.@Nonnull public Set<OWLAxiom> getABoxAxioms(@Nonnull Imports imports)
OWLOntologygetABoxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.@Nonnull public Set<OWLAxiom> getRBoxAxioms(@Nonnull Imports imports)
OWLOntologygetRBoxAxioms in interface OWLOntologyimports - if INCLUDED, the imports closure is included.@Nonnull public Set<OWLClassAxiom> getGeneralClassAxioms()
OWLOntologyOWLClasses)OWLClasses)getGeneralClassAxioms in interface OWLOntology@Nonnull public Set<OWLEntity> getSignature()
OWLOntologygetSignature in interface HasSignaturegetSignature in interface OWLOntologyOWLEntity 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)
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 boolean isDeclared(@Nonnull 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(@Nonnull OWLEntity owlEntity, @Nonnull 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(@Nonnull 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(@Nonnull 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(@Nonnull 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(@Nonnull OWLDocumentFormat owlDocumentFormat, @Nonnull 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(@Nonnull OWLDocumentFormat owlDocumentFormat, @Nonnull 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(@Nonnull 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(@Nonnull OWLDocumentFormat owlDocumentFormat, @Nonnull 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.@Nonnull public Set<OWLClassExpression> getNestedClassExpressions()
OWLObjectgetNestedClassExpressions in interface OWLObjectOWLClassExpressions
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)
OWLObjectpublic 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(OWLObject o)
compareTo in interface Comparable<OWLObject>public boolean containsEntityInSignature(@Nonnull OWLEntity owlEntity)
HasContainsEntityInSignaturecontainsEntityInSignature in interface HasContainsEntityInSignatureowlEntity - The entitytrue if the signature of this object contains
owlEntity, otherwise false@Nonnull public Set<OWLAnonymousIndividual> getAnonymousIndividuals()
HasAnonymousIndividualsgetAnonymousIndividuals in interface HasAnonymousIndividuals@Nonnull public Set<OWLClass> getClassesInSignature()
HasClassesInSignaturegetClassesInSignature in interface HasClassesInSignature@Nonnull public Set<OWLObjectProperty> getObjectPropertiesInSignature()
HasObjectPropertiesInSignaturegetObjectPropertiesInSignature in interface HasObjectPropertiesInSignature@Nonnull public Set<OWLDataProperty> getDataPropertiesInSignature()
HasDataPropertiesInSignaturegetDataPropertiesInSignature in interface HasDataPropertiesInSignature@Nonnull public Set<OWLNamedIndividual> getIndividualsInSignature()
HasIndividualsInSignaturegetIndividualsInSignature in interface HasIndividualsInSignature@Nonnull public Set<OWLDatatype> getDatatypesInSignature()
HasDatatypesInSignaturegetDatatypesInSignature in interface HasDatatypesInSignature@Nonnull public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
HasAnnotationPropertiesInSignaturegetAnnotationPropertiesInSignature in interface HasAnnotationPropertiesInSignature@Nonnull public Set<OWLAxiom> getAxioms(@Nonnull Imports imports)
getAxioms in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.public int getAxiomCount(@Nonnull Imports imports)
getAxiomCount in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLLogicalAxiom> getLogicalAxioms(@Nonnull 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(@Nonnull Imports imports)
OWLAxiomCollectiongetLogicalAxiomCount in interface OWLAxiomCollectionimports - if INCLUDED, include imports closure.@Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull AxiomType<T> axiomType, @Nonnull 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> int getAxiomCount(@Nonnull AxiomType<T> axiomType, @Nonnull Imports imports)
OWLAxiomCollectiongetAxiomCount in interface OWLAxiomCollectionT - 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)
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.@Nonnull public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom, @Nonnull 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.@Nonnull public Set<OWLAxiom> getReferencingAxioms(@Nonnull OWLPrimitive owlPrimitive, @Nonnull 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.@Nonnull public Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass owlClass, @Nonnull Imports imports)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlClass - 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)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlObjectPropertyExpression - 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)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlDataProperty - 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)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlIndividual - 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)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlAnnotationProperty - 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)
OWLAxiomCollectiongetAxioms in interface OWLAxiomCollectionowlDatatype - The datatypeimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLAxiom> getAxioms()
HasAxiomsOWLAxioms contained in this object.@Nonnull public Set<OWLLogicalAxiom> getLogicalAxioms()
HasLogicalAxiomsOWLLogicalAxioms contained within this object.getLogicalAxioms in interface HasLogicalAxiomsOWLLogicalAxioms that are contained within this
object. Changes are not reflected back.@Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull AxiomType<T> axiomType)
HasAxiomsByTypegetAxioms in interface HasAxiomsByTypeT - axiom typeaxiomType - The type of axioms to be retrieved.public boolean containsAxiom(@Nonnull OWLAxiom owlAxiom)
HasContainsAxiomOWLAxiom.containsAxiom in interface HasContainsAxiomowlAxiom - The OWLAxiom to test for.true if this object contains axiom, otherwise
false.@Nonnull @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 @Nonnull 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 @Nonnull public <T extends OWLAxiom> Set<T> getAxioms(@Nonnull 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(@Nonnull 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(@Nonnull 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(@Nonnull 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 @Nonnull public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull 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 @Nonnull public Set<OWLAxiom> getReferencingAxioms(@Nonnull 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.@Nonnull @Deprecated public Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass owlClass, boolean b)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlClass - 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)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlObjectPropertyExpression - 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)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlDataProperty - 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)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlIndividual - 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)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlAnnotationProperty - 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)
OWLAxiomCollectionBooleanArgsgetAxioms in interface OWLAxiomCollectionBooleanArgsowlDatatype - The datatypeb - if INCLUDED, include imports closure.public int getAxiomCount()
getAxiomCount in interface OWLAxiomCollectionNoArgspublic int getLogicalAxiomCount()
OWLAxiomCollectionNoArgsgetLogicalAxiomCount in interface OWLAxiomCollectionNoArgspublic <T extends OWLAxiom> int getAxiomCount(@Nonnull AxiomType<T> axiomType)
OWLAxiomCollectionNoArgsgetAxiomCount in interface OWLAxiomCollectionNoArgsT - axiom type classaxiomType - The type of axiom to countpublic boolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom)
OWLAxiomCollectionNoArgscontainsAxiomIgnoreAnnotations in interface OWLAxiomCollectionNoArgsowlAxiom - The axiom to search.true if the ontology contains the specified axiom.@Nonnull public Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom owlAxiom)
OWLAxiomCollectionNoArgsgetAxiomsIgnoreAnnotations in interface OWLAxiomCollectionNoArgsowlAxiom - 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)
OWLAxiomCollectionNoArgsOWLPrimitive 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 OWLAxiomCollectionNoArgsowlPrimitive - The entity that should be directly referred to by all axioms in
the results set.@Nonnull @Deprecated public Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass owlClass)
OWLAxiomCollectionNoArgsgetAxioms in interface OWLAxiomCollectionNoArgsowlClass - The class whose describing axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLObjectPropertyAxiom> getAxioms(@Nonnull OWLObjectPropertyExpression owlObjectPropertyExpression)
OWLAxiomCollectionNoArgsgetAxioms in interface OWLAxiomCollectionNoArgsowlObjectPropertyExpression - The property whose defining axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLDataPropertyAxiom> getAxioms(@Nonnull OWLDataProperty owlDataProperty)
OWLAxiomCollectionNoArgsgetAxioms in interface OWLAxiomCollectionNoArgsowlDataProperty - The property whose defining axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLIndividualAxiom> getAxioms(@Nonnull OWLIndividual owlIndividual)
OWLAxiomCollectionNoArgsgetAxioms in interface OWLAxiomCollectionNoArgsowlIndividual - The individual whose defining axioms are to be retrieved.@Nonnull @Deprecated public Set<OWLAnnotationAxiom> getAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomCollectionNoArgsgetAxioms in interface OWLAxiomCollectionNoArgsowlAnnotationProperty - The property whose definition axioms are to be retrieved@Nonnull @Deprecated public Set<OWLDatatypeDefinitionAxiom> getAxioms(@Nonnull OWLDatatype owlDatatype)
OWLAxiomCollectionNoArgsgetAxioms in interface OWLAxiomCollectionNoArgsowlDatatype - The datatype@Nonnull public Set<OWLClass> getClassesInSignature(@Nonnull Imports imports)
OWLSignaturegetClassesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLObjectProperty> getObjectPropertiesInSignature(@Nonnull Imports imports)
OWLSignaturegetObjectPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLDataProperty> getDataPropertiesInSignature(@Nonnull Imports imports)
OWLSignaturegetDataPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLNamedIndividual> getIndividualsInSignature(@Nonnull Imports imports)
OWLSignaturegetIndividualsInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(@Nonnull Imports imports)
OWLSignaturegetReferencedAnonymousIndividuals in interface OWLSignatureimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLDatatype> getDatatypesInSignature(@Nonnull Imports imports)
OWLSignaturegetDatatypesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.@Nonnull public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(@Nonnull Imports imports)
OWLSignaturegetAnnotationPropertiesInSignature in interface OWLSignatureimports - if INCLUDED, include imports closure.public boolean containsEntityInSignature(@Nonnull OWLEntity owlEntity, @Nonnull 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(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturecontainsEntityInSignature in interface OWLSignatureiri - The IRI to test for.imports - if INCLUDED, include imports closure.public boolean containsClassInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturecontainsClassInSignature in interface OWLSignatureiri - The IRI of the class to check forimports - if INCLUDED, include imports closure.public boolean containsObjectPropertyInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturecontainsObjectPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLObjectProperty to check forimports - if INCLUDED, include imports closure.public boolean containsDataPropertyInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturecontainsDataPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLDataProperty to check forimports - if INCLUDED, include imports closure.public boolean containsAnnotationPropertyInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturecontainsAnnotationPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLAnnotationProperty to check forimports - if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturecontainsDatatypeInSignature in interface OWLSignatureiri - The IRI of the OWLDatatype to check forimports - if INCLUDED, include imports closure.public boolean containsIndividualInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturecontainsIndividualInSignature in interface OWLSignatureiri - The IRI of the OWLNamedIndividual to check forimports - if INCLUDED, include imports closure.public boolean containsDatatypeInSignature(@Nonnull IRI iri)
OWLSignaturecontainsDatatypeInSignature in interface OWLSignatureiri - The IRI of the OWLDatatype to check forpublic boolean containsEntityInSignature(@Nonnull IRI iri)
OWLSignaturecontainsEntityInSignature in interface OWLSignatureiri - The IRI to test for.public boolean containsClassInSignature(@Nonnull IRI iri)
OWLSignaturecontainsClassInSignature in interface OWLSignatureiri - The IRI of the class to check forpublic boolean containsObjectPropertyInSignature(@Nonnull IRI iri)
OWLSignaturecontainsObjectPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLObjectProperty to check forpublic boolean containsDataPropertyInSignature(@Nonnull IRI iri)
OWLSignaturecontainsDataPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLDataProperty to check forpublic boolean containsAnnotationPropertyInSignature(@Nonnull IRI iri)
OWLSignaturecontainsAnnotationPropertyInSignature in interface OWLSignatureiri - The IRI of the OWLAnnotationProperty to check forpublic boolean containsIndividualInSignature(@Nonnull IRI iri)
OWLSignaturecontainsIndividualInSignature in interface OWLSignatureiri - The IRI of the OWLNamedIndividual to check for@Nonnull public Set<OWLEntity> getEntitiesInSignature(@Nonnull IRI iri, @Nonnull Imports imports)
OWLSignaturegetEntitiesInSignature in interface OWLSignatureiri - The IRI of the entitied to be retrieved.imports - if INCLUDED, include imports closure.public Set<IRI> getPunnedIRIs(@Nonnull Imports imports)
OWLSignaturegetPunnedIRIs in interface OWLSignatureimports - if INCLUDED, include imports closure.public boolean containsReference(@Nonnull OWLEntity owlEntity, @Nonnull Imports imports)
containsReference in interface OWLSignatureowlEntity - entyty to checkimports - if INCLUDED, include imports closure.public boolean containsReference(@Nonnull OWLEntity owlEntity)
containsReference in interface OWLSignatureowlEntity - entyty to check@Nonnull public Set<OWLEntity> getEntitiesInSignature(@Nonnull IRI iri)
getEntitiesInSignature in interface HasGetEntitiesInSignatureiri - IRI for all entities to retrieve@Deprecated @Nonnull public Set<OWLClass> getClassesInSignature(boolean b)
OWLSignatureBooleanArgsgetClassesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated @Nonnull public Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean b)
OWLSignatureBooleanArgsgetObjectPropertiesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated @Nonnull public Set<OWLDataProperty> getDataPropertiesInSignature(boolean b)
OWLSignatureBooleanArgsgetDataPropertiesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated @Nonnull public Set<OWLNamedIndividual> getIndividualsInSignature(boolean b)
OWLSignatureBooleanArgsgetIndividualsInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated @Nonnull public Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(boolean b)
OWLSignatureBooleanArgsgetReferencedAnonymousIndividuals in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated @Nonnull public Set<OWLDatatype> getDatatypesInSignature(boolean b)
OWLSignatureBooleanArgsgetDatatypesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated @Nonnull public Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(boolean b)
OWLSignatureBooleanArgsgetAnnotationPropertiesInSignature in interface OWLSignatureBooleanArgsb - if true, include imports closure.@Deprecated public boolean containsEntityInSignature(@Nonnull 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(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgscontainsEntityInSignature in interface OWLSignatureBooleanArgsiri - The IRI to test for.b - if true, include imports closure.@Deprecated public boolean containsClassInSignature(@Nonnull 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(@Nonnull 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(@Nonnull 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(@Nonnull 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(@Nonnull 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(@Nonnull IRI iri, boolean b)
OWLSignatureBooleanArgscontainsIndividualInSignature in interface OWLSignatureBooleanArgsiri - The IRI of the OWLNamedIndividual to check forb - if true, include imports closure.@Deprecated @Nonnull public Set<OWLEntity> getEntitiesInSignature(@Nonnull 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(@Nonnull OWLEntity owlEntity, boolean b)
containsReference in interface OWLSignatureBooleanArgsowlEntity - entyty 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)
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.@Nonnull public <T extends OWLAxiom> Collection<T> filterAxioms(@Nonnull OWLAxiomSearchFilter owlAxiomSearchFilter, @Nonnull Object o, @Nonnull 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(@Nonnull OWLAxiomSearchFilter owlAxiomSearchFilter, @Nonnull Object o, @Nonnull 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.@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)
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.@Nonnull public Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(@Nonnull OWLAnnotationProperty owlAnnotationProperty)
OWLAxiomIndexSubAnnotationPropertyOfAxioms where the specified
property is the sub-property.getSubAnnotationPropertyOfAxioms in interface OWLAxiomIndexowlAnnotationProperty - The sub-property of the axioms to be retrieved.@Nonnull public Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(@Nonnull 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.@Nonnull public Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(@Nonnull 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.@Nonnull public Set<OWLDeclarationAxiom> getDeclarationAxioms(@Nonnull OWLEntity owlEntity)
OWLAxiomIndexgetDeclarationAxioms in interface OWLAxiomIndexowlEntity - The entity that is the subject of the set of returned axioms.@Nonnull public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(@Nonnull OWLAnnotationSubject owlAnnotationSubject)
OWLAxiomIndexgetAnnotationAssertionAxioms in interface OWLAxiomIndexowlAnnotationSubject - The entity whose annotations are to be retrieved.@Nonnull public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(@Nonnull OWLClass owlClass)
OWLAxiomIndexgetSubClassAxiomsForSubClass in interface OWLAxiomIndexowlClass - The class that is equal to the left hand side of the axiom
(subclass).@Nonnull public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(@Nonnull OWLClass owlClass)
OWLAxiomIndexgetSubClassAxiomsForSuperClass in interface OWLAxiomIndexowlClass - The class@Nonnull public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndexgetEquivalentClassesAxioms in interface OWLAxiomIndexowlClass - The class to search@Nonnull public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndexgetDisjointClassesAxioms in interface OWLAxiomIndexowlClass - The class to search@Nonnull public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndexgetDisjointUnionAxioms in interface OWLAxiomIndexowlClass - The class that indexes the axioms to be retrieved.@Nonnull public Set<OWLHasKeyAxiom> getHasKeyAxioms(@Nonnull OWLClass owlClass)
OWLAxiomIndexgetHasKeyAxioms in interface OWLAxiomIndexowlClass - The subject of the has key axioms@Nonnull public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(@Nonnull 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.@Nonnull public Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(@Nonnull 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.@Nonnull public Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(@Nonnull 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.@Nonnull public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(@Nonnull 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.@Nonnull public Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(@Nonnull 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.@Nonnull public Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(@Nonnull 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.@Nonnull public Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(@Nonnull 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.@Nonnull public Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(@Nonnull 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.@Nonnull public Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(@Nonnull 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.@Nonnull public Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(@Nonnull 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.@Nonnull public Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(@Nonnull 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.@Nonnull public Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(@Nonnull 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.@Nonnull public Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(@Nonnull 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.@Nonnull public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(@Nonnull 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.@Nonnull public Set<OWLClassAssertionAxiom> getClassAssertionAxioms(@Nonnull 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.@Nonnull public Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(@Nonnull 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.@Nonnull public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(@Nonnull 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.@Nonnull public Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(@Nonnull 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.@Nonnull public Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(@Nonnull 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.@Nonnull public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(@Nonnull 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.@Nonnull public Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(@Nonnull 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.@Nonnull public Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(@Nonnull 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.@Nonnull public ChangeApplied applyChange(@Nonnull OWLOntologyChange owlOntologyChange)
HasApplyChangeapplyChange in interface HasApplyChangeowlOntologyChange - The change to be applied@Nonnull public ChangeApplied applyChanges(@Nonnull List<? extends OWLOntologyChange> list)
HasApplyChangesapplyChanges in interface HasApplyChangeslist - The changes to be applied.@Nonnull public ChangeApplied addAxiom(@Nonnull OWLAxiom owlAxiom)
HasDirectAddAxiomaddAxiom in interface HasDirectAddAxiomowlAxiom - The axiom to be addedpublic ChangeApplied addAxioms(@Nonnull Set<? extends OWLAxiom> set)
HasDirectAddAxiomsaddAxioms in interface HasDirectAddAxiomsset - The axioms to be added. Not null.Copyright © 2016 The University of Manchester. All Rights Reserved.