public interface OWLAxiomIndex
Modifier and Type | Method and Description |
---|---|
boolean |
contains(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic containment check type for further refining search by axiom type.
|
<T extends OWLAxiom> |
filterAxioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
Gets the axioms that annotate the specified entity.
|
Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyDomainAxiom s where the specified
property is the property in the domain axiom. |
Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyRangeAxiom s where the specified
property is the property in the range axiom. |
Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxiom s contained in this
ontology that make the specified object property asymmetric. |
<T extends OWLAxiom> |
getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Generic search method: resutns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
<T extends OWLAxiom> |
getAxioms(Class<T> type,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxiom s contained in this ontology that
make the specified class expression, ce , a type for some
individual. |
Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxiom s contained in this ontology that
make the specified individual an instance of some class
expression. |
Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxiom s contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxiom s where the property is equal
to the specified property. |
Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxiom s where the property is equal
to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxiom s where the sub-property is
equal to the specified property. |
Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
Gets the
OWLSubDataPropertyOfAxiom s where the super-property is
equal to the specified property. |
Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype datatype)
Gets the
OWLDatatypeDefinitionAxiom s contained in this ontology
that provide a definition for the specified datatype. |
Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxiom s contained in this ontology
that make the specified individual different to some other
individual. |
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
OWLDisjointDataPropertiesAxiom s that make the specified
property disjoint with some other data property expression(s). |
Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxiom s that make the
specified property disjoint with some other object property
expression(s). |
Set<OWLDisjointUnionAxiom> |
getDisjointUnionAxioms(OWLClass owlClass)
Gets the set of disjoint union axioms that have the specified class as
the named class that is equivalent to the disjoint union of operands.
|
Set<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
OWLEquivalentDataPropertiesAxiom s that make the
specified property equivalent to some other data property expression(s). |
Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxiom s that make the
specified property equivalent to some other object property
expression(s). |
Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the
OWLFunctionalDataPropertyAxiom s contained in this
ontology that make the specified data property functional. |
Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxiom s contained in this
ontology that make the specified object property functional. |
Set<OWLHasKeyAxiom> |
getHasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
Set<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom s contained in
this ontology that make the specified object property inverse functional. |
Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxiom s where the specified
property is contained in the set returned by
OWLNaryPropertyAxiom.getProperties() . |
Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxiom s contained in this
ontology that make the specified object property irreflexive. |
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<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom s contained in this
ontology that have the specified individual as the subject of the
axiom. |
Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxiom s where the property is
equal to the specified property. |
Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom s where the property 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
is equal to the specified property. |
Set<OWLReflexiveObjectPropertyAxiom> |
getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxiom s contained in this
ontology that make the specified object property reflexive. |
Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxiom s contained in this ontology that
make the specified individual the same as some other individual. |
Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the
SubAnnotationPropertyOfAxiom s 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
OWLSymmetricObjectPropertyAxiom s contained in this
ontology that make the specified object property symmetric. |
Set<OWLTransitiveObjectPropertyAxiom> |
getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom s contained in this
ontology that make the specified object property transitive. |
@Nonnull <T extends OWLAxiom> Set<T> getAxioms(@Nonnull Class<T> type, @Nonnull OWLObject entity, @Nonnull Imports includeImports, @Nonnull Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsentity
- referred entity (OWLPrimitive or property/class expression)includeImports
- if INCLUDED, include imports closure.forSubPosition
- for sub axioms (subclass, subproperty), the value specifies
whether entity should appear as sub or super entity in the axioms
returned. For axiom types that have no sub/super entites, this
parameter is ignored.@Nonnull <T extends OWLAxiom> Collection<T> filterAxioms(@Nonnull OWLAxiomSearchFilter filter, @Nonnull Object key, @Nonnull Imports includeImportsClosure)
T
- type of returned axiomsfilter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.includeImportsClosure
- if INCLUDED, include imports closure.boolean contains(@Nonnull OWLAxiomSearchFilter filter, @Nonnull Object key, @Nonnull Imports includeImportsClosure)
filter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.includeImportsClosure
- if INCLUDED, include imports closure.@Nonnull <T extends OWLAxiom> Set<T> getAxioms(@Nonnull Class<T> type, @Nonnull Class<? extends OWLObject> explicitClass, @Nonnull OWLObject entity, @Nonnull Imports includeImports, @Nonnull Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsexplicitClass
- for overlapping indexes in the ontology internals, an explicit
class rathet than the entity class might be necessaryentity
- referred entity (OWLPrimitive or property/class expression)includeImports
- if INCLUDED, include imports closure.forSubPosition
- for sub axioms (subclass, subproperty), the value specifies
whether entity should appear as sub or super entity in the axioms
returned. For axiom types that have no sub/super entites, this
parameter is ignored.@Nonnull Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(@Nonnull OWLAnnotationProperty subProperty)
SubAnnotationPropertyOfAxiom
s where the specified
property is the sub-property.subProperty
- The sub-property of the axioms to be retrieved.@Nonnull Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(@Nonnull OWLAnnotationProperty property)
OWLAnnotationPropertyDomainAxiom
s where the specified
property is the property in the domain axiom.property
- The property that the axiom specifies a domain for.@Nonnull Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(@Nonnull OWLAnnotationProperty property)
OWLAnnotationPropertyRangeAxiom
s where the specified
property is the property in the range axiom.property
- The property that the axiom specifies a range for.@Nonnull Set<OWLDeclarationAxiom> getDeclarationAxioms(@Nonnull OWLEntity subject)
subject
- The entity that is the subject of the set of returned axioms.@Nonnull Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(@Nonnull OWLAnnotationSubject entity)
entity
- The entity whose annotations are to be retrieved.@Nonnull Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(@Nonnull OWLClass cls)
cls
- The class that is equal to the left hand side of the axiom
(subclass).@Nonnull Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(@Nonnull OWLClass cls)
cls
- The class@Nonnull Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(@Nonnull OWLClass cls)
cls
- The class to search@Nonnull Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(@Nonnull OWLClass cls)
cls
- The class to search@Nonnull Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(@Nonnull OWLClass owlClass)
owlClass
- The class that indexes the axioms to be retrieved.@Nonnull Set<OWLHasKeyAxiom> getHasKeyAxioms(@Nonnull OWLClass cls)
cls
- The subject of the has key axioms@Nonnull Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(@Nonnull 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 retrieved
axioms.@Nonnull Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(@Nonnull OWLObjectPropertyExpression superProperty)
OWLSubObjectPropertyOfAxiom
s where the super-property
is equal to the specified property.superProperty
- The property which is equal to the super-property of the retrieved
axioms.@Nonnull Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLObjectPropertyDomainAxiom
s where the property is
equal to the specified property.property
- The property which is equal to the property of the retrieved
axioms.@Nonnull Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLObjectPropertyRangeAxiom
s where the property is
equal to the specified property.property
- The property which is equal to the property of the retrieved
axioms.@Nonnull Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLInverseObjectPropertiesAxiom
s 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.@Nonnull Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLEquivalentObjectPropertiesAxiom
s 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.@Nonnull Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLDisjointObjectPropertiesAxiom
s 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.@Nonnull Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLFunctionalObjectPropertyAxiom
s contained in this
ontology that make the specified object property functional.property
- The property that is made functional by the axioms.@Nonnull Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom
s contained in
this ontology that make the specified object property inverse functional.property
- The property that is made inverse functional by the axioms.@Nonnull Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLSymmetricObjectPropertyAxiom
s contained in this
ontology that make the specified object property symmetric.property
- The property that is made symmetric by the axioms.@Nonnull Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLAsymmetricObjectPropertyAxiom
s contained in this
ontology that make the specified object property asymmetric.property
- The property that is made asymmetric by the axioms.@Nonnull Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLReflexiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property reflexive.property
- The property that is made reflexive by the axioms.@Nonnull Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property irreflexive.property
- The property that is made irreflexive by the axioms.@Nonnull Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom
s contained in this
ontology that make the specified object property transitive.property
- The property that is made transitive by the axioms.@Nonnull Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(@Nonnull OWLDataProperty subProperty)
OWLSubDataPropertyOfAxiom
s where the sub-property is
equal to the specified property.subProperty
- The property which is equal to the sub property of the retrieved
axioms.@Nonnull Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(@Nonnull OWLDataPropertyExpression superProperty)
OWLSubDataPropertyOfAxiom
s where the super-property is
equal to the specified property.superProperty
- The property which is equal to the super-property of the retrieved
axioms.@Nonnull Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(@Nonnull OWLDataProperty property)
OWLDataPropertyDomainAxiom
s where the property is equal
to the specified property.property
- The property which is equal to the property of the retrieved
axioms.@Nonnull Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(@Nonnull OWLDataProperty property)
OWLDataPropertyRangeAxiom
s where the property is equal
to the specified property.property
- The property which is equal to the property of the retrieved
axioms.@Nonnull Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(@Nonnull OWLDataProperty property)
OWLEquivalentDataPropertiesAxiom
s 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.@Nonnull Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(@Nonnull OWLDataProperty property)
OWLDisjointDataPropertiesAxiom
s 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.@Nonnull Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(@Nonnull OWLDataPropertyExpression property)
OWLFunctionalDataPropertyAxiom
s contained in this
ontology that make the specified data property functional.property
- The property that is made functional by the axioms.@Nonnull Set<OWLClassAssertionAxiom> getClassAssertionAxioms(@Nonnull OWLIndividual individual)
OWLClassAssertionAxiom
s 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.@Nonnull Set<OWLClassAssertionAxiom> getClassAssertionAxioms(@Nonnull OWLClassExpression ce)
OWLClassAssertionAxiom
s 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.@Nonnull Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(@Nonnull OWLIndividual individual)
OWLDataPropertyAssertionAxiom
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.@Nonnull Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(@Nonnull OWLIndividual individual)
OWLObjectPropertyAssertionAxiom
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.@Nonnull Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(@Nonnull 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.@Nonnull Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(@Nonnull 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.@Nonnull Set<OWLSameIndividualAxiom> getSameIndividualAxioms(@Nonnull OWLIndividual individual)
OWLSameIndividualAxiom
s 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.@Nonnull Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(@Nonnull OWLIndividual individual)
OWLDifferentIndividualsAxiom
s 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.@Nonnull Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(@Nonnull OWLDatatype datatype)
OWLDatatypeDefinitionAxiom
s contained in this ontology
that provide a definition for the specified datatype.datatype
- The datatype for which the returned axioms provide a definition.Copyright © 2020 The University of Manchester. All rights reserved.