public interface OWLAxiomCollection extends HasAxioms, HasLogicalAxioms, HasAxiomsByType, HasContainsAxiom, HasImportsClosure
Modifier and Type | Method and Description |
---|---|
default <T extends OWLAxiom> |
axioms(AxiomType<T> axiomType,
Imports imports)
Gets all axioms of the specified type.
|
default Stream<OWLAxiom> |
axioms(Imports imports) |
default Stream<OWLAnnotationAxiom> |
axioms(OWLAnnotationProperty property)
Gets the axioms that form the definition/description of an annotation property.
|
default Stream<OWLAnnotationAxiom> |
axioms(OWLAnnotationProperty property,
Imports imports)
Gets the axioms that form the definition/description of an annotation property.
|
Stream<OWLClassAxiom> |
axioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
default Stream<OWLClassAxiom> |
axioms(OWLClass cls,
Imports imports)
Gets the axioms that form the definition/description of a class.
|
Stream<OWLDataPropertyAxiom> |
axioms(OWLDataProperty property)
Gets the axioms that form the definition/description of a data property.
|
default Stream<OWLDataPropertyAxiom> |
axioms(OWLDataProperty property,
Imports imports)
Gets the axioms that form the definition/description of a data property.
|
Stream<OWLDatatypeDefinitionAxiom> |
axioms(OWLDatatype datatype)
Gets the datatype definition axioms for the specified datatype.
|
default Stream<OWLDatatypeDefinitionAxiom> |
axioms(OWLDatatype datatype,
Imports imports)
Gets the datatype definition axioms for the specified datatype.
|
Stream<OWLIndividualAxiom> |
axioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
default Stream<OWLIndividualAxiom> |
axioms(OWLIndividual individual,
Imports imports)
Gets the axioms that form the definition/description of an individual.
|
Stream<OWLObjectPropertyAxiom> |
axioms(OWLObjectPropertyExpression property)
Gets the axioms that form the definition/description of an object property.
|
default Stream<OWLObjectPropertyAxiom> |
axioms(OWLObjectPropertyExpression property,
Imports imports)
Gets the axioms that form the definition/description of an object property.
|
Stream<OWLAxiom> |
axiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
Stream<OWLAxiom> |
axiomsIgnoreAnnotations(OWLAxiom axiom,
Imports includeImportsClosure)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
boolean |
containsAxiom(OWLAxiom axiom,
Imports includeImportsClosure,
AxiomAnnotations ignoreAnnotations)
Determines if this ontology contains the specified axiom, optionally including the imports
closure.
|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.
|
int |
getAxiomCount() |
<T extends OWLAxiom> |
getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
<T extends OWLAxiom> |
getAxiomCount(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets the axiom count of a specific type of axiom, optionally including the imports closure.
|
int |
getAxiomCount(Imports includeImportsClosure) |
default <T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets all axioms of the specified type.
|
default Set<OWLAxiom> |
getAxioms(Imports includeImportsClosure) |
default Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty property)
Gets the axioms that form the definition/description of an annotation property.
|
default Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an annotation property.
|
default Set<OWLClassAxiom> |
getAxioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
default Set<OWLClassAxiom> |
getAxioms(OWLClass cls,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a class.
|
default Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty property)
Gets the axioms that form the definition/description of a data property.
|
default Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a data property.
|
default Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype datatype)
Gets the datatype definition axioms for the specified datatype.
|
default Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype datatype,
Imports includeImportsClosure)
Gets the datatype definition axioms for the specified datatype.
|
default Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
default Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual individual,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an individual.
|
default Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression property)
Gets the axioms that form the definition/description of an object property.
|
default Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an object property.
|
default Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms contained in this collection that have the same "logical structure" as
the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
default Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom axiom,
Imports includeImportsClosure)
Gets the set of axioms contained in this collection that have the same "logical structure" as
the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
int |
getLogicalAxiomCount()
Gets the number of logical axioms in this collection.
|
int |
getLogicalAxiomCount(Imports includeImportsClosure)
Gets the number of logical axioms in this collection, optionally including the imports
closure.
|
default Set<OWLLogicalAxiom> |
getLogicalAxioms(Imports includeImportsClosure)
Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or
declaration axioms.
|
default Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlEntity)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
default Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlEntity,
Imports includeImportsClosure)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
default Stream<OWLLogicalAxiom> |
logicalAxioms(Imports imports)
Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or
declaration axioms.
|
Stream<OWLAxiom> |
referencingAxioms(OWLPrimitive owlEntity)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
default Stream<OWLAxiom> |
referencingAxioms(OWLPrimitive owlEntity,
Imports imports)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
getLogicalAxioms, logicalAxioms
axioms, equalAxioms, getAxioms
containsAxiom
getImportsClosure, importsClosure
default Set<OWLAxiom> getAxioms(Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLAxiom> axioms(Imports imports)
imports
- if INCLUDED, include imports closure.int getAxiomCount()
int getAxiomCount(Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.default Set<OWLLogicalAxiom> getLogicalAxioms(Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.OWLLogicalAxiom
, optionally including the
imports closure. The set that is returned is a copy; modifications to the returned
set will not be reflected in this object.default Stream<OWLLogicalAxiom> logicalAxioms(Imports imports)
imports
- if INCLUDED, include imports closure.OWLLogicalAxiom
, optionally including
the imports closure.int getLogicalAxiomCount()
int getLogicalAxiomCount(Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.default <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure)
T
- axiom typeaxiomType
- The type of axioms to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.default <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType, Imports imports)
T
- axiom typeaxiomType
- The type of axioms to be retrieved.imports
- if INCLUDED, include imports closure.<T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
T
- axiom type classaxiomType
- The type of axiom to count<T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, Imports includeImportsClosure)
T
- axiom typeaxiomType
- The type of axiom to countincludeImportsClosure
- if INCLUDED, include imports closure.boolean containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations)
axiom
- The axiom to search.includeImportsClosure
- if INCLUDED, include imports closure.ignoreAnnotations
- if IGNORE_ANNOTATIONS, annotations are ignored when searching for
the axiom. For example, if the collection contains
SubClassOf(Annotation(p V) A B)
then this method will return true
if
the ontology contains SubClassOf(A B)
or
SubClassOf(Annotation(q S) A B)
for any annotation property q
and any
annotation value S
.true
if the ontology contains the specified axiom.boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)
axiom
- The axiom to search.true
if the ontology contains the specified axiom.default Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom)
axiom
- The axiom that the returned axioms must equal, ignoring annotations.axiomA
and axiomB
in
the set, axiomA.getAxiomWithoutAnnotations()
is equal to axiomB.getAxiomWithoutAnnotations()
. The specified axiom will be contained in the set. The
set that is returned is a copy; modifications to the returned set will not be
reflected in this object.default Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure)
axiom
- The axiom that the returned axioms must equal, ignoring annotations.includeImportsClosure
- if INCLUDED, include imports closure.axiomA
and axiomB
in
the set, axiomA.getAxiomWithoutAnnotations()
is equal to axiomB.getAxiomWithoutAnnotations()
. The specified axiom will be contained in the set. The
set that is returned is a copy; modifications to the returned set will not be
reflected in this object.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom)
axiom
- The axiom that the returned axioms must equal, ignoring annotations.axiomA
and axiomB
,
axiomA.getAxiomWithoutAnnotations()
is equal to axiomB.getAxiomWithoutAnnotations()
. The specified axiom will be contained in the stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure)
axiom
- The axiom that the returned axioms must equal, ignoring annotations.includeImportsClosure
- if INCLUDED, include imports closure.axiomA
and axiomB
,
axiomA.getAxiomWithoutAnnotations()
is equal to axiomB.getAxiomWithoutAnnotations()
. The specified axiom will be contained in the stream.default Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity)
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.owlEntity
- The entity that should be directly referred to by all axioms in the results
set.Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlEntity)
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.owlEntity
- The entity that should be directly referred to by all axioms in the results
set.default Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity, Imports includeImportsClosure)
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.owlEntity
- The entity that should be directly referred to by all axioms in the results
set.includeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlEntity, Imports imports)
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.owlEntity
- The entity that should be directly referred to by all axioms in the results
set.imports
- if INCLUDED, include imports closure.default Set<OWLClassAxiom> getAxioms(OWLClass cls)
cls
- The class whose describing axioms are to be retrieved.Stream<OWLClassAxiom> axioms(OWLClass cls)
cls
- The class whose describing axioms are to be retrieved.default Set<OWLClassAxiom> getAxioms(OWLClass cls, Imports includeImportsClosure)
cls
- The class whose describing axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLClassAxiom> axioms(OWLClass cls, Imports imports)
cls
- The class whose describing axioms are to be retrieved.imports
- if INCLUDED, include imports closure.default Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property)
property
- The property whose defining axioms are to be retrieved.Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property)
property
- The property whose defining axioms are to be retrieved.default Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property, Imports includeImportsClosure)
property
- The property whose defining axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property, Imports imports)
property
- The property whose defining axioms are to be retrieved.imports
- if INCLUDED, include imports closure.default Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property)
property
- The property whose defining axioms are to be retrieved.Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property)
property
- The property whose defining axioms are to be retrieved.default Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property, Imports includeImportsClosure)
property
- The property whose defining axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property, Imports imports)
property
- The property whose defining axioms are to be retrieved.imports
- if INCLUDED, include imports closure.default Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)
individual
- The individual whose defining axioms are to be retrieved.Stream<OWLIndividualAxiom> axioms(OWLIndividual individual)
individual
- The individual whose defining axioms are to be retrieved.default Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual, Imports includeImportsClosure)
individual
- The individual whose defining axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLIndividualAxiom> axioms(OWLIndividual individual, Imports imports)
individual
- The individual whose defining axioms are to be retrieved.imports
- if INCLUDED, include imports closure.default Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property)
property
- The property whose definition axioms are to be retrieveddefault Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property)
property
- The property whose definition axioms are to be retrieveddefault Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property, Imports includeImportsClosure)
property
- The property whose definition axioms are to be retrievedincludeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property, Imports imports)
property
- The property whose definition axioms are to be retrievedimports
- if INCLUDED, include imports closure.default Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)
datatype
- The datatypeStream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype)
datatype
- The datatypedefault Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype, Imports includeImportsClosure)
datatype
- The datatypeincludeImportsClosure
- if INCLUDED, include imports closure.default Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype, Imports imports)
datatype
- The datatypeimports
- if INCLUDED, include imports closure.Copyright © 2020 The University of Manchester. All rights reserved.