public interface OWLOntology extends OWLObject
OWLOntology consists of a possibly empty set of
OWLAxioms and a possibly empty set of
OWLAnnotations. An ontology can have an ontology IRI which can be
used to identify the ontology. If it has an ontology IRI then it may also
have an ontology version IRI. Since OWL 2, an ontology need not have an
ontology IRI. (See the OWL 2
Structural Specification An ontology cannot be modified directly. Changes
must be applied via its OWLOntologyManager.| Modifier and Type | Method and Description |
|---|---|
boolean |
containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI)
Determines if the signature of this ontology contains an
OWLAnnotationProperty with the specified IRI.
|
boolean |
containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature
of one of the ontologies in the imports closure of this ontology,
contains an OWLAnnotationProperty that has the specified IRI.
|
boolean |
containsAxiom(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.
|
boolean |
containsAxiom(OWLAxiom axiom,
boolean includeImportsClosure)
Determines if this ontology, and possibly the imports closure, contains
the specified axiom.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom, but ignoring
any annotations on this axiom.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Determines if this ontology and possibly its imports closure contains the
specified axiom but ignoring any annotations on this axiom.
|
boolean |
containsClassInSignature(IRI owlClassIRI)
Determines if the signature of this ontology contains an OWLClass with
the specified IRI.
|
boolean |
containsClassInSignature(IRI owlClassIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature
of one of the ontologies in the imports closure of this ontology,
contains an OWLClass that has the specified IRI.
|
boolean |
containsDataPropertyInSignature(IRI owlDataPropertyIRI)
Determines if the signature of this ontology contains an OWLDataProperty
with the specified IRI.
|
boolean |
containsDataPropertyInSignature(IRI owlDataPropertyIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature
of one of the ontologies in the imports closure of this ontology,
contains an OWLDataProperty that has the specified IRI.
|
boolean |
containsDatatypeInSignature(IRI owlDatatypeIRI)
Determines if the signature of this ontology contains an OWLDatatype with
the specified IRI.
|
boolean |
containsDatatypeInSignature(IRI owlDatatypeIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature
of one of the ontologies in the imports closure of this ontology,
contains an OWLDatatype that has the specified IRI.
|
boolean |
containsEntityInSignature(IRI entityIRI)
Determines if the signature of this ontology contains a class, object
property, data property, named individual, annotation property or
datatype with the specified IRI.
|
boolean |
containsEntityInSignature(IRI entityIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology and possibly its imports
closure contains a class, object property, data property, named
individual, annotation property or datatype with the specified IRI.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity)
Determines if the signature of the ontology contains the specified
entity.
|
boolean |
containsEntityInSignature(OWLEntity owlEntity,
boolean includeImportsClosure)
Determines if the signature of this ontology, and possibly the signature
of any of the ontologies in the imports closure of this ontology,
contains the specified entity.
|
boolean |
containsIndividualInSignature(IRI owlIndividualIRI)
Determines if the signature of this ontology contains an
OWLNamedIndividual with the specified IRI.
|
boolean |
containsIndividualInSignature(IRI owlIndividualIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature
of one of the ontologies in the imports closure of this ontology,
contains an OWLNamedIndividual that has the specified IRI.
|
boolean |
containsObjectPropertyInSignature(IRI owlObjectPropertyIRI)
Determines if the signature of this ontology contains an
OWLObjectProperty with the specified IRI.
|
boolean |
containsObjectPropertyInSignature(IRI owlObjectPropertyIRI,
boolean includeImportsClosure)
Determines if the signature of this ontology, or possibly the signature
of one of the ontologies in the imports closure of this ontology,
contains an OWLObjectProperty that has the specified IRI.
|
Set<OWLAxiom> |
getABoxAxioms(boolean includeImportsClosure)
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 entity)
Gets the axioms that annotate the specified entity.
|
Set<OWLAnnotationProperty> |
getAnnotationPropertiesInSignature()
Gets the annotation properties that are in the signature of this
ontology.
|
Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyDomainAxioms where the specified
property is the property in the domain axiom. |
Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyRangeAxioms where the specified
property is the property in the range axiom. |
Set<OWLAnnotation> |
getAnnotations()
Gets the annotations on this ontology.
|
Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxioms
contained in this ontology that make the specified object property
asymmetric. |
int |
getAxiomCount()
Gets the number of axioms in this ontology.
|
<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 includeImportsClosure)
Gets the axiom count of a specific type of axiom, possibly in the imports
closure of this ontology.
|
Set<OWLAxiom> |
getAxioms()
Retrieves all of the axioms in this ontology.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure)
Gets the axioms which are of the specified type.
|
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty property)
Gets the axioms that form the definition/description of an annotation
property.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty prop)
Gets the axioms that form the definition/description of a data property.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype datatype)
Gets the datatype definition axioms for the specified datatype.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression prop)
Gets the axioms that form the definition/description of an object
property.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms contained in this ontology that have the same
"logical structure" as the specified axiom.
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Gets the set of axioms contained in this ontology that have the same
"logical structure" as the specified axiom, possibly searching the
imports closure of this ontology.
|
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxioms
contained in this ontology that make the specified class expression,
ce, a type for some individual. |
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxioms
contained in this ontology that make the specified individual an
instance of some class expression. |
Set<OWLClass> |
getClassesInSignature()
Gets the classes that are in the signature of this ontology.
|
Set<OWLClass> |
getClassesInSignature(boolean includeImportsClosure)
Gets the classes that are in the signature of this ontology, and possibly
the imports closure of this ontology.
|
Set<OWLDataProperty> |
getDataPropertiesInSignature()
Gets the data properties that are in the signature of this ontology.
|
Set<OWLDataProperty> |
getDataPropertiesInSignature(boolean includeImportsClosure)
Gets the data properties that are in the signature of this ontology, and
possibly the imports closure of this ontology.
|
Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxioms
contained in this ontology that have the specified individual as
the subject of the axiom. |
Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxioms
where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxioms
where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxioms
where the sub-property is equal to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
Gets the
OWLSubDataPropertyOfAxioms
where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty()) is equal to the
specified property. |
Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype datatype)
Gets the
OWLDatatypeDefinitionAxioms
contained in this ontology that provide a definition for the specified
datatype. |
Set<OWLDatatype> |
getDatatypesInSignature()
Gets the datatypes that are in the signature of this ontology.
|
Set<OWLDatatype> |
getDatatypesInSignature(boolean includeImportsClosure)
Gets the datatypes that are in the signature of this ontology, and
possibly the imports closure of this ontology.
|
Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual individual)
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 cls)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
Set<OWLDisjointDataPropertiesAxiom> |
getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxioms that
make the specified property disjoint with some other data property
expression(s). |
Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
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)
Gets the entities in the signature of this ontology that have the
specified IRI.
|
Set<OWLEntity> |
getEntitiesInSignature(IRI iri,
boolean includeImportsClosure)
Gets the entities in the signature of this ontology, and possibly the
signature of the imports closure of this ontology, that have the
specified IRI.
|
Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
Set<OWLEquivalentDataPropertiesAxiom> |
getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxioms
that make the specified property equivalent to some other data property
expression(s). |
Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxioms
that make the specified property equivalent to some other object property
expression(s). |
Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the
OWLFunctionalDataPropertyAxioms
contained in this ontology that make the specified data property
functional. |
Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
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 cls)
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()
Gets the individuals that are in the signature of this ontology.
|
Set<OWLNamedIndividual> |
getIndividualsInSignature(boolean includeImportsClosure)
Gets the individuals that are in the signature of this ontology, and
possibly the imports closure of this ontology.
|
Set<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxioms contained in
this ontology that make the specified object property inverse functional. |
Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxioms where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties()
. |
Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxioms
contained in this ontology that make the specified object property
irreflexive. |
int |
getLogicalAxiomCount()
Gets the number of logical axioms in this ontology.
|
Set<OWLLogicalAxiom> |
getLogicalAxioms()
Gets all of the axioms in the ontology that affect the logical meaning of
the ontology.
|
Set<OWLNegativeDataPropertyAssertionAxiom> |
getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom
s contained in this ontology that have the specified individual as
the subject of the axiom. |
Set<OWLNegativeObjectPropertyAssertionAxiom> |
getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom
s contained in this ontology that have the specified individual as
the subject of the axiom. |
Set<OWLObjectProperty> |
getObjectPropertiesInSignature()
Gets the object properties that are in the signature of this ontology.
|
Set<OWLObjectProperty> |
getObjectPropertiesInSignature(boolean includeImportsClosure)
Gets the object properties that are in the signature of this ontology,
and possibly the imports closure of this ontology.
|
Set<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxioms
contained in this ontology that have the specified individual as
the subject of the axiom. |
Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxioms where
the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property. |
Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom
s where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property. |
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Gets the
OWLSubObjectPropertyOfAxiom
s where the sub-property is equal to the specified property. |
Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Gets the
OWLSubObjectPropertyOfAxiom
s where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty()) is equal to the
specified property. |
OWLOntologyID |
getOntologyID()
Gets the identity of this ontology (i.e.
|
OWLOntologyManager |
getOWLOntologyManager()
Gets the manager that created this ontology.
|
Set<OWLAxiom> |
getRBoxAxioms(boolean includeImportsClosure)
Gets the axioms that form the RBox for this ontology, i.e., the ones
whose type is in the AxiomType::RBoxAxiomTypes.
|
Set<OWLAnonymousIndividual> |
getReferencedAnonymousIndividuals()
Gets the referenced anonymous individuals.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLAnonymousIndividual individual)
Gets the axioms that reference the specified anonymous individual.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLEntity owlEntity)
Gets the axioms where the specified entity appears in the signature of
the axiom.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLEntity owlEntity,
boolean includeImportsClosure)
Gets the axioms where the specified entity appears in the signature of
the axiom.
|
Set<OWLReflexiveObjectPropertyAxiom> |
getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxioms
contained in this ontology that make the specified object property
reflexive. |
Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual individual)
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(boolean includeImportsClosure)
Gets the entities that are in the signature of this ontology.
|
Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the
SubAnnotationPropertyOfAxioms where the specified
property is the sub-property. |
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the
superclass) is equal to the specified class.
|
Set<OWLSymmetricObjectPropertyAxiom> |
getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxioms
contained in this ontology that make the specified object property
symmetric. |
Set<OWLAxiom> |
getTBoxAxioms(boolean includeImportsClosure)
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 property)
Gets the
OWLTransitiveObjectPropertyAxioms
contained in this ontology that make the specified object property
transitive. |
boolean |
isAnonymous()
Determines whether or not this ontology is anonymous.
|
boolean |
isDeclared(OWLEntity owlEntity)
Determines if this ontology declares an entity i.e.
|
boolean |
isDeclared(OWLEntity owlEntity,
boolean includeImportsClosure)
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.
|
accept, accept, getAnonymousIndividuals, getNestedClassExpressions, isBottomEntity, isTopEntitycompareToOWLOntologyManager getOWLOntologyManager()
OWLOntologyID getOntologyID()
boolean isAnonymous()
true if this ontology is anonymous, otherwise
falseSet<OWLAnnotation> getAnnotations()
Set<IRI> getDirectImportsDocuments() throws UnknownOWLOntologyException
UnknownOWLOntologyException - If this ontology is no longer managed by its manager because
it was removed from the manager.Set<OWLOntology> getDirectImports() throws UnknownOWLOntologyException
getDirectImportsDocuments() method. This will be the case if
some of the ontologies that are directly imported by this ontology are
not loaded for whatever reason.UnknownOWLOntologyException - If this ontology is no longer managed by its manager because
it was removed from the manager.Set<OWLOntology> getImports() throws UnknownOWLOntologyException
UnknownOWLOntologyException - if this ontology is no longer managed by its manager because
it was removed from the manager.Set<OWLOntology> getImportsClosure() throws UnknownOWLOntologyException
getImports() method plus this ontology.)UnknownOWLOntologyException - If this ontology is no longer managed by its manager because
it was removed from the manager.Set<OWLImportsDeclaration> getImportsDeclarations()
boolean isEmpty()
getAxioms() returns the empty set),
and it does not have any annotations (i.e. getAnnotations()
returns the empty set).true if the ontology is empty, otherwise false.Set<OWLAxiom> getAxioms()
containsAxiom method
is used to determine whether or not this ontology contains a
particular axiom rather than using getAxioms().contains().int getAxiomCount()
Set<OWLLogicalAxiom> getLogicalAxioms()
OWLLogicalAxiom The
set that is returned is a copy of the axioms in the ontology - it
will not be updated if the ontology changes.int getLogicalAxiomCount()
<T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)
T - axiom typeaxiomType - The type of axioms to be retrived.<T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure)
T - axiom typeaxiomType - The type of axioms to be retrived.includeImportsClosure - if true then axioms of the specified type will also be
retrieved from the imports closure of this ontology, if
false then axioms of the specified type will only be
retrieved from this ontology.Set<OWLAxiom> getTBoxAxioms(boolean includeImportsClosure)
includeImportsClosure - if true then axioms of the specified type will also be
retrieved from the imports closure of this ontology, if
false then axioms of the specified type will only be
retrieved from this ontology.Set<OWLAxiom> getABoxAxioms(boolean includeImportsClosure)
includeImportsClosure - if true then axioms of the specified type will also be
retrieved from the imports closure of this ontology, if
false then axioms of the specified type will only be
retrieved from this ontology.Set<OWLAxiom> getRBoxAxioms(boolean includeImportsClosure)
includeImportsClosure - if true then axioms of the specified type will also be
retrieved from the imports closure of this ontology, if
false then axioms of the specified type will only be
retrieved from this ontology.<T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
T - axiom typeaxiomType - The type of axiom to count<T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure)
T - axiom typeaxiomType - The type of axiom to countincludeImportsClosure - Specifies that the imports closure should be included when
counting axiomsboolean containsAxiom(OWLAxiom axiom)
axiom - The axiom to test for.true if the ontology contains the specified axioms, or
false if the ontology doesn't contain the specified
axiom.boolean containsAxiom(OWLAxiom axiom, boolean includeImportsClosure)
axiom - The axiom to test for.includeImportsClosure - if true the imports closure of this ontology will be
searched for the specific axiom, if false just this
ontology will be searched.true if the ontology contains the specified axioms, or
false if the ontology doesn't contain the specified
axiom.boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)
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.axiom - The axiom to test for.true if this ontology contains this axiom with or without
annotations.Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom)
axiom - The axiom that specifies the logical structure of the axioms
to retrieve. If this axiom is annotated then the annotations
are ignored.axiomA and
axiomB in the set,
axiomA.getAxiomWithoutAnnotations() is equal to
axiomB.getAxiomWithoutAnnotations(). The specified axiom
will be contained in the set.Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
axiom - The axiom that specifies the logical structure of the axioms
to retrieve. If this axiom is annotated then the annotations
are ignored.includeImportsClosure - if true then axioms in the imports closure of this
ontology are returned, if false only axioms in this
ontology will be returned.axiomA and
axiomB in the set,
axiomA.getAxiomWithoutAnnotations() is equal to
axiomB.getAxiomWithoutAnnotations(). The specified axiom
will be contained in the set.boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
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.axiom - The axiom to test for.includeImportsClosure - if true the imports closure of this ontology will be
searched for the specified axiom. If false only this
ontology will be searched for the specifed axiom.true if this ontology contains this axiom with or without
annotations.Set<OWLClassAxiom> getGeneralClassAxioms()
OWLClasses)OWLClasses)Set<OWLEntity> getSignature()
getSignature in interface OWLObjectOWLEntity 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.getClassesInSignature(),
getObjectPropertiesInSignature(),
getDataPropertiesInSignature(),
getIndividualsInSignature()Set<OWLEntity> getSignature(boolean includeImportsClosure)
includeImportsClosure - Specifies whether or not the returned set of entities should
represent the signature of just this ontology, or the
signature of the imports closure of this ontology.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.getClassesInSignature(),
getObjectPropertiesInSignature(),
getDataPropertiesInSignature(),
getIndividualsInSignature()Set<OWLClass> getClassesInSignature()
getClassesInSignature in interface OWLObjectgetSignature()Set<OWLClass> getClassesInSignature(boolean includeImportsClosure)
includeImportsClosure - Specifies whether classes should be drawn from the signature
of just this ontology or the imports closure of this ontology.
If true then the set of classes returned will
correspond to the union of the classes in the signatures of
the ontologies in the imports closure of this ontology. If
false then the set of classes returned will correspond
to the classes that are in the signature of this just this
ontology.Set<OWLObjectProperty> getObjectPropertiesInSignature()
getObjectPropertiesInSignature in interface OWLObjectgetSignature()Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean includeImportsClosure)
includeImportsClosure - Specifies whether object properties should be drawn from the
signature of just this ontology or the imports closure of this
ontology. If true then the set of object properties
returned will correspond to the union of the object properties
in the signatures of the ontologies in the imports closure of
this ontology. If false then the set of object
properties returned will correspond to the object properties
that are in the signature of this just this ontology.Set<OWLDataProperty> getDataPropertiesInSignature()
getDataPropertiesInSignature in interface OWLObjectgetSignature()Set<OWLDataProperty> getDataPropertiesInSignature(boolean includeImportsClosure)
includeImportsClosure - Specifies whether data properties should be drawn from the
signature of just this ontology or the imports closure of this
ontology. If true then the set of data properties
returned will correspond to the union of the data properties
in the signatures of the ontologies in the imports closure of
this ontology. If false then the set of data
properties returned will correspond to the data properties
that are in the signature of this just this ontology.Set<OWLNamedIndividual> getIndividualsInSignature()
getIndividualsInSignature in interface OWLObjectgetSignature()Set<OWLNamedIndividual> getIndividualsInSignature(boolean includeImportsClosure)
includeImportsClosure - Specifies whether individuals should be drawn from the
signature of just this ontology or the imports closure of this
ontology. If true then the set of individuals returned
will correspond to the union of the individuals in the
signatures of the ontologies in the imports closure of this
ontology. If false then the set of individuals
returned will correspond to the individuals that are in the
signature of this just this ontology.getSignature()Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
Set<OWLDatatype> getDatatypesInSignature()
getDatatypesInSignature in interface OWLObjectgetSignature()Set<OWLDatatype> getDatatypesInSignature(boolean includeImportsClosure)
includeImportsClosure - Specifies whether datatypes should be drawn from the signature
of just this ontology or the imports closure of this ontology.
If true then the set of datatypes returned will
correspond to the union of the datatypes in the signatures of
the ontologies in the imports closure of this ontology. If
false then the set of datatypes returned will
correspond to the datatypes that are in the signature of this
just this ontology.getSignature()Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
getSignature()Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity)
owlEntity - The entity that should be directly referred to by an axiom
that appears in the results set.Set<OWLAxiom> getReferencingAxioms(OWLEntity owlEntity, boolean includeImportsClosure)
owlEntity - The entity that should be directly referred to by an axiom
that appears in the results set.includeImportsClosure - Specifies if the axioms returned should just be from this
ontology, or from the imports closure of this ontology. If
true the axioms returned will be from the imports
closure of this ontology, if false the axioms returned
will just be from this ontology.Set<OWLAxiom> getReferencingAxioms(OWLAnonymousIndividual individual)
individual - The individualboolean containsEntityInSignature(OWLEntity owlEntity)
owlEntity - The entitytrue if the signature of this ontology contains
owlEntity, otherwise false.boolean containsEntityInSignature(OWLEntity owlEntity, boolean includeImportsClosure)
owlEntity - The entityincludeImportsClosure - Specifies whether the imports closure should be examined for
the entity reference or not.true if the ontology contains a reference to the
specified entity, otherwise false 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.boolean containsEntityInSignature(IRI entityIRI)
entityIRI - The IRI to test for.true if the signature of this ontology contains a class,
object property, data property, named individual, annotation
property or datatype with the specified IRI.boolean containsEntityInSignature(IRI entityIRI, boolean includeImportsClosure)
entityIRI - The IRI to test for.includeImportsClosure - Specifies whether the imports closure of this ontology should
be examined or not.includeImportsClosure=true then returns true
if the signature of this ontology or the signature of an ontology
in the imports closure of this ontology contains a class, object
property, data property, named individual, annotation property or
datatype with the specified IRI. If
includeImportsClosure=false then returns true if
the signature of this ontology contains a class, object property,
data property, named individual, annotation property or datatype
with the specified IRI.boolean isDeclared(OWLEntity owlEntity)
owlEntity - The entity to be tested fortrue if the ontology contains a declaration for the
specified entity, otherwise false.boolean isDeclared(OWLEntity owlEntity, boolean includeImportsClosure)
owlEntity - The entity to be tested forincludeImportsClosure - true if the imports closure of this ontology should be
examined, false if just this ontology should be
examined.true if the ontology or its imports closure contains a
declaration for the specified entity, otherwise false.boolean containsClassInSignature(IRI owlClassIRI)
owlClassIRI - The IRI of the OWLClass to check for.true if the signature of this ontology contains an
OWLClass that has owlClassIRI as its IRI, otherwise
false.boolean containsClassInSignature(IRI owlClassIRI, boolean includeImportsClosure)
owlClassIRI - The IRI of the class to check forincludeImportsClosure - true if the signature of the ontologies in the imports
closure of this ontology should be checked, false if
just the signature of this ontology should be chekced.includeImportsClosure=true then returns true
if there is an OWLClass with owlClassIRI as its IRI in
the signature of at least one ontology in the imports clousre of
this ontology and false if this is not the case. If
includeImportsClosure=false then returns true if
the signature of this ontology contains an OWLClass that has
owlClassIRI as its IRI and false if the signature
of this ontology does not contain a class with
owlClassIRI as its IRI.boolean containsObjectPropertyInSignature(IRI owlObjectPropertyIRI)
owlObjectPropertyIRI - The IRI of the OWLObjectProperty to check for.true if the signature of this ontology contains an
OWLObjectProperty that has owlObjectPropertyIRI as its
IRI, otherwise false.boolean containsObjectPropertyInSignature(IRI owlObjectPropertyIRI, boolean includeImportsClosure)
owlObjectPropertyIRI - The IRI of the OWLObjectProperty to check forincludeImportsClosure - true if the signature of the ontologies in the imports
closure of this ontology should be checked, false if
just the signature of this ontology should be chekced.includeImportsClosure=true then returns true
if there is an OWLObjectProperty with
owlObjectPropertyIRI as its IRI in the signature of at
least one ontology in the imports clousre of this ontology and
false if this is not the case. If
includeImportsClosure=false then returns true if
the signature of this ontology contains an OWLObjectProperty that
has owlObjectPropertyIRI as its IRI and false if
the signature of this ontology does not contain a class with
owlObjectPropertyIRI as its IRI.boolean containsDataPropertyInSignature(IRI owlDataPropertyIRI)
owlDataPropertyIRI - The IRI of the OWLDataProperty to check for.true if the signature of this ontology contains an
OWLDataProperty that has owlDataPropertyIRI as its IRI,
otherwise false.boolean containsDataPropertyInSignature(IRI owlDataPropertyIRI, boolean includeImportsClosure)
owlDataPropertyIRI - The IRI of the OWLDataProperty to check forincludeImportsClosure - true if the signature of the ontologies in the imports
closure of this ontology should be checked, false if
just the signature of this ontology should be chekced.includeImportsClosure=true then returns true
if there is an OWLDataProperty with owlDataPropertyIRI as
its IRI in the signature of at least one ontology in the imports
clousre of this ontology and false if this is not the
case. If includeImportsClosure=false then returns
true if the signature of this ontology contains an
OWLDataProperty that has owlDataPropertyIRI as its IRI
and false if the signature of this ontology does not
contain a class with owlDataPropertyIRI as its IRI.boolean containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI)
owlAnnotationPropertyIRI - The IRI of the OWLAnnotationProperty to check for.true if the signature of this ontology contains an
OWLAnnotationProperty that has owlAnnotationPropertyIRI
as its IRI, otherwise false.boolean containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI, boolean includeImportsClosure)
owlAnnotationPropertyIRI - The IRI of the OWLAnnotationProperty to check forincludeImportsClosure - true if the signature of the ontologies in the imports
closure of this ontology should be checked, false if
just the signature of this ontology should be chekced.includeImportsClosure=true then returns true
if there is an OWLAnnotationProperty with
owlAnnotationPropertyIRI as its IRI in the signature of
at least one ontology in the imports clousre of this ontology and
false if this is not the case. If
includeImportsClosure=false then returns true if
the signature of this ontology contains an OWLAnnotationProperty
that has owlAnnotationPropertyIRI as its IRI and
false if the signature of this ontology does not contain
a class with owlAnnotationPropertyIRI as its IRI.boolean containsIndividualInSignature(IRI owlIndividualIRI)
owlIndividualIRI - The IRI of the OWLNamedIndividual to check for.true if the signature of this ontology contains an
OWLNamedIndividual that has owlIndividualIRI as its IRI,
otherwise false.boolean containsIndividualInSignature(IRI owlIndividualIRI, boolean includeImportsClosure)
owlIndividualIRI - The IRI of the OWLNamedIndividual to check forincludeImportsClosure - true if the signature of the ontologies in the imports
closure of this ontology should be checked, false if
just the signature of this ontology should be chekced.includeImportsClosure=true then returns true
if there is an OWLNamedIndividual with owlIndividualIRI
as its IRI in the signature of at least one ontology in the
imports closure of this ontology and false if this is not
the case. If includeImportsClosure=false then returns
true if the signature of this ontology contains an
OWLNamedIndividual that has owlIndividualIRI as its IRI
and false if the signature of this ontology does not
contain a class with owlIndividualIRI as its IRI.boolean containsDatatypeInSignature(IRI owlDatatypeIRI)
owlDatatypeIRI - The IRI of the OWLDatatype to check for.true if the signature of this ontology contains an
OWLDatatype that has owlDatatypeIRI as its IRI, otherwise
false.boolean containsDatatypeInSignature(IRI owlDatatypeIRI, boolean includeImportsClosure)
owlDatatypeIRI - The IRI of the OWLDatatype to check forincludeImportsClosure - true if the signature of the ontologies in the imports
closure of this ontology should be checked, false if
just the signature of this ontology should be chekced.includeImportsClosure=true then returns true
if there is an OWLDatatype with owlDatatypeIRI as its IRI
in the signature of at least one ontology in the imports closure
of this ontology and false if this is not the case. If
includeImportsClosure=false then returns true if
the signature of this ontology contains an OWLDatatype that has
owlDatatypeIRI as its IRI and false if the
signature of this ontology does not contain a class with
owlDatatypeIRI as its IRI.Set<OWLEntity> getEntitiesInSignature(IRI iri)
iri - The IRI of the entities to be retrieved.Set<OWLEntity> getEntitiesInSignature(IRI iri, boolean includeImportsClosure)
iri - The IRI of the entitied to be retrieved.includeImportsClosure - Specifies if the signatures of the ontologies in the imports
closure of this ontology should also be taken into accountincludeImportsClosure=true then returns a set of
entities that are in the signature of this ontology or the
signature of an ontology in the imports closure of this ontology
that have iri as their IRI. If
includeImportsClosure=false then returns the entities in
the signature of just this ontology that have iri as
their IRI.Set<OWLClassAxiom> getAxioms(OWLClass cls)
cls - The class whose describing axioms are to be retrieved.Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression prop)
prop - The property whose defining axioms are to be retrieved.Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty prop)
prop - The property whose defining axioms are to be retrieved.Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)
individual - The individual whose defining axioms are to be retrieved.Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property)
property - The property whose definition axioms are to be retrievedSet<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)
datatype - The datatypeSet<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
SubAnnotationPropertyOfAxioms where the specified
property is the sub-property.subProperty - The sub-property of the axioms to be retrieved.OWLSubAnnotationPropertyOfAxioms such that the
sub-property is equal to subProperty.Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
OWLAnnotationPropertyDomainAxioms where the specified
property is the property in the domain axiom.property - The property that the axiom specifies a domain for.OWLAnnotationPropertyDomainAxioms such that the
property is equal to property.Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
OWLAnnotationPropertyRangeAxioms where the specified
property is the property in the range axiom.property - The property that the axiom specifies a range for.OWLAnnotationPropertyRangeAxioms such that the
property is equal to property.Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity subject)
subject - The entity that is the subject of the set of returned axioms.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
entity - The entity whose annotations are to be retrieved.Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
cls - The class that is equal to the left hand side of the axiom
(subclass).Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
cls - The classSet<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
cls - The classSet<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
cls - The class that should be contained in the set of disjoint
class axioms that will be returned.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
owlClass - The class that indexes the axioms to be retrieved.Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
cls - The subject of the has key axiomsSet<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
OWLSubObjectPropertyOfAxiom
s where the sub-property is equal to the specified property.subProperty - The property which is equal to the sub property of the
retrived axioms.OWLSubObjectPropertyOfAxioms
such that each axiom in the set is of the form
SubObjectPropertyOf(subProperty, pe). 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.Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
OWLSubObjectPropertyOfAxiom
s where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty()) is equal to the
specified property.superProperty - The property which is equal to the super-property of the
retrived axioms.OWLSubObjectPropertyOfAxioms
such that each axiom in the set is of the form
SubObjectPropertyOf(pe, superProperty). 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.Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
OWLObjectPropertyDomainAxioms where
the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property.property - The property which is equal to the property of the retrived
axioms.OWLObjectPropertyDomainAxiom
s such that each axiom in the set is of the form
ObjectPropertyDomain(pe, ce). 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.Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
OWLObjectPropertyRangeAxiom
s where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property.property - The property which is equal to the property of the retieved
axioms.OWLObjectPropertyRangeAxioms
such that each axiom in the set is of the form
ObjectPropertyRange(property, ce). 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.Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLInverseObjectPropertiesAxioms where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties()
.property - The property which is equal to the property of the retrieved
axioms.OWLInverseObjectPropertiesAxioms such that each
axiom in the set is of the form
InverseObjectProperties(property, pe) or
InverseObjectProperties(pe, property). 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.Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLEquivalentObjectPropertiesAxioms
that make the specified property equivalent to some other object property
expression(s).property - The property that the retrieved axioms make equivalent to some
other property expressions. For each axiom retrieved the set
of properties returned by
OWLNaryPropertyAxiom.getProperties()
will contain property.OWLEquivalentObjectPropertiesAxiom
s such that each axiom in the set is of the form
EquivalentObjectProperties(pe0, ..., property, ..., pen)
. 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.Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLDisjointObjectPropertiesAxioms
that make the specified property disjoint with some other object property
expression(s).property - The property that the retrieved axioms makes disjoint to some
other property expressions. For each axiom retrieved the set
of properties returned by
OWLNaryPropertyAxiom.getProperties() will
contain property.OWLDisjointObjectPropertiesAxiom
s such that each axiom in the set is of the form
DisjointObjectProperties(pe0, ..., property, ..., pen) .
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.Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLFunctionalObjectPropertyAxioms
contained in this ontology that make the specified object property
functional.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made functional by the axioms.OWLFunctionalObjectPropertyAxiom
s such that each axiom in the set is of the form
FunctionalObjectProperty(property).Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxioms contained in
this ontology that make the specified object property inverse functional.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made inverse functional by the axioms.OWLFunctionalObjectPropertyAxiom
s such that each axiom in the set is of the form
InverseFunctionalObjectProperty(property).Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLSymmetricObjectPropertyAxioms
contained in this ontology that make the specified object property
symmetric.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made symmetric by the axioms.OWLSymmetricObjectPropertyAxiom
s such that each axiom in the set is of the form
SymmetricObjectProperty(property).Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAsymmetricObjectPropertyAxioms
contained in this ontology that make the specified object property
asymmetric.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made asymmetric by the axioms.OWLAsymmetricObjectPropertyAxiom
s such that each axiom in the set is of the form
AsymmetricObjectProperty(property).Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLReflexiveObjectPropertyAxioms
contained in this ontology that make the specified object property
reflexive.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made reflexive by the axioms.OWLReflexiveObjectPropertyAxiom
s such that each axiom in the set is of the form
ReflexiveObjectProperty(property).Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxioms
contained in this ontology that make the specified object property
irreflexive.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made irreflexive by the axioms.OWLIrreflexiveObjectPropertyAxiom
s such that each axiom in the set is of the form
IrreflexiveObjectProperty(property).Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxioms
contained in this ontology that make the specified object property
transitive.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made transitive by the axioms.OWLTransitiveObjectPropertyAxiom
s such that each axiom in the set is of the form
TransitiveObjectProperty(property).Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
OWLSubDataPropertyOfAxioms
where the sub-property is equal to the specified property.subProperty - The property which is equal to the sub property of the
retrived axioms.OWLSubDataPropertyOfAxioms
such that each axiom in the set is of the form
SubDataPropertyOf(subProperty, pe). 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.Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
OWLSubDataPropertyOfAxioms
where the super-property (returned by
OWLSubPropertyAxiom.getSuperProperty()) is equal to the
specified property.superProperty - The property which is equal to the super-property of the
retrived axioms.OWLSubDataPropertyOfAxioms
such that each axiom in the set is of the form
SubDataPropertyOf(pe, superProperty). 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.Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
OWLDataPropertyDomainAxioms
where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property.property - The property which is equal to the property of the retrived
axioms.OWLDataPropertyDomainAxioms
such that each axiom in the set is of the form
DataPropertyDomain(pe, ce). 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.Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
OWLDataPropertyRangeAxioms
where the property (returned by
OWLUnaryPropertyAxiom.getProperty()
) is equal to the specified property.property - The property which is equal to the property of the retieved
axioms.OWLDataPropertyRangeAxioms
such that each axiom in the set is of the form
DataPropertyRange(property, ce). 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.Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
OWLEquivalentDataPropertiesAxioms
that make the specified property equivalent to some other data property
expression(s).property - The property that the retrieved axioms make equivalent to some
other property expressions. For each axiom retrieved the set
of properties returned by
OWLNaryPropertyAxiom.getProperties() will
contain property.OWLEquivalentDataPropertiesAxiom
s such that each axiom in the set is of the form
EquivalentDataProperties(pe0, ..., property, ..., pen) .
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.Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
OWLDisjointDataPropertiesAxioms that
make the specified property disjoint with some other data property
expression(s).property - The property that the retrieved axioms makes disjoint to some
other property expressions. For each axiom retrieved the set
of properties returned by
OWLNaryPropertyAxiom.getProperties() will
contain property.OWLDisjointDataPropertiesAxiom
s such that each axiom in the set is of the form
DisjointDataProperties(pe0, ..., property, ..., pen) .
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.Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
OWLFunctionalDataPropertyAxioms
contained in this ontology that make the specified data property
functional.property - The property (returned by
OWLUnaryPropertyAxiom.getProperty()
) that is made functional by the axioms.OWLFunctionalDataPropertyAxiom
s such that each axiom in the set is of the form
FunctionalDataProperty(property). 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.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
OWLClassAssertionAxioms
contained in this ontology that make the specified individual an
instance of some class expression.individual - The individual that the returned axioms make an instance of
some class expression.OWLClassAssertionAxioms such
that each axiom in the set is of the form
ClassAssertion(ce, individual) (for each axiom
OWLClassAssertionAxiom.getIndividual() is equal to
individual). 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.Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression ce)
OWLClassAssertionAxioms
contained in this ontology that make the specified class expression,
ce, a type for some individual.ce - The class expression that the returned axioms make a type for
some individual.OWLClassAssertionAxioms such
that each axiom in the set is of the form
ClassAssertion(ce, ind) (for each axiom
OWLClassAssertionAxiom.getClassExpression() is equal to
ce). 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.Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
OWLDataPropertyAssertionAxioms
contained in this ontology that have the specified individual as
the subject of the axiom.individual - The individual that the returned axioms have as a subject.OWLDataPropertyAssertionAxiom
s such that each axiom in the set is of the form
DataPropertyAssertion(dp, individual, l) (for each axiom
OWLPropertyAssertionAxiom.getSubject() is equal to
individual). 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.Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLObjectPropertyAssertionAxioms
contained in this ontology that have the specified individual as
the subject of the axiom.individual - The individual that the returned axioms have as a subject.OWLObjectPropertyAssertionAxiom
s such that each axiom in the set is of the form
ObjectPropertyAssertion(dp, individual, obj) (for each
axiom OWLPropertyAssertionAxiom.getSubject() is
equal to individual). 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.Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLNegativeObjectPropertyAssertionAxiom
s contained in this ontology that have the specified individual as
the subject of the axiom.individual - The individual that the returned axioms have as a subject.OWLNegativeObjectPropertyAssertionAxiom
s such that each axiom in the set is of the form
NegativeObjectPropertyAssertion(dp, individual, obj) (for
each axiom
OWLPropertyAssertionAxiom.getSubject() is
equal to individual). 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.Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
OWLNegativeDataPropertyAssertionAxiom
s contained in this ontology that have the specified individual as
the subject of the axiom.individual - The individual that the returned axioms have as a subject.OWLNegativeDataPropertyAssertionAxiom
s such that each axiom in the set is of the form
NegativeDataPropertyAssertion(dp, individual, obj) (for
each axiom
OWLPropertyAssertionAxiom.getSubject() is
equal to individual). 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.Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
OWLSameIndividualAxioms
contained in this ontology that make the specified individual the
same as some other individual.individual - The individual that the returned axioms make the same as some
other individual.OWLSameIndividualAxioms such
that each axiom in the set is of the form
SameIndividual(individual, ind, ...) (for each axiom
returned OWLNaryIndividualAxiom.getIndividuals() contains
individual. 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.Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
OWLDifferentIndividualsAxioms
contained in this ontology that make the specified individual
different to some other individual.individual - The individual that the returned axioms make the different as
some other individual.OWLDifferentIndividualsAxiom
s such that each axiom in the set is of the form
DifferentIndividuals(individual, ind, ...) (for each
axiom returned
OWLNaryIndividualAxiom.getIndividuals() contains
individual. 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.Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
OWLDatatypeDefinitionAxioms
contained in this ontology that provide a definition for the specified
datatype.datatype - The datatype for which the returned axioms provide a
definition.OWLDatatypeDefinitionAxioms
such that for each axiom in the set
OWLDatatypeDefinitionAxiom.getDatatype() is equal to
datatype. 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.Copyright © 2014 The University of Manchester. All Rights Reserved.