public interface OWLAxiomCollection extends HasAxioms, HasLogicalAxioms, HasAxiomsByType, HasContainsAxiom
Modifier and Type | Method and Description |
---|---|
boolean |
containsAxiom(OWLAxiom axiom,
Imports includeImportsClosure,
AxiomAnnotations ignoreAnnotations)
Determines if this ontology contains the specified axiom, optionally including the imports
closure.
|
<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) |
<T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets all axioms of the specified type.
|
Set<OWLAxiom> |
getAxioms(Imports includeImportsClosure) |
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an annotation property.
|
Set<OWLClassAxiom> |
getAxioms(OWLClass cls,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a class.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a data property.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype datatype,
Imports includeImportsClosure)
Gets the datatype definition axioms for the specified datatype.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual individual,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an individual.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an object property.
|
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(Imports includeImportsClosure)
Gets the number of logical axioms in this collection, optionally including the imports
closure.
|
Set<OWLLogicalAxiom> |
getLogicalAxioms(Imports includeImportsClosure)
Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or
declaration axioms.
|
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. |
getLogicalAxioms
getAxioms
containsAxiom
@Nonnull Set<OWLAxiom> getAxioms(@Nonnull Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.int getAxiomCount(@Nonnull Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.@Nonnull Set<OWLLogicalAxiom> getLogicalAxioms(@Nonnull Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.OWLLogicalAxiom
, optionally including the
imports closure. The set that is returned is a copy of the data.int getLogicalAxiomCount(@Nonnull Imports includeImportsClosure)
includeImportsClosure
- if INCLUDED, include imports closure.@Nonnull <T extends OWLAxiom> Set<T> getAxioms(@Nonnull AxiomType<T> axiomType, @Nonnull Imports includeImportsClosure)
T
- axiom typeaxiomType
- The type of axioms to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.<T extends OWLAxiom> int getAxiomCount(@Nonnull AxiomType<T> axiomType, @Nonnull Imports includeImportsClosure)
T
- axiom typeaxiomType
- The type of axiom to countincludeImportsClosure
- if INCLUDED, include imports closure.boolean containsAxiom(@Nonnull OWLAxiom axiom, @Nonnull Imports includeImportsClosure, @Nonnull 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.@Nonnull Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom axiom, @Nonnull 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.@Nonnull Set<OWLAxiom> getReferencingAxioms(@Nonnull OWLPrimitive owlEntity, @Nonnull 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.@Nonnull Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass cls, @Nonnull Imports includeImportsClosure)
cls
- The class whose describing axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.@Nonnull Set<OWLObjectPropertyAxiom> getAxioms(@Nonnull OWLObjectPropertyExpression property, @Nonnull Imports includeImportsClosure)
property
- The property whose defining axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.@Nonnull Set<OWLDataPropertyAxiom> getAxioms(@Nonnull OWLDataProperty property, @Nonnull Imports includeImportsClosure)
property
- The property whose defining axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.@Nonnull Set<OWLIndividualAxiom> getAxioms(@Nonnull OWLIndividual individual, @Nonnull Imports includeImportsClosure)
individual
- The individual whose defining axioms are to be retrieved.includeImportsClosure
- if INCLUDED, include imports closure.@Nonnull Set<OWLAnnotationAxiom> getAxioms(@Nonnull OWLAnnotationProperty property, @Nonnull Imports includeImportsClosure)
property
- The property whose definition axioms are to be retrievedincludeImportsClosure
- if INCLUDED, include imports closure.@Nonnull Set<OWLDatatypeDefinitionAxiom> getAxioms(@Nonnull OWLDatatype datatype, @Nonnull Imports includeImportsClosure)
datatype
- The datatypeincludeImportsClosure
- if INCLUDED, include imports closure.Copyright © 2020 The University of Manchester. All rights reserved.