public interface OWLAxiomIndex extends HasImportsClosure
Modifier and Type | Method and Description |
---|---|
default Stream<OWLAnnotationAssertionAxiom> |
annotationAssertionAxioms(OWLAnnotationSubject entity)
Gets the axioms that annotate the specified entity.
|
default Stream<OWLAnnotationAssertionAxiom> |
annotationAssertionAxioms(OWLAnnotationSubject entity,
Imports imports)
Gets the axioms that annotate the specified entity.
|
Stream<OWLAnnotationPropertyDomainAxiom> |
annotationPropertyDomainAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyDomainAxiom objects where the specified property is the
property in the domain axiom. |
Stream<OWLAnnotationPropertyRangeAxiom> |
annotationPropertyRangeAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyRangeAxiom objects where the specified property is the
property in the range axiom. |
default Stream<OWLAsymmetricObjectPropertyAxiom> |
asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxiom objects contained in this ontology that
make the specified object property asymmetric. |
default <T extends OWLAxiom> |
axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
axioms(Class<T> type,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
axioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
axioms(OWLAxiomSearchFilter filter,
Object key)
Generic filter type for further refining search by axiom type.
|
<T extends OWLAxiom> |
axioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
default Stream<OWLClassAssertionAxiom> |
classAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified class expression, ce , a type for some individual. |
default Stream<OWLClassAssertionAxiom> |
classAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified individual an instance of some class expression. |
boolean |
contains(OWLAxiomSearchFilter filter,
Object key)
Generic containment check type for further refining search by axiom type.
|
boolean |
contains(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic containment check type for further refining search by axiom type.
|
default Stream<OWLDataPropertyAssertionAxiom> |
dataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Stream<OWLDataPropertyDomainAxiom> |
dataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxiom objects where the property is equal to the
specified property. |
default Stream<OWLDataPropertyRangeAxiom> |
dataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxiom objects where the property is equal to the
specified property. |
default Stream<OWLSubDataPropertyOfAxiom> |
dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxiom objects where the sub-property is equal to the
specified property. |
default Stream<OWLSubDataPropertyOfAxiom> |
dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
Gets the
OWLSubDataPropertyOfAxiom objects where the super-property is equal to the
specified property. |
Stream<OWLDatatypeDefinitionAxiom> |
datatypeDefinitions(OWLDatatype datatype)
Gets the
OWLDatatypeDefinitionAxiom objects contained in this ontology that provide a
definition for the specified datatype. |
default Stream<OWLDeclarationAxiom> |
declarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
default Stream<OWLDifferentIndividualsAxiom> |
differentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxiom objects contained in this ontology that make
the specified individual different to some other individual. |
default Stream<OWLDisjointClassesAxiom> |
disjointClassesAxioms(OWLClass cls)
Gets the stream of disjoint class axioms that contain the specified class as an operand.
|
default Stream<OWLDisjointDataPropertiesAxiom> |
disjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxiom objects that make the specified property
disjoint with some other data property expression(s). |
default Stream<OWLDisjointObjectPropertiesAxiom> |
disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxiom objects that make the specified property
disjoint with some other object property expression(s). |
default Stream<OWLDisjointUnionAxiom> |
disjointUnionAxioms(OWLClass owlClass)
Gets the stream of disjoint union axioms that have the specified class as the named class
that is equivalent to the disjoint union of operands.
|
default Stream<OWLEquivalentClassesAxiom> |
equivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the specified class as an
operand.
|
default Stream<OWLEquivalentDataPropertiesAxiom> |
equivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxiom objects that make the specified property
equivalent to some other data property expression(s). |
default Stream<OWLEquivalentObjectPropertiesAxiom> |
equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxiom objects that make the specified property
equivalent to some other object property expression(s). |
default <T extends OWLAxiom> |
filterAxioms(OWLAxiomSearchFilter filter,
Object key)
Generic filter type for further refining search by axiom type.
|
default <T extends OWLAxiom> |
filterAxioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
default Stream<OWLFunctionalDataPropertyAxiom> |
functionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the
OWLFunctionalDataPropertyAxiom objects contained in this ontology that make
the specified data property functional. |
default Stream<OWLFunctionalObjectPropertyAxiom> |
functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxiom objects contained in this ontology that
make the specified object property functional. |
default Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
Gets the axioms that annotate the specified entity.
|
default Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject entity,
Imports imports)
Gets the axioms that annotate the specified entity.
|
default Set<OWLAnnotationPropertyDomainAxiom> |
getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyDomainAxiom objects where the specified property is the
property in the domain axiom. |
default Set<OWLAnnotationPropertyRangeAxiom> |
getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
Gets the
OWLAnnotationPropertyRangeAxiom objects where the specified property is the
property in the range axiom. |
default Set<OWLAsymmetricObjectPropertyAxiom> |
getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxiom objects contained in this ontology that
make the specified object property asymmetric. |
default <T extends OWLAxiom> |
getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
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.
|
default <T extends OWLAxiom> |
getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <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.
|
default <T extends OWLAxiom> |
getAxioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified class expression, ce , a type for some individual. |
default Set<OWLClassAssertionAxiom> |
getClassAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified individual an instance of some class expression. |
default Set<OWLDataPropertyAssertionAxiom> |
getDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Set<OWLDataPropertyDomainAxiom> |
getDataPropertyDomainAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyDomainAxiom objects where the property is equal to the
specified property. |
default Set<OWLDataPropertyRangeAxiom> |
getDataPropertyRangeAxioms(OWLDataProperty property)
Gets the
OWLDataPropertyRangeAxiom objects where the property is equal to the
specified property. |
default Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
Gets the
OWLSubDataPropertyOfAxiom objects where the sub-property is equal to the
specified property. |
default Set<OWLSubDataPropertyOfAxiom> |
getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
Gets the
OWLSubDataPropertyOfAxiom objects where the super-property is equal to the
specified property. |
default Set<OWLDatatypeDefinitionAxiom> |
getDatatypeDefinitions(OWLDatatype datatype)
Gets the
OWLDatatypeDefinitionAxiom objects contained in this ontology that provide a
definition for the specified datatype. |
default Set<OWLDeclarationAxiom> |
getDeclarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
default Set<OWLDifferentIndividualsAxiom> |
getDifferentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxiom objects contained in this ontology that make
the specified individual different to some other individual. |
default Set<OWLDisjointClassesAxiom> |
getDisjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as an operand.
|
default Set<OWLDisjointDataPropertiesAxiom> |
getDisjointDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLDisjointDataPropertiesAxiom objects that make the specified property
disjoint with some other data property expression(s). |
default Set<OWLDisjointObjectPropertiesAxiom> |
getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxiom objects that make the specified property
disjoint with some other object property expression(s). |
default 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.
|
default Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the specified class as an
operand.
|
default Set<OWLEquivalentDataPropertiesAxiom> |
getEquivalentDataPropertiesAxioms(OWLDataProperty property)
Gets the
OWLEquivalentDataPropertiesAxiom objects that make the specified property
equivalent to some other data property expression(s). |
default Set<OWLEquivalentObjectPropertiesAxiom> |
getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxiom objects that make the specified property
equivalent to some other object property expression(s). |
default Set<OWLFunctionalDataPropertyAxiom> |
getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
Gets the
OWLFunctionalDataPropertyAxiom objects contained in this ontology that make
the specified data property functional. |
default Set<OWLFunctionalObjectPropertyAxiom> |
getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxiom objects contained in this ontology that
make the specified object property functional. |
default Set<OWLHasKeyAxiom> |
getHasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
default Set<OWLInverseFunctionalObjectPropertyAxiom> |
getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom objects contained in this ontology
that make the specified object property inverse functional. |
default Set<OWLInverseObjectPropertiesAxiom> |
getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxiom objects where the specified property is
contained in the set returned by OWLNaryPropertyAxiom.properties() . |
default Set<OWLIrreflexiveObjectPropertyAxiom> |
getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property irreflexive. |
default Set<OWLNegativeDataPropertyAssertionAxiom> |
getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Set<OWLNegativeObjectPropertyAssertionAxiom> |
getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Set<OWLObjectPropertyAssertionAxiom> |
getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Set<OWLObjectPropertyDomainAxiom> |
getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxiom objects where the property is equal to the
specified property. |
default Set<OWLObjectPropertyRangeAxiom> |
getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom objects where the property is equal to the
specified property. |
default Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the sub-property is equal to the
specified property. |
default Set<OWLSubObjectPropertyOfAxiom> |
getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the super-property is equal to the
specified property. |
default Set<OWLReflexiveObjectPropertyAxiom> |
getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxiom objects contained in this ontology that make
the specified object property reflexive. |
default Set<OWLSameIndividualAxiom> |
getSameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxiom objects contained in this ontology that make the
specified individual the same as some other individual. |
default Set<OWLSubAnnotationPropertyOfAxiom> |
getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the
OWLSubAnnotationPropertyOfAxiom objects where the specified property is the
sub-property. |
default Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass) is equal to the
specified class.
|
default Set<OWLSubClassOfAxiom> |
getSubClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the superclass) is equal to the
specified class.
|
default Set<OWLSymmetricObjectPropertyAxiom> |
getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxiom objects contained in this ontology that make
the specified object property symmetric. |
default Set<OWLTransitiveObjectPropertyAxiom> |
getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property transitive. |
default Stream<OWLHasKeyAxiom> |
hasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
default Stream<OWLInverseFunctionalObjectPropertyAxiom> |
inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom objects contained in this ontology
that make the specified object property inverse functional. |
default Stream<OWLInverseObjectPropertiesAxiom> |
inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxiom objects where the specified property is
contained in the stream returned by OWLNaryPropertyAxiom.properties() . |
default Stream<OWLIrreflexiveObjectPropertyAxiom> |
irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property irreflexive. |
default Stream<OWLNegativeDataPropertyAssertionAxiom> |
negativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Stream<OWLNegativeObjectPropertyAssertionAxiom> |
negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Stream<OWLObjectPropertyAssertionAxiom> |
objectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Stream<OWLObjectPropertyDomainAxiom> |
objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxiom objects where the property is equal to the
specified property. |
default Stream<OWLObjectPropertyRangeAxiom> |
objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom objects where the property is equal to the
specified property. |
default Stream<OWLSubObjectPropertyOfAxiom> |
objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the sub-property is equal to the
specified property. |
default Stream<OWLSubObjectPropertyOfAxiom> |
objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the super-property is equal to the
specified property. |
default Stream<OWLReflexiveObjectPropertyAxiom> |
reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxiom objects contained in this ontology that make
the specified object property reflexive. |
default Stream<OWLSameIndividualAxiom> |
sameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxiom objects contained in this ontology that make the
specified individual the same as some other individual. |
Stream<OWLSubAnnotationPropertyOfAxiom> |
subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
Gets the
OWLSubAnnotationPropertyOfAxiom objects where the specified property is the
sub-property. |
default Stream<OWLSubClassOfAxiom> |
subClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass) is equal to the
specified class.
|
default Stream<OWLSubClassOfAxiom> |
subClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the superclass) is equal to the
specified class.
|
default Stream<OWLSymmetricObjectPropertyAxiom> |
symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxiom objects contained in this ontology that make
the specified object property symmetric. |
default Stream<OWLTransitiveObjectPropertyAxiom> |
transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property transitive. |
getImportsClosure, importsClosure
default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, OWLObject entity, Imports includeImports, 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 entities, this parameter is ignored.default <T extends OWLAxiom> Stream<T> axioms(Class<T> type, OWLObject entity, Imports imports, Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsentity
- referred entity (OWLPrimitive or property/class expression)imports
- 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 entities, this parameter is ignored.default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsentity
- referred entity (OWLPrimitive or property/class expression)forSubPosition
- for sub axioms (subclass, subproperty), the value specifies whether
entity should appear as sub or super entity in the axioms returned. For axiom types
that have no sub/super entities, this parameter is ignored.default <T extends OWLAxiom> Stream<T> axioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsentity
- referred entity (OWLPrimitive or property/class expression)forSubPosition
- for sub axioms (subclass, subproperty), the value specifies whether
entity should appear as sub or super entity in the axioms returned. For axiom types
that have no sub/super entities, this parameter is ignored.default <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter, Object key, 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.<T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key, 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.default <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter, Object key)
T
- type of returned axiomsfilter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.<T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key)
T
- type of returned axiomsfilter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.boolean contains(OWLAxiomSearchFilter filter, Object key)
filter
- the filter to matchkey
- the key. Its type is generic and it is used only by the filter.boolean contains(OWLAxiomSearchFilter filter, Object key, 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.default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsexplicitClass
- for overlapping indexes in the ontology internals, an explicit class
rather than the entity class might be necessaryentity
- referred entity (OWLPrimitive or property/class expression)forSubPosition
- for sub axioms (subclass, subproperty), the value specifies whether
entity should appear as sub or super entity in the axioms returned. For axiom types
that have no sub/super entities, this parameter is ignored.<T extends OWLAxiom> Stream<T> axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsexplicitClass
- for overlapping indexes in the ontology internals, an explicit class
rather than the entity class might be necessaryentity
- referred entity (OWLPrimitive or property/class expression)forSubPosition
- for sub axioms (subclass, subproperty), the value specifies whether
entity should appear as sub or super entity in the axioms returned. For axiom types
that have no sub/super entities, this parameter is ignored.default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsexplicitClass
- for overlapping indexes in the ontology internals, an explicit class
rather 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 entities, this parameter is ignored.default <T extends OWLAxiom> Stream<T> axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports imports, Navigation forSubPosition)
T
- type of returned axiomstype
- type of axiomsexplicitClass
- for overlapping indexes in the ontology internals, an explicit class
rather than the entity class might be necessaryentity
- referred entity (OWLPrimitive or property/class expression)imports
- 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 entities, this parameter is ignored.default Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
OWLSubAnnotationPropertyOfAxiom
objects where the specified property is the
sub-property.subProperty
- The sub-property of the axioms to be retrieved.Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
OWLSubAnnotationPropertyOfAxiom
objects where the specified property is the
sub-property.subProperty
- The sub-property of the axioms to be retrieved.default Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
OWLAnnotationPropertyDomainAxiom
objects where the specified property is the
property in the domain axiom.property
- The property that the axiom specifies a domain for.Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty property)
OWLAnnotationPropertyDomainAxiom
objects where the specified property is the
property in the domain axiom.property
- The property that the axiom specifies a domain for.default Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
OWLAnnotationPropertyRangeAxiom
objects where the specified property is the
property in the range axiom.property
- The property that the axiom specifies a range for.Stream<OWLAnnotationPropertyRangeAxiom> annotationPropertyRangeAxioms(OWLAnnotationProperty property)
OWLAnnotationPropertyRangeAxiom
objects where the specified property is the
property in the range axiom.property
- The property that the axiom specifies a range for.default Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity subject)
subject
- The entity that is the subject of the returned axioms.default Stream<OWLDeclarationAxiom> declarationAxioms(OWLEntity subject)
subject
- The entity that is the subject of the returned axioms.default Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
entity
- The entity whose annotations are to be retrieved.default Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)
entity
- The entity whose annotations are to be retrieved.imports
- imports included or excludeddefault Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity)
entity
- The entity whose annotations are to be retrieved.default Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)
entity
- The entity whose annotations are to be retrieved.imports
- imports included or excludeddefault Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
cls
- The class that is equal to the left hand side of the axiom (subclass).default Stream<OWLSubClassOfAxiom> subClassAxiomsForSubClass(OWLClass cls)
cls
- The class that is equal to the left hand side of the axiom (subclass).default Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
cls
- The classdefault Stream<OWLSubClassOfAxiom> subClassAxiomsForSuperClass(OWLClass cls)
cls
- The classdefault Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
cls
- The class to searchdefault Stream<OWLEquivalentClassesAxiom> equivalentClassesAxioms(OWLClass cls)
cls
- The class to searchdefault Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
cls
- The class to searchdefault Stream<OWLDisjointClassesAxiom> disjointClassesAxioms(OWLClass cls)
cls
- The class to searchdefault Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
owlClass
- The class that indexes the axioms to be retrieved.default Stream<OWLDisjointUnionAxiom> disjointUnionAxioms(OWLClass owlClass)
owlClass
- The class that indexes the axioms to be retrieved.default Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
cls
- The subject of the has key axiomsdefault Stream<OWLHasKeyAxiom> hasKeyAxioms(OWLClass cls)
cls
- The subject of the has key axiomsdefault Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
OWLSubObjectPropertyOfAxiom
objects where the sub-property is equal to the
specified property.subProperty
- The property which is equal to the sub property of the retrieved axioms.default Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
OWLSubObjectPropertyOfAxiom
objects where the sub-property is equal to the
specified property.subProperty
- The property which is equal to the sub property of the retrieved axioms.default Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
OWLSubObjectPropertyOfAxiom
objects where the super-property is equal to the
specified property.superProperty
- The property which is equal to the super-property of the retrieved
axioms.default Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
OWLSubObjectPropertyOfAxiom
objects where the super-property is equal to the
specified property.superProperty
- The property which is equal to the super-property of the retrieved
axioms.default Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
OWLObjectPropertyDomainAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Stream<OWLObjectPropertyDomainAxiom> objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
OWLObjectPropertyDomainAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
OWLObjectPropertyRangeAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Stream<OWLObjectPropertyRangeAxiom> objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
OWLObjectPropertyRangeAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLInverseObjectPropertiesAxiom
objects where the specified property is
contained in the set returned by OWLNaryPropertyAxiom.properties()
.property
- The property which is equal to the property of the retrieved axioms.default Stream<OWLInverseObjectPropertiesAxiom> inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLInverseObjectPropertiesAxiom
objects where the specified property is
contained in the stream returned by OWLNaryPropertyAxiom.properties()
.property
- The property which is equal to the property of the retrieved axioms.default Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLEquivalentObjectPropertiesAxiom
objects 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.default Stream<OWLEquivalentObjectPropertiesAxiom> equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLEquivalentObjectPropertiesAxiom
objects 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.default Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLDisjointObjectPropertiesAxiom
objects 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.default Stream<OWLDisjointObjectPropertiesAxiom> disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
OWLDisjointObjectPropertiesAxiom
objects 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.default Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLFunctionalObjectPropertyAxiom
objects contained in this ontology that
make the specified object property functional.property
- The property that is made functional by the axioms.default Stream<OWLFunctionalObjectPropertyAxiom> functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLFunctionalObjectPropertyAxiom
objects contained in this ontology that
make the specified object property functional.property
- The property that is made functional by the axioms.default Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom
objects contained in this ontology
that make the specified object property inverse functional.property
- The property that is made inverse functional by the axioms.default Stream<OWLInverseFunctionalObjectPropertyAxiom> inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom
objects contained in this ontology
that make the specified object property inverse functional.property
- The property that is made inverse functional by the axioms.default Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLSymmetricObjectPropertyAxiom
objects contained in this ontology that make
the specified object property symmetric.property
- The property that is made symmetric by the axioms.default Stream<OWLSymmetricObjectPropertyAxiom> symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLSymmetricObjectPropertyAxiom
objects contained in this ontology that make
the specified object property symmetric.property
- The property that is made symmetric by the axioms.default Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAsymmetricObjectPropertyAxiom
objects contained in this ontology that
make the specified object property asymmetric.property
- The property that is made asymmetric by the axioms.default Stream<OWLAsymmetricObjectPropertyAxiom> asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLAsymmetricObjectPropertyAxiom
objects contained in this ontology that
make the specified object property asymmetric.property
- The property that is made asymmetric by the axioms.default Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLReflexiveObjectPropertyAxiom
objects contained in this ontology that make
the specified object property reflexive.property
- The property that is made reflexive by the axioms.default Stream<OWLReflexiveObjectPropertyAxiom> reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLReflexiveObjectPropertyAxiom
objects contained in this ontology that make
the specified object property reflexive.property
- The property that is made reflexive by the axioms.default Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom
objects contained in this ontology that
make the specified object property irreflexive.property
- The property that is made irreflexive by the axioms.default Stream<OWLIrreflexiveObjectPropertyAxiom> irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom
objects contained in this ontology that
make the specified object property irreflexive.property
- The property that is made irreflexive by the axioms.default Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom
objects contained in this ontology that
make the specified object property transitive.property
- The property that is made transitive by the axioms.default Stream<OWLTransitiveObjectPropertyAxiom> transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom
objects contained in this ontology that
make the specified object property transitive.property
- The property that is made transitive by the axioms.default Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
OWLSubDataPropertyOfAxiom
objects where the sub-property is equal to the
specified property.subProperty
- The property which is equal to the sub property of the retrieved axioms.default Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
OWLSubDataPropertyOfAxiom
objects where the sub-property is equal to the
specified property.subProperty
- The property which is equal to the sub property of the retrieved axioms.default Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
OWLSubDataPropertyOfAxiom
objects where the super-property is equal to the
specified property.superProperty
- The property which is equal to the super-property of the retrieved
axioms.default Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
OWLSubDataPropertyOfAxiom
objects where the super-property is equal to the
specified property.superProperty
- The property which is equal to the super-property of the retrieved
axioms.default Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
OWLDataPropertyDomainAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Stream<OWLDataPropertyDomainAxiom> dataPropertyDomainAxioms(OWLDataProperty property)
OWLDataPropertyDomainAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
OWLDataPropertyRangeAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Stream<OWLDataPropertyRangeAxiom> dataPropertyRangeAxioms(OWLDataProperty property)
OWLDataPropertyRangeAxiom
objects where the property is equal to the
specified property.property
- The property which is equal to the property of the retrieved axioms.default Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
OWLEquivalentDataPropertiesAxiom
objects 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.default Stream<OWLEquivalentDataPropertiesAxiom> equivalentDataPropertiesAxioms(OWLDataProperty property)
OWLEquivalentDataPropertiesAxiom
objects 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.default Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
OWLDisjointDataPropertiesAxiom
objects 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.default Stream<OWLDisjointDataPropertiesAxiom> disjointDataPropertiesAxioms(OWLDataProperty property)
OWLDisjointDataPropertiesAxiom
objects 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.default Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
OWLFunctionalDataPropertyAxiom
objects contained in this ontology that make
the specified data property functional.property
- The property that is made functional by the axioms.default Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms(OWLDataPropertyExpression property)
OWLFunctionalDataPropertyAxiom
objects contained in this ontology that make
the specified data property functional.property
- The property that is made functional by the axioms.default Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
OWLClassAssertionAxiom
objects 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.default Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLIndividual individual)
OWLClassAssertionAxiom
objects 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.default Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression ce)
OWLClassAssertionAxiom
objects 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.default Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)
OWLClassAssertionAxiom
objects 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.default Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
OWLDataPropertyAssertionAxiom
objects 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.default Stream<OWLDataPropertyAssertionAxiom> dataPropertyAssertionAxioms(OWLIndividual individual)
OWLDataPropertyAssertionAxiom
objects 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.default Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLObjectPropertyAssertionAxiom
objects 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.default Stream<OWLObjectPropertyAssertionAxiom> objectPropertyAssertionAxioms(OWLIndividual individual)
OWLObjectPropertyAssertionAxiom
objects 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.default Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLNegativeObjectPropertyAssertionAxiom
objects 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.default Stream<OWLNegativeObjectPropertyAssertionAxiom> negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
OWLNegativeObjectPropertyAssertionAxiom
objects 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.default Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
OWLNegativeDataPropertyAssertionAxiom
objects 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.default Stream<OWLNegativeDataPropertyAssertionAxiom> negativeDataPropertyAssertionAxioms(OWLIndividual individual)
OWLNegativeDataPropertyAssertionAxiom
objects 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.default Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
OWLSameIndividualAxiom
objects 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.default Stream<OWLSameIndividualAxiom> sameIndividualAxioms(OWLIndividual individual)
OWLSameIndividualAxiom
objects 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.default Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
OWLDifferentIndividualsAxiom
objects 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.default Stream<OWLDifferentIndividualsAxiom> differentIndividualAxioms(OWLIndividual individual)
OWLDifferentIndividualsAxiom
objects 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.default Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
OWLDatatypeDefinitionAxiom
objects contained in this ontology that provide a
definition for the specified datatype.datatype
- The datatype for which the returned axioms provide a definition.Stream<OWLDatatypeDefinitionAxiom> datatypeDefinitions(OWLDatatype datatype)
OWLDatatypeDefinitionAxiom
objects 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.